Optimized Reasoning in Description Logics Using Hypertableaux
From MaRDI portal
Publication:3608764
DOI10.1007/978-3-540-73595-3_6zbMath1213.68593MaRDI QIDQ3608764
Ian Horrocks, Boris Motik, Rob Shearer
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
Related Items
ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching, Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\), Representing ontologies using description logics, description graphs, and rules, Data complexity of query answering in expressive description logics via tableaux, Incremental classification of description logics ontologies, ABox abduction in the description logic \(\mathcal{ALC}\), Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$, Individual Reuse in Description Logic Reasoning
Uses Software