Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Well-Founded Semantics for FOL-Programs   An FOL-program consists of a background theory in a decidable fragment of
first-order logic and a collection of rules possibly containing first-order
formulas. The formalism stems from recent approaches to tight integrations of
ASP with description logics. In this paper, we define a well-founded semantics
for FOL-programs based on a new notion of unfounded sets on consistent as well
as inconsistent sets of literals, and study some of its properties. The
semantics is defined for all FOL-programs, including those where it is
necessary to represent inconsistencies explicitly. The semantics supports a
form of combined reasoning by rules under closed world as well as open world
assumptions, and it is a generalization of the standard well-founded semantics
for normal logic programs. We also show that the well-founded semantics defined
here approximates the well-supported answer set semantics for normal DL
programs.

37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org