Implementing Modal Extensions of Defeasible Logic for the Semantic Web

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.