Semantically guided evolution of SHI ABoxes

DOI10.1007/978-3-642-40537-2_13MaRDI QIDQ2851940zbMATH OpenOpenAlexFDO

Authors C. Schön, Ulrich Furbach

Publication date 4 October 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1405.1192

Mathematics Subject Classification ID

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

Abstract: This paper presents a method for the evolution of SHI ABoxes which is based on a compilation technique of the knowledge base. For this the ABox is regarded as an interpretation of the TBox which is close to a model. It is shown, that the ABox can be used for a semantically guided transformation resulting in an equisatisfiable knowledge base. We use the result of this transformation to efficiently delete assertions from the ABox. Furthermore, insertion of assertions as well as repair of inconsistent ABoxes is addressed. For the computation of the necessary actions for deletion, insertion and repair, the E-KRHyper theorem prover is used.

Recommendations

• Tableau-based revision over \(\mathcal {SHIQ}\) TBoxes
• Updating inconsistent description logic knowledge bases
• Putting ABox updates into action
• SOFSEM 2006: Theory and Practice of Computer Science
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite

Cited in

(2)

• On First-Order Model-Based Reasoning
• Tableau-based revision over \(\mathcal {SHIQ}\) TBoxes

Describes a project that uses

Uses Software

• E-KRHyper

This page was built for publication: Semantically guided evolution of \(\mathcal{SHI}\) ABoxes

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