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
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
Autonomous Agents and Multi-Agent Systems
Artificial institutions: a model of institutional reality for open multiagent systems
Artificial Intelligence and Law
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
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
On a computational argumentation framework for agent societies
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
| Hi-index | 0.00 |
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.