Pages that link to "Item:Q3541706"
From MaRDI portal
The following pages link to The Logical Difference Problem for Description Logic Terminologies (Q3541706):
Displayed 8 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)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Mathematical Logic for Life Science Ontologies (Q3638273) (← links)
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) (← links)