DR-DEVICE: A defeasible logic system for the semantic Web

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas

Research output: Contribution to journalArticle

31 Citations (Scopus)

Abstract

This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. 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. In this paper we describe these scenarios in more detail along with the implementation of the DR-DEVICE system, which is capable of reasoning about RDF data over multiple Web sources using defeasible logic rules. The system is implemented on top of CLIPS production rule system and builds upon R-DEVICE, an earlier deductive rule system over RDF data 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 includes a use case of a semantic web broker that reasons defeasibly about renting apartments based on buyer's requirements (expressed RuleML defeasible logic rules) and seller's advertisements (expressed in RDF).

LanguageEnglish
Pages134-148
Number of pages15
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3208
DOIs
Publication statusPublished - 1 Dec 2004
Externally publishedYes

Fingerprint

Semantic Web
Ontology
Semantics
Logic
Reasoning
Industry
Attribute
Business Rules
Production Rules
Operational Semantics
Compilation
Use Case
Inconsistent
Exception
Scenarios
Requirements
Modeling

Cite this

@article{95b46c57098e4cc59a7c8c560927e3ca,
title = "DR-DEVICE: A defeasible logic system for the semantic Web",
abstract = "This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. 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. In this paper we describe these scenarios in more detail along with the implementation of the DR-DEVICE system, which is capable of reasoning about RDF data over multiple Web sources using defeasible logic rules. The system is implemented on top of CLIPS production rule system and builds upon R-DEVICE, an earlier deductive rule system over RDF data 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 includes a use case of a semantic web broker that reasons defeasibly about renting apartments based on buyer's requirements (expressed RuleML defeasible logic rules) and seller's advertisements (expressed in RDF).",
keywords = "description logic, business rule, rule system, deductive rule, defeasible rule",
author = "Nick Bassiliades and Grigoris Antoniou and Ioannis Vlahavas",
year = "2004",
month = "12",
day = "1",
doi = "10.1007/b100228",
language = "English",
volume = "3208",
pages = "134--148",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - DR-DEVICE

T2 - Lecture Notes in Computer Science

AU - Bassiliades, Nick

AU - Antoniou, Grigoris

AU - Vlahavas, Ioannis

PY - 2004/12/1

Y1 - 2004/12/1

N2 - This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. 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. In this paper we describe these scenarios in more detail along with the implementation of the DR-DEVICE system, which is capable of reasoning about RDF data over multiple Web sources using defeasible logic rules. The system is implemented on top of CLIPS production rule system and builds upon R-DEVICE, an earlier deductive rule system over RDF data 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 includes a use case of a semantic web broker that reasons defeasibly about renting apartments based on buyer's requirements (expressed RuleML defeasible logic rules) and seller's advertisements (expressed in RDF).

AB - This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. 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. In this paper we describe these scenarios in more detail along with the implementation of the DR-DEVICE system, which is capable of reasoning about RDF data over multiple Web sources using defeasible logic rules. The system is implemented on top of CLIPS production rule system and builds upon R-DEVICE, an earlier deductive rule system over RDF data 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 includes a use case of a semantic web broker that reasons defeasibly about renting apartments based on buyer's requirements (expressed RuleML defeasible logic rules) and seller's advertisements (expressed in RDF).

KW - description logic

KW - business rule

KW - rule system

KW - deductive rule

KW - defeasible rule

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

U2 - 10.1007/b100228

DO - 10.1007/b100228

M3 - Article

VL - 3208

SP - 134

EP - 148

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -