The following pages link to $\mathcal{EL}$ -ifying Ontologies (Q3192212):
Displaying 7 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)
- ASP Based Generation of Information Terms for Constructive ɛℒ (Q4686513) (← links)
- Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (Q4957206) (← links)
- Restricted Chase Termination: A Hierarchical Approach and Experimentation (Q6104760) (← links)