Representation and monitoring of commitments and norms using OWL

Authors:
Nicoletta Fornara;Marco Colombetti
Affiliations:
(Correspd. E-mail: fornaran@ usi.ch) University of Lugano, Lugano, Switzerland. E-mails: {fornaran, colombem}@usi.ch;University of Lugano, Lugano, Switzerland and Politecnico di Milano, Milano, Italy. E-mail: marco.colombetti@polimi.it
Venue:
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Year:
2010

Citing 17
Cited 6

An epistemic operator for description logics

Artificial Intelligence
Animated specifications of computational societies

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines

HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols

Annals of Mathematics and Artificial Intelligence
Agent communication and artificial institutions

Autonomous Agents and Multi-Agent Systems
Pellet: A practical OWL-DL reasoner

Web Semantics: Science, Services and Agents on the World Wide Web
From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents

Autonomous Agents and Multi-Agent Systems
Artificial institutions: a model of institutional reality for open multiagent systems

Artificial Intelligence and Law
Towards a Monitoring Framework for Agent-Based Contract Systems

CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
New Developments in Ontology-Based Policy Management: Increasing the Practicality and Comprehensiveness of KAoS

POLICY '08 Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks
Constraint rule-based programming of norms for electronic institutions

Autonomous Agents and Multi-Agent Systems
Specifying and Enforcing Norms in Artificial Institutions

Declarative Agent Languages and Technologies VI
Foundations of Semantic Web Technologies

Foundations of Semantic Web Technologies
Making agents acceptable to people abstract of a key-note speech

CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Semantic web technology for agent communication protocols

ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
An ontology for software models and its practical implications for semantic web reasoning

ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Runtime monitoring of contract regulated web services

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Specifying and enforcing norms in artificial institutions: a retrospective review

DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Using OWL 2 DL for expressing ACL content and semantics

EUMAS'11 Proceedings of the 9th European conference on Multi-Agent Systems
Towards a satisfactory conversion of messages among agent-based information systems

Expert Systems with Applications: An International Journal
Semantic technologies for open interaction systems

Artificial Intelligence Review
Representing and monitoring social commitments using the event calculus

Autonomous Agents and Multi-Agent Systems
Engineering commitment-based business protocols with the 2CL methodology

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Monitoring the temporal evolution of obligations and prohibitions 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 with starting points and deadlines, 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 norm, 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 the temporal evolution of social commitments, taking into account the elapsing of time and the actions performed by the agents interacting within the system.