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 proceedingChapterpeer-review

2 Citations (Scopus)


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
Number of pages28
ISBN (Electronic)9781466636118
ISBN (Print)9781466636101
Publication statusPublished - 30 Mar 2013
Externally publishedYes


Dive into the research topics of 'A modal defeasible reasoner of deontic logic for the semantic web'. Together they form a unique fingerprint.

Cite this