Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Semantically Guided Evolution of $\mathcal{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
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.

23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
16
The categories of this paper are: stat