Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases   Combining the closed-world reasoning of answer set programming (ASP) with the
open-world reasoning of ontologies broadens the space of applications of
reasoners. Disjunctive hybrid MKNF knowledge bases succinctly extend ASP and in
some cases without increasing the complexity of reasoning tasks. However, in
many cases, solver development is lagging behind. As the result, the only known
method of solving disjunctive hybrid MKNF knowledge bases is based on
guess-and-verify, as formulated by Motik and Rosati in their original work. A
main obstacle is understanding how constraint propagation may be performed by a
solver, which, in the context of ASP, centers around the computation of
\textit{unfounded atoms}, the atoms that are false given a partial
interpretation. In this work, we build towards improving solvers for hybrid
MKNF knowledge bases with disjunctive rules: We formalize a notion of unfounded
sets for these knowledge bases, identify lower complexity bounds, and
demonstrate how we might integrate these developments into a solver. We discuss
challenges introduced by ontologies that are not present in the development of
solvers for disjunctive logic programs, which warrant some deviations from
traditional definitions of unfounded sets. We compare our work with prior
definitions of unfounded sets.

35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat