A defeasible logic reasoner for the semantic web

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas

Research output: Contribution to journalArticle

74 Citations (Scopus)

Abstract

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 and reports on the implementation of a system for defeasible reasoning on the Web. The system, DRDEVICE, is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules. It is implemented on top of CLIPS production rule system and builds upon RDEVICE, an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules. Rules can be expressed either in a native CLIPS-like language, or in an extension of the OO-RuleML syntax. The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper also presents a full semantic Web broker example for apartment renting.

Original languageEnglish
Pages (from-to)1-41
Number of pages41
JournalInternational Journal on Semantic Web and Information Systems
Volume2
Issue number1
DOIs
Publication statusPublished - 1 Jan 2006
Externally publishedYes

Fingerprint

Semantic Web
Metadata
Ontology
Semantics
Industry

Cite this

@article{64933ca5d04b43229cd496db6796715f,
title = "A defeasible logic reasoner for the semantic web",
abstract = "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 and reports on the implementation of a system for defeasible reasoning on the Web. The system, DRDEVICE, is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules. It is implemented on top of CLIPS production rule system and builds upon RDEVICE, an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules. Rules can be expressed either in a native CLIPS-like language, or in an extension of the OO-RuleML syntax. The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper also presents a full semantic Web broker example for apartment renting.",
keywords = "Defeasible logic, RDF, Reasoning, Rule markup language, Rules, Semantic brokering",
author = "Nick Bassiliades and Grigoris Antoniou and Ioannis Vlahavas",
year = "2006",
month = "1",
day = "1",
doi = "10.4018/jswis.2006010101",
language = "English",
volume = "2",
pages = "1--41",
journal = "Semantic Web and Information Systems",
issn = "1552-6283",
publisher = "IGI Publishing",
number = "1",

}

A defeasible logic reasoner for the semantic web. / Bassiliades, Nick; Antoniou, Grigoris; Vlahavas, Ioannis.

In: International Journal on Semantic Web and Information Systems, Vol. 2, No. 1, 01.01.2006, p. 1-41.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A defeasible logic reasoner for the semantic web

AU - Bassiliades, Nick

AU - Antoniou, Grigoris

AU - Vlahavas, Ioannis

PY - 2006/1/1

Y1 - 2006/1/1

N2 - 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 and reports on the implementation of a system for defeasible reasoning on the Web. The system, DRDEVICE, is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules. It is implemented on top of CLIPS production rule system and builds upon RDEVICE, an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules. Rules can be expressed either in a native CLIPS-like language, or in an extension of the OO-RuleML syntax. The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper also presents a full semantic Web broker example for apartment renting.

AB - 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 and reports on the implementation of a system for defeasible reasoning on the Web. The system, DRDEVICE, is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules. It is implemented on top of CLIPS production rule system and builds upon RDEVICE, an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules. Rules can be expressed either in a native CLIPS-like language, or in an extension of the OO-RuleML syntax. The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper also presents a full semantic Web broker example for apartment renting.

KW - Defeasible logic

KW - RDF

KW - Reasoning

KW - Rule markup language

KW - Rules

KW - Semantic brokering

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

U2 - 10.4018/jswis.2006010101

DO - 10.4018/jswis.2006010101

M3 - Article

VL - 2

SP - 1

EP - 41

JO - Semantic Web and Information Systems

JF - Semantic Web and Information Systems

SN - 1552-6283

IS - 1

ER -