LPIS Home Page
Google Search

Title: A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
Author(s): E. Kontopoulos, N. Bassiliades, G. Governatori, G. Antoniou.
Availability: Click here to download the PDF (Acrobat Reader) file (26 pages).
Keywords: Semantic Web, defeasible logic, modal logic, deontic logic, reasoning, reasoning engine, DR-DEVICE.
Appeared in: International Journal on Semantic Web and Information Systems (IJSWIS), IGI Global, 7(1), pp. 18-43, 2011.
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.
See also :

        This paper has been cited by the following:

1 Lam. H. P. On the Derivability of Defeasible Logic. PhD Thesis, School of Information Technology and Electrical Engineering, Univ. of Queensland, 2012.
2 Furbach, U., Schon, C., Stolzenburg, F., Automated reasoning in deontic logic, (2014) LNCS 8875, pp. 57-68.
3 Ceci, M. Representing Judicial Argumentation in the Semantic Web. ICOL 2013 Workshop, Bologna, 2014, LNCS 8929, pp. 172 187, DOI: 10.13140/2.1.2235.3282.
4 Ceci, M., Gangemi, A. An OWL ontology library representing judicial interpretations. Semantic Web Journal: Special Issue on Semantic Web for the legal domain, IOS Press, accepted, 2014.
5 Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Automated Reasoning for Robot Ethics, arXiv:1502.05838 [cs.AI], Feb 2015. Available at: http://arxiv.org/abs/1502.05838
6 Furbach, U., Schon, C. Deontic Logic for Human Reasoning. LNCS 9060, 2015, pp. 63 - 80.