A System for Nonmonotonic Rules on the Web

G. Antoniou, A. Bikakis, G. Wagner

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Citations (Scopus)


Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used. This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web. The system (a) is syntactically compatible with RuleML; (b) features strict and defeasible rules and priorities; (c) is based on a translation to logic programming with declarative semantics; and (d) is flexible and adaptable to different intuitions within defeasible reasoning.

Original languageEnglish
Title of host publicationRules and Rule Markup Languages for the Semantic Web
Subtitle of host publicationThird International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings
EditorsGrigoris Antoniou, Harold Boley
PublisherSpringer Verlag
Number of pages14
VolumeLNCS 3323
ISBN (Electronic)9783540305040
ISBN (Print)3540238425, 9783540238423
Publication statusPublished - 27 Oct 2004
Externally publishedYes
Event3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web - Hiroshima, Japan
Duration: 8 Nov 20048 Nov 2004
Conference number: 3

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume3323 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Workshop3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web
Abbreviated titleRuleML 2004


Dive into the research topics of 'A System for Nonmonotonic Rules on the Web'. Together they form a unique fingerprint.

Cite this