Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology

The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In this paper we regard such obligations and prohibitions as cases of social commitment, and propose to model them in OWL, the logical language recommended by the W3C for Semantic Web applications. In particular we propose an application-independent ontology of the notions of social commitment, temporal proposition, event, agent, role and norms that can be used in the specification of any open interaction system. We then delineate a hybrid solution that uses the OWL ontology, SWRL rules, and a Java program to dynamically monitor or simulate the temporal evolution of social commitments, due to the elapsing of time and to the actions performed by the agents interacting within the system.

[1]  Viviane Torres da Silva,et al.  From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents , 2008, Autonomous Agents and Multi-Agent Systems.

[2]  Munindar P. Singh,et al.  Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.

[3]  Marco Colombetti,et al.  Agent communication and artificial institutions , 2007, Autonomous Agents and Multi-Agent Systems.

[4]  Arantza Illarramendi,et al.  Semantic Web Technology for Agent Communication Protocols , 2008, ESWC.

[5]  Wamberto Weber Vasconcelos,et al.  Constraint rule-based programming of norms for electronic institutions , 2009, Autonomous Agents and Multi-Agent Systems.

[6]  Marco Colombetti,et al.  Specifying Artificial Institutions in the Event Calculus , 2009, Handbook of Research on Multi-Agent Systems.

[7]  Frank Guerin,et al.  Representing and Reasoning about Norm-Governed Organisations with Semantic Web Languages , 2008 .

[8]  Matthias Bräuer,et al.  An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning , 2008, ESWC.

[9]  Alexander Artikis,et al.  Animated specifications of computational societies , 2002, AAMAS '02.

[10]  Jeffrey M. Bradshaw,et al.  New Developments in Ontology-Based Policy Management: Increasing the Practicality and Comprehensiveness of KAoS , 2008, 2008 IEEE Workshop on Policies for Distributed Systems and Networks.

[11]  Michael Luck,et al.  A normative framework for agent-based systems , 2006, Comput. Math. Organ. Theory.

[12]  Jeffrey M. Bradshaw,et al.  Making Agents Acceptable to People (Abstract of a Key-Note Speech) , 2003, CEEMAS.

[13]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[14]  Guido Governatori,et al.  How Do Agents Comply with Norms? , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[15]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[16]  Werner Nutt,et al.  An Epistemic Operator for Description Logics , 1998, Artif. Intell..

[17]  Mehdi Dastani,et al.  Normative Multi-agent Programs and Their Logics , 2009, KRAMAS.

[18]  Marco Colombetti,et al.  Artificial institutions: a model of institutional reality for open multiagent systems , 2008, Artificial Intelligence and Law.

[19]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[20]  Carlos José Pereira de Lucena,et al.  How to concretize norms in NMAS? An operational normative approach presented with a case study from the television domain , 2008, AAAI 2008.

[21]  Michael Luck,et al.  Proceedings of the First International Symposium on Normative Multi-Agent Systems , 2005 .