Pages that link to "Item:Q420809"
From MaRDI portal
The following pages link to Foundations of instance level updates in expressive description logics (Q420809):
Displaying 8 items.
- On the succinctness of some modal logics (Q360052) (← links)
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- Actions over core-closed knowledge bases (Q2104517) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- On Instance-level Update and Erasure in Description Logic Ontologies (Q3184232) (← links)
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (Q4989324) (← links)
- DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)
- Reasoning about action and change (Q6602230) (← links)