Semantically Guided Evolution of SHI ABoxes

  • 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 effciently 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.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Ulrich Furbach, Claudia Schon
URN:urn:nbn:de:kola-7806
Series (Serial Number):Arbeitsberichte, FB Informatik (2013,4)
Document Type:Part of Periodical
Language:English
Date of Publication (online):2013/10/24
Date of first Publication:2013/10/24
Publishing Institution:Universität Koblenz-Landau, Campus Koblenz, Universitätsbibliothek
Release Date:2013/10/24
Tag:ABox; E-KRHyper theorem prover; TBox
Page Number:23 Seiten
Institutes:Fachbereich 4 / Fachbereich 4
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Es gilt das deutsche Urheberrecht: § 53 UrhG
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.