Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: ASP for Minimal Entailment in a Rational Extension of SROEL   In this paper we exploit Answer Set Programming (ASP) for reasoning in a
rational extension SROEL-R-T of the low complexity description logic SROEL,
which underlies the OWL EL ontology language. In the extended language, a
typicality operator T is allowed to define concepts T(C) (typical C's) under a
rational semantics. It has been proven that instance checking under rational
entailment has a polynomial complexity. To strengthen rational entailment, in
this paper we consider a minimal model semantics. We show that, for arbitrary
SROEL-R-T knowledge bases, instance checking under minimal entailment is
\Pi^P_2-complete. Relying on a Small Model result, where models correspond to
answer sets of a suitable ASP encoding, we exploit Answer Set Preferences (and,
in particular, the asprin framework) for reasoning under minimal entailment.
The paper is under consideration for acceptance in Theory and Practice of Logic
Programming.

3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci