Pages that link to "Item:Q2351041"
From MaRDI portal
The following pages link to Model-theoretic inseparability and modularity of description logic ontologies (Q2351041):
Displayed 13 items.
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Towards knowledge exchange: state-of-the-art and open problems (Q831780) (← links)
- Semantic forgetting in expressive description logics (Q831928) (← 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)
- 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)
- 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)