Pages that link to "Item:Q604910"
From MaRDI portal
The following pages link to Forgetting for knowledge bases in DL-lite (Q604910):
Displayed 15 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Forgetting for knowledge bases in DL-lite (Q604910) (← links)
- A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite (Q1680691) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Preserving Strong Equivalence while Forgetting (Q2938510) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)