Representation and monitoring of commitments and norms using OWL

AI Communications

Volumn 23, Issue 4, 2010, Pages 341-356

  Fornara, Nicoletta ^a   Colombetti, Marco ^a,b  

^a UNIVERSITY OF LUGANO   (Switzerland)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

monitoring; Normative multi agent systems; norms; obligations; OWL; prohibitions; Semantic Web technology

Indexed keywords

NORMS; OBLIGATIONS; OWL; PROHIBITIONS; SEMANTIC WEB TECHNOLOGY;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; LAW ENFORCEMENT; MULTI AGENT SYSTEMS; ONTOLOGY; SEMANTICS;

SEMANTIC WEB;

EID: 78650384207     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: 10.3233/AIC-2010-0478     Document Type: Article

References (25)

1. A. Artikis, M. Sergot and J. Pitt, Animated specifications of computational societies, in: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), C. Castelfranchi and W.L. Johnson, eds, ACM, 2002, pp. 535-542.
2. I. Berges, J. Bermdez, A. Goi and A. Illarramendi, Semantic web technology for agent communication protocols, in: The Semantic Web: Research and Applications, Proceedings of the 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, pp. 5-18.
3. G. Boella, P. Noriega, G. Pigozzi and H. Verhagen (eds), Normative multi-agent systems, in: Dagstuhl Seminar Proceedings, No. 09121, Dagstuhl, Germany, 2009, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.
4. J. Bradshaw, P. Beautment, M. Breedy, L. Bunch, S. Drakunov, P. Feltovich, R. Hoffman, R. Jeffers, M. Johnson, S. Kulkarni, J. Lott, A. Raj, N. Suri and A. Uszok, Making Agents Acceptable to People, Springer-Verlag, Berlin-Heidelberg, 2004, pp. 355-400.
5. M. Bräuer and H. Lochmann, An ontology for software models and its practical implications for Semantic Web reasoning, in: ESWC, S. Bechhofer, M. Hauswirth, J. Hoffmann and M. Koubarakis, eds, LNCS, Vol. 5021, Springer-Verlag, 2008, pp. 34-48.
6. V.T. da Silva, 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 17(1) (2008), 113-155.
7. M. Dastani, D. Grossi, J.-J. Meyer and N. Tinnemeier, Normative multi-agent programs and their logics, in: Dagstuhl Seminar Proceedings. Normative Multi-Agent Systems, No. 09121, G. Boella, P. Noriega, G. Pigozzi and H. Verhagen, eds, Dagstuhl, Germany, 2009. Schloss Dagstuhl - Leibniz- Zentrum fuer Informatik, Germany.
8. F. Dignum and R. Kuiper, Combining dynamic deontic logic and temporal logic for the specification of deadlines, in: HICSS'97: Proceedings of the 30th Hawaii International Conference on System Sciences, Washington, DC, USA, 1997, IEEE Computer Society, p. 336.
9. F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf and W. Nutt, An epistemic operator for description logics, Artificial Intelligence 200(1,2) (1998), 225-274.
10. N. Faci, S. Modgil, N. Oren, F. Meneguzzi, S. Miles and M. Luck, Towards a monitoring framework for agent-based contract systems, in: CIA'08: Proceedings of the 12th International Workshop on Cooperative Information Agents XII, Springer-Verlag, Berlin-Heidelberg, 2008, pp. 292-305.
11. C. Felicissimo, J.-P. Briot, C. Chopinaud and C. Lucena, How to concretize norms in NMAS? An operational normative approach presented with a case study from the television domain, in: International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN@AAAI'08), 23rd AAAI Conference on Artificial Intelligence, Etats-Unis, Chicago, IL, 2008, AAAI Press.
12. N. Fornara and M. Colombetti, Specifying and enforcing norms in artificial institutions, in: Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Revised Selected and Invited Papers, M. Baldoni, T. Son, B. van Riemsdijk and M. Winikoff, eds, Estoril, Portugal, May 12, 2008, LNCS, Vol. 5397, Springer-Verlag, Berlin- Heidelberg, 2009, pp. 1-17.
13. N. Fornara and M. Colombetti, Specifying Artificial Institutions in the Event Calculus, Vol. Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models of Information Science Reference, IGI Global, Hershey, New York, 2009, pp. 335-366 (Chapter XIV).
14. N. Fornara, F. Viganò and M. Colombetti, Agent communication and artificial institutions, Autonomous Agents and Multi- Agent Systems 14(2) (2007), 121-142.
15. N. Fornara, F. Viganò, M. Verdicchio andM. Colombetti, Artificial institutions: A model of institutional reality for open multiagent systems, Artificial Intelligence and Law 16(1) (2008), 89-105.
16. A. García-Camino, J.A. Rodríguez-Aguilar, C. Sierra and W. Vasconcelos, Constraint rule-based programming of norms for electronic institutions, Autonomous Agents and Multi- Agent Systems 18(1) (2009), 186-217.
17. G. Governatori and A. Rotolo, How do agents comply with norms? in: Normative Multi-Agent Systems, Dagstuhl Seminar Proceedings, No. 09121, G. Boella, P. Noriega, G. Pigozzi and H. Verhagen, eds, Dagstuhl, Germany, 2009, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.
18. P. Hitzler, R. Sebastian and M. Krötzsch, Foundations of Semantic Web Technologies, Chapman & Hall/CRC, London, 2009.
19. J.S.-C. Lam, F. Guerin,W. Vasconcelos and T.J. Norman, Representing and reasoning about norm-governed organisations with semantic web languages, in: Sixth European Workshop on Multi-Agent Systems, Bath, UK, 18-19 December, 2008.
20. A. Lomuscio, W. Penczek, M. Solanki and M. Szreter, Runtime monitoring of contract regulated web services (extended abstract), in: Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS10), Toronto, Canada, 2010, ACM, New York, NY, USA, pp. 1449- 1450.
21. F. López y López, M. Luck and M. d'Inverno, A normative framework for agent-based systems, in: Proceedings of the First International Symposium on Normative Multi-Agent Systems, Hatfield, 2005.
22. E. Sirin, B. Parsia, B.C. Grau, A. Kalyanpur and Y. Katz, Pellet: A practical OWL-DL reasoner, Web Semantics: Science, Services and Agents on the World Wide Web 5(2) (2007), 51-53.
23. A. Uszok, J.M. Bradshaw, J. Lott, M. Breedy, L. Bunch, P. Feltovich, M. Johnson and H. Jung, New developments in ontology-based policy management: Increasing the practicality and comprehensiveness of KAoS, in: Policies for Distributed Systems and Networks, IEEE International Workshop, 2008, pp. 145-152.
24. G.E.L. van der Torre, G. Boella and H. Verhagen (eds), Autonomous Agents and Multi-Agent Systems 17, (2008), Special Issue on Normative Multiagent Systems.
25. P. Yolum and M. Singh, Reasoning about commitment in the event calculus: An approach for specifying and executing protocols, Annals of Mathematics and Artificial Intelligence 42 (2004), 227-253.