A modal defeasible reasoner of deontic logic for the Semantic Web

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou

Research output: Contribution to journalArticle

14 Citations (Scopus)

Abstract

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.

LanguageEnglish
Pages18-43
Number of pages26
JournalInternational Journal on Semantic Web and Information Systems
Volume7
Issue number1
DOIs
Publication statusPublished - 1 Jan 2011
Externally publishedYes

Fingerprint

Semantic Web
Testing

Cite this

Kontopoulos, Efstratios ; Bassiliades, Nick ; Governatori, Guido ; Antoniou, Grigoris. / A modal defeasible reasoner of deontic logic for the Semantic Web. In: International Journal on Semantic Web and Information Systems. 2011 ; Vol. 7, No. 1. pp. 18-43.
@article{c443352f54794a6fbcca4295bf512586,
title = "A modal defeasible reasoner of deontic logic for the Semantic Web",
abstract = "Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.",
keywords = "Agent behaviour, Defeasible logic, Deontic logic, Modal logic, Semantic Web",
author = "Efstratios Kontopoulos and Nick Bassiliades and Guido Governatori and Grigoris Antoniou",
year = "2011",
month = "1",
day = "1",
doi = "10.4018/jswis.2011010102",
language = "English",
volume = "7",
pages = "18--43",
journal = "Semantic Web and Information Systems",
issn = "1552-6283",
publisher = "IGI Publishing",
number = "1",

}

A modal defeasible reasoner of deontic logic for the Semantic Web. / Kontopoulos, Efstratios; Bassiliades, Nick; Governatori, Guido; Antoniou, Grigoris.

In: International Journal on Semantic Web and Information Systems, Vol. 7, No. 1, 01.01.2011, p. 18-43.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A modal defeasible reasoner of deontic logic for the Semantic Web

AU - Kontopoulos, Efstratios

AU - Bassiliades, Nick

AU - Governatori, Guido

AU - Antoniou, Grigoris

PY - 2011/1/1

Y1 - 2011/1/1

N2 - Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.

AB - Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and individual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define diverse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.

KW - Agent behaviour

KW - Defeasible logic

KW - Deontic logic

KW - Modal logic

KW - Semantic Web

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

U2 - 10.4018/jswis.2011010102

DO - 10.4018/jswis.2011010102

M3 - Article

VL - 7

SP - 18

EP - 43

JO - Semantic Web and Information Systems

T2 - Semantic Web and Information Systems

JF - Semantic Web and Information Systems

SN - 1552-6283

IS - 1

ER -