Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reasoning about exceptions in ontologies: from the lexicographic closure
  to the skeptical closure   Reasoning about exceptions in ontologies is nowadays one of the challenges
the description logics community is facing. The paper describes a preferential
approach for dealing with exceptions in Description Logics, based on the
rational closure. The rational closure has the merit of providing a simple and
efficient approach for reasoning with exceptions, but it does not allow
independent handling of the inheritance of different defeasible properties of
concepts. In this work we outline a possible solution to this problem by
introducing a variant of the lexicographical closure, that we call skeptical
closure, which requires to construct a single base. We develop a bi-preference
semantics semantics for defining a characterization of the skeptical closure.

6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc