A modal defeasible reasoner of deontic logic for the semantic web

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

Original languageEnglish
Title of host publicationSemantic Web
Subtitle of host publicationOntology and Knowledge Base Enabled Tools, Services, and Applications
EditorsAmit P. Sheth
PublisherIGI Global
Chapter7
Pages140-167
Number of pages28
ISBN (Electronic)9781466636118
ISBN (Print)9781466636101
DOIs
Publication statusPublished - 30 Mar 2013
Externally publishedYes

Fingerprint

Semantic Web
Testing

Cite this

Kontopoulos, E., Bassiliades, N., Governatori, G., & Antoniou, G. (2013). A modal defeasible reasoner of deontic logic for the semantic web. In A. P. Sheth (Ed.), Semantic Web: Ontology and Knowledge Base Enabled Tools, Services, and Applications (pp. 140-167). IGI Global. https://doi.org/10.4018/978-1-4666-3610-1.ch007
Kontopoulos, Efstratios ; Bassiliades, Nick ; Governatori, Guido ; Antoniou, Grigoris. / A modal defeasible reasoner of deontic logic for the semantic web. Semantic Web: Ontology and Knowledge Base Enabled Tools, Services, and Applications. editor / Amit P. Sheth. IGI Global, 2013. pp. 140-167
@inbook{7253349a44394922a9c77fdb98ee12f2,
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.",
author = "Efstratios Kontopoulos and Nick Bassiliades and Guido Governatori and Grigoris Antoniou",
year = "2013",
month = "3",
day = "30",
doi = "10.4018/978-1-4666-3610-1.ch007",
language = "English",
isbn = "9781466636101",
pages = "140--167",
editor = "Sheth, {Amit P.}",
booktitle = "Semantic Web",
publisher = "IGI Global",

}

Kontopoulos, E, Bassiliades, N, Governatori, G & Antoniou, G 2013, A modal defeasible reasoner of deontic logic for the semantic web. in AP Sheth (ed.), Semantic Web: Ontology and Knowledge Base Enabled Tools, Services, and Applications. IGI Global, pp. 140-167. https://doi.org/10.4018/978-1-4666-3610-1.ch007

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

Semantic Web: Ontology and Knowledge Base Enabled Tools, Services, and Applications. ed. / Amit P. Sheth. IGI Global, 2013. p. 140-167.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

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 - 2013/3/30

Y1 - 2013/3/30

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.

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

U2 - 10.4018/978-1-4666-3610-1.ch007

DO - 10.4018/978-1-4666-3610-1.ch007

M3 - Chapter

SN - 9781466636101

SP - 140

EP - 167

BT - Semantic Web

A2 - Sheth, Amit P.

PB - IGI Global

ER -

Kontopoulos E, Bassiliades N, Governatori G, Antoniou G. A modal defeasible reasoner of deontic logic for the semantic web. In Sheth AP, editor, Semantic Web: Ontology and Knowledge Base Enabled Tools, Services, and Applications. IGI Global. 2013. p. 140-167 https://doi.org/10.4018/978-1-4666-3610-1.ch007