The following pages link to (Q5283020):
Displaying 3 items.
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications (Q2104519) (← links)
- The logical difference for the lightweight description logic \(\mathcal {EL}\) (Q2905394) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)