Pages that link to "Item:Q3608766"
From MaRDI portal
The following pages link to Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$ (Q3608766):
Displaying 9 items.
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Incremental classification of description logics ontologies (Q972428) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- Mathematical Logic for Life Science Ontologies (Q3638273) (← links)
