Nikos Dimaresis, Grigoris Antoniou
Defeasible logic is a simple, efficient but flexible non-monotonic formalism that offers many reasoning capabilities, embodies the concept of preference and it has low computational complexity. Nonmonotonic rule systems are expected to play an important role in the layered development of the Semantic Web.Semantic Web community has performed extensive research in the area of policies.In the current work, we develop a nonmonotonic rulebased system that can reason in Semantic Web applications associated with policies and business rules. It is based on an extension of defeasible logic with modalities and supports reasoning with RDF/S ontologies.
Subjects: 3.3 Nonmonotonic Reasoning; 11. Knowledge Representation
Submitted: Mar 30, 2007