Pages that link to "Item:Q2790149"
From MaRDI portal
The following pages link to Module extraction in expressive ontology languages via Datalog reasoning (Q2790149):
Displaying 6 items.
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- ReAD: AD-based modular ontology classification (Q2055795) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)