The following pages link to (Q4712659):
Displayed 4 items.
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Deciding inseparability and conservative extensions in the description logic (Q1041590) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)