Pages that link to "Item:Q5191098"
From MaRDI portal
The following pages link to Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (Q5191098):
Displaying 7 items.
- Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← links)
- The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495) (← links)
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies (Q2818038) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)
