DR-prolog

A system for defeasible reasoning with rules and ontologies on the semantic Web

Grigoris Antoniou, Antonis Bikakis

Research output: Contribution to journalArticle

74 Citations (Scopus)

Abstract

Nonmonotonic rule systems are expected to play an important role in the layered development of the Semantic Web. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more efficient approach than other nonmonotonic rule systems for reasoning with incomplete and inconsistent information. This paper reports on the implementation of a system for defeasible reasoning on the Web. The system 1) is syntactically compatible with RuleML, 2) features strict and defeasible rules, priorities, and two kinds of negation, 3) is based on a translation to logic programming with declarative semantics, 4) is flexible and adaptable to different intuitions within defeasible reasoning, and 5) can reason with rules, RDF, RDF Schema, and (parts of) OWL ontologies.

Original languageEnglish
Pages (from-to)233-245
Number of pages13
JournalIEEE Transactions on Knowledge and Data Engineering
Volume19
Issue number2
Early online date26 Dec 2006
DOIs
Publication statusPublished - 1 Feb 2007
Externally publishedYes

Fingerprint

Semantic Web
Ontology
Semantics
Logic programming

Cite this

@article{dc9a720552b14e04923d7d0b7d07f276,
title = "DR-prolog: A system for defeasible reasoning with rules and ontologies on the semantic Web",
abstract = "Nonmonotonic rule systems are expected to play an important role in the layered development of the Semantic Web. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more efficient approach than other nonmonotonic rule systems for reasoning with incomplete and inconsistent information. This paper reports on the implementation of a system for defeasible reasoning on the Web. The system 1) is syntactically compatible with RuleML, 2) features strict and defeasible rules, priorities, and two kinds of negation, 3) is based on a translation to logic programming with declarative semantics, 4) is flexible and adaptable to different intuitions within defeasible reasoning, and 5) can reason with rules, RDF, RDF Schema, and (parts of) OWL ontologies.",
keywords = "Nonmonotonic reasoning, Rules, Semantic, Web reasoning",
author = "Grigoris Antoniou and Antonis Bikakis",
year = "2007",
month = "2",
day = "1",
doi = "10.1109/TKDE.2007.29",
language = "English",
volume = "19",
pages = "233--245",
journal = "IEEE Transactions on Knowledge and Data Engineering",
issn = "1041-4347",
publisher = "IEEE Computer Society",
number = "2",

}

DR-prolog : A system for defeasible reasoning with rules and ontologies on the semantic Web. / Antoniou, Grigoris; Bikakis, Antonis.

In: IEEE Transactions on Knowledge and Data Engineering, Vol. 19, No. 2, 01.02.2007, p. 233-245.

Research output: Contribution to journalArticle

TY - JOUR

T1 - DR-prolog

T2 - A system for defeasible reasoning with rules and ontologies on the semantic Web

AU - Antoniou, Grigoris

AU - Bikakis, Antonis

PY - 2007/2/1

Y1 - 2007/2/1

N2 - Nonmonotonic rule systems are expected to play an important role in the layered development of the Semantic Web. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more efficient approach than other nonmonotonic rule systems for reasoning with incomplete and inconsistent information. This paper reports on the implementation of a system for defeasible reasoning on the Web. The system 1) is syntactically compatible with RuleML, 2) features strict and defeasible rules, priorities, and two kinds of negation, 3) is based on a translation to logic programming with declarative semantics, 4) is flexible and adaptable to different intuitions within defeasible reasoning, and 5) can reason with rules, RDF, RDF Schema, and (parts of) OWL ontologies.

AB - Nonmonotonic rule systems are expected to play an important role in the layered development of the Semantic Web. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more efficient approach than other nonmonotonic rule systems for reasoning with incomplete and inconsistent information. This paper reports on the implementation of a system for defeasible reasoning on the Web. The system 1) is syntactically compatible with RuleML, 2) features strict and defeasible rules, priorities, and two kinds of negation, 3) is based on a translation to logic programming with declarative semantics, 4) is flexible and adaptable to different intuitions within defeasible reasoning, and 5) can reason with rules, RDF, RDF Schema, and (parts of) OWL ontologies.

KW - Nonmonotonic reasoning

KW - Rules

KW - Semantic

KW - Web reasoning

UR - http://www.scopus.com/inward/record.url?scp=33846203280&partnerID=8YFLogxK

U2 - 10.1109/TKDE.2007.29

DO - 10.1109/TKDE.2007.29

M3 - Article

VL - 19

SP - 233

EP - 245

JO - IEEE Transactions on Knowledge and Data Engineering

JF - IEEE Transactions on Knowledge and Data Engineering

SN - 1041-4347

IS - 2

ER -