Pages that link to "Item:Q2999101"
From MaRDI portal
The following pages link to Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics (Q2999101):
Displaying 6 items.
- Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495) (← 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)