Foundations of instance level updates in expressive description logics
From MaRDI portal
Publication:420809
DOI10.1016/j.artint.2011.08.003zbMath1252.68277OpenAlexW2136844873MaRDI QIDQ420809
Carsten Lutz, Maja Miličić, Frank Wolter, Hongkai Liu
Publication date: 23 May 2012
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2011.08.003
Related Items (5)
DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ On the succinctness of some modal logics ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Actions over core-closed knowledge bases
Cites Work
- A description logic based situation calculus
- Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- The size of a revised knowledge base
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- On the relative expressiveness of description logics and predicate logics
- On Instance-level Update and Erasure in Description Logic Ontologies
- Reasoning About Actions Using Description Logics with General TBoxes
- Knowledge Base Revision in Description Logics
- Putting ABox Updates into Action
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Foundations of instance level updates in expressive description logics