Foundations of instance level updates in expressive description logics

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

zbMATH Keywords

description logicsABoxesupdates

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

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