Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Querying and Repairing Inconsistent Prioritized Knowledge Bases:
  Complexity Analysis and Links with Abstract Argumentation   In this paper, we explore the issue of inconsistency handling over
prioritized knowledge bases (KBs), which consist of an ontology, a set of
facts, and a priority relation between conflicting facts. In the database
setting, a closely related scenario has been studied and led to the definition
of three different notions of optimal repairs (global, Pareto, and completion)
of a prioritized inconsistent database. After transferring the notions of
globally-, Pareto- and completion-optimal repairs to our setting, we study the
data complexity of the core reasoning tasks: query entailment under
inconsistency-tolerant semantics based upon optimal repairs, existence of a
unique optimal repair, and enumeration of all optimal repairs. Our results
provide a nearly complete picture of the data complexity of these tasks for
ontologies formulated in common DL-Lite dialects. The second contribution of
our work is to clarify the relationship between optimal repairs and different
notions of extensions for (set-based) argumentation frameworks. Among our
results, we show that Pareto-optimal repairs correspond precisely to stable
extensions (and often also to preferred extensions), and we propose a novel
semantics for prioritized KBs which is inspired by grounded extensions and
enjoys favourable computational properties. Our study also yields some results
of independent interest concerning preference-based argumentation frameworks.

3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int