The following pages link to $\mathcal{EL}$ -ifying Ontologies (Q3192212):
Displaying 5 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux (Q3454093) (← links)
- Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (Q4957206) (← links)
