Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Extended RDF as a Semantic Foundation of Rule Markup Languages   Ontologies and automated reasoning are the building blocks of the Semantic
Web initiative. Derivation rules can be included in an ontology to define
derived concepts, based on base concepts. For example, rules allow to define
the extension of a class or property, based on a complex relation between the
extensions of the same or other classes and properties. On the other hand, the
inclusion of negative information both in the form of negation-as-failure and
explicit negative information is also needed to enable various forms of
reasoning. In this paper, we extend RDF graphs with weak and strong negation,
as well as derivation rules. The ERDF stable model semantics of the extended
framework (Extended RDF) is defined, extending RDF(S) semantics. A distinctive
feature of our theory, which is based on Partial Logic, is that both truth and
falsity extensions of properties and classes are considered, allowing for truth
value gaps. Our framework supports both closed-world and open-world reasoning
through the explicit representation of the particular closed-world assumptions
and the ERDF ontological categories of total properties and total classes.

17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph