Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
From MaRDI portal
(Redirected from Publication:5191098)
Recommendations
Cites work
Cited in
(14)- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Explanations for query answers under existential rules
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- Reasoning with ontologies
- Explaining reasoning results for description logic ontologies (invited paper)
- Understanding the complexity of axiom pinpointing in lightweight description logics
- Efficient reasoning for inconsistent Horn formulae
- The Bayesian ontology language \(\mathcal {BEL}\)
- Exploiting uncertainty for querying inconsistent description logics knowledge bases
- Classical algorithms for reasoning and explanation in description logics
- Enumerating justifications using resolution
This page was built for publication: Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5191098)