Optimized Reasoning in Description Logics Using Hypertableaux
From MaRDI portal
Publication:3608764
DOI10.1007/978-3-540-73595-3_6zbMATH Open1213.68593OpenAlexW2165433828MaRDI QIDQ3608764FDOQ3608764
Authors: Boris Motik, Rob Shearer, Ian Horrocks 
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_6
Recommendations
- Hypertableau reasoning for description logics
- Optimized description logic reasoning via core blocking
- Individual Reuse in Description Logic Reasoning
- A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
- Optimizing terminological reasoning for expressive description logics
Cited In (16)
- Incremental classification of description logics ontologies
- Representing ontologies using description logics, description graphs, and rules
- Optimized description logic reasoning via core blocking
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Individual Reuse in Description Logic Reasoning
- Data complexity of query answering in expressive description logics via tableaux
- Hypertableau reasoning for description logics
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
- Consistency reasoning in lattice-based fuzzy description logics
- Deontic Logic for Human Reasoning
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
- Optimizing terminological reasoning for expressive description logics
- Title not available (Why is that?)
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
Uses Software
This page was built for publication: Optimized Reasoning in Description Logics Using Hypertableaux
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608764)
