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