Foundations of instance level updates in expressive description logics

DOI10.1016/J.ARTINT.2011.08.003MaRDI QIDQ420809zbMATH OpenOpenAlexFDO

Authors Hongkai Liu, Carsten Lutz, Maja Miličić, F. Wolter

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

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

Recommendations

• On Instance-level Update and Erasure in Description Logic Ontologies
• Putting ABox updates into action
• Instance-level update in DL-Lite ontologies through first-order rewriting
• Updating inconsistent description logic knowledge bases
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite

Cites work

• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1748588 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1841824 (Why is no real title available?)
• scientific article; zbMATH DE number 1424043 (Why is no real title available?)
• scientific article; zbMATH DE number 1448975 (Why is no real title available?)
• scientific article; zbMATH DE number 970615 (Why is no real title available?)
• scientific article; zbMATH DE number 4185089 (Why is no real title available?)
• A description logic based situation calculus
• Handbook of modal logic
• Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
• Knowledge Base Revision in Description Logics
• On Instance-level Update and Erasure in Description Logic Ontologies
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the relative expressiveness of description logics and predicate logics
• Putting ABox updates into action
• Reasoning About Actions Using Description Logics with General TBoxes
• Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity
• The size of a revised knowledge base
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family

Cited in

(11)

• Query inseparability for \(\mathcal{ALC}\) ontologies
• Actions over core-closed knowledge bases
• Updating inconsistent description logic knowledge bases
• Instance-level update in DL-Lite ontologies through first-order rewriting
• Reasoning about action and change
• Putting ABox updates into action
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
• On Instance-level Update and Erasure in Description Logic Ontologies
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• On the succinctness of some modal logics
• DL-Lite ontology revision based on an alternative semantic characterization

This page was built for publication: Foundations of instance level updates in expressive description logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q420809)