A Nonmonotonic Rule System using Ontologies

The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language which corresponds to a rich description logic. The next step will be the the realization of logical rule systems on top of the ontology layer. Computationally simple nonmonotonic rule systems show promise to play an important role in electronic commerce on the Semantic Web. In this paper we show how nonmonotonic rule systems in the form of defeasible reasoning, can be built on top of description logics. The key idea is to use concept and role predicates in the antecedents of rules. We define a proof theory for this kind of reasoning, and derive some basic properties.

• Type: Journal
• Year: 2002
• Where: RML
• Authors: Grigoris Antoniou
• Keywords: Business, Nonmonotonic Rule Systems, Ontology Layer, RML 2002, Rule Systems