Optimized Reasoning in Description Logics Using Hypertableaux
From MaRDI portal
Publication:3608764
DOI10.1007/978-3-540-73595-3_6zbMATH Open1213.68593OpenAlexW2165433828MaRDI QIDQ3608764FDOQ3608764
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
Cited In (13)
- Incremental classification of description logics ontologies
- Representing ontologies using description logics, description graphs, and rules
- 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
- 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}\)
- 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
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 👍 👎
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)
