Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Extending Unification in $\mathcal{EL}$ to Disunification: The Case of
  Dismatching and Local Disunification   Unification in Description Logics has been introduced as a means to detect
redundancies in ontologies. We try to extend the known decidability results for
unification in the Description Logic $\mathcal{EL}$ to disunification since
negative constraints can be used to avoid unwanted unifiers. While decidability
of the solvability of general $\mathcal{EL}$-disunification problems remains an
open problem, we obtain NP-completeness results for two interesting special
cases: dismatching problems, where one side of each negative constraint must be
ground, and local solvability of disunification problems, where we consider
only solutions that are constructed from terms occurring in the input problem.
More precisely, we first show that dismatching can be reduced to local
disunification, and then provide two complementary NP-algorithms for finding
local solutions of disunification problems.

20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
19
The categories of this paper are: eess
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom