A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2011 International Journal on Semantic Web and Information Systems (IJSWIS)  
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, while modal logic deals with the concepts of necessity and possibility. These types of logics can play a significant role in the emerging Semantic Web, which aims at enriching 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 can assist by providing means for
more » ... ling agent communities, where each agent is characterized by its own cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions and individual rights. Towards this direction, this article reports on 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.
doi:10.4018/jswis.2011010102 fatcat:ec7a23vkqvfq5mlh4hiranmi2e