The following pages link to (Q3509053):
Displayed 7 items.
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Knowledge forgetting: properties and applications (Q1045992) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)