Pages that link to "Item:Q2351041"
From MaRDI portal
The following pages link to Model-theoretic inseparability and modularity of description logic ontologies (Q2351041):
Displaying 20 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Towards knowledge exchange: state-of-the-art and open problems (Q831780) (← links)
- Semantic forgetting in expressive description logics (Q831928) (← links)
- Deciding inseparability and conservative extensions in the description logic (Q1041590) (← links)
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Package-Based Description Logics (Q3631366) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- Decidability of Circumscribed Description Logics Revisited (Q5172610) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- On the Properties of Metamodeling in OWL (Q5427250) (← links)
- Reasoning with ontologies (Q6602220) (← links)
