A system for nonmonotonic rules on the web

G. Antoniou, A. Bikakis, G.R. Wagner

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

9 Citaten (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.
Originele taal-2Engels
TitelProc. Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML-2004)
Plaats van productieBerlin
StatusGepubliceerd - 2004

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Duik in de onderzoeksthema's van 'A system for nonmonotonic rules on the web'. Samen vormen ze een unieke vingerafdruk.

Citeer dit