Pages that link to "Item:Q2905394"
From MaRDI portal
The following pages link to The Logical Difference for the Lightweight Description Logic EL (Q2905394):
Displayed 8 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← 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)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- (Q4558528) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)