Pages that link to "Item:Q420809"
From MaRDI portal
The following pages link to Foundations of instance level updates in expressive description logics (Q420809):
Displayed 5 items.
- On the succinctness of some modal logics (Q360052) (← links)
- Actions over core-closed knowledge bases (Q2104517) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) (← links)