TY - GEN A1 - Furbach, Ulrich A1 - Schon, Claudia T1 - Semantically Guided Evolution of SHI ABoxes N2 - 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. T3 - Arbeitsberichte, FB Informatik - 2013,4 KW - ABox KW - TBox KW - E-KRHyper theorem prover Y1 - 2013 UR - https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/780 UR - https://nbn-resolving.org/urn:nbn:de:kola-7806 ER -