Abstract
The development of ontologies associated with multi-agent systems provides mechanisms to model and correlate knowledge about the world to agent applications in various domains where simulations involve agents perform social exchanges or resource consumption. Norms that restrict and guide behavior often regulate the actions of agents, and therefore research on normative systems is necessary. Questions about the definition and construction of legal ontologies have been discussed in this research context. Legal ontologies have been proposed to formulate how laws can be modeled to formalize and manage law information in legal systems about regulation like traffic, taxes and other administrative rules. These ontologies have in their modeling formal laws with the purpose of providing information about permission, prohibition, obligation, rewards and punishments for these agents. Firstly, this article presents and discusses researches on ontologies applied in multi-agent systems, more specifically on legal ontologies. Next, we propose a model of legislative ontology related to the Brazilian domain of laws. The ontology of this model is provided by a web service and applied in multi-agent systems through a middleware. We used as a case study the Brazilian legislation that regulates fishing activity in an example scenario where the components simulate the restrictions for fishermen and government agents. Finally, we present how agent actions can be verified on our model and their applicability to the multi-agent systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alexander, B.O.E.R.: LKIF core: principled ontology development for the legal domain. Law Ontol. Semant. Web: Channelling Legal Inf. Flood 188, 21 (2009)
Alexy, R.: Discourse theory and fundamental rights. In: Menéndez, A., Eriksen, E. (eds.) Arguing Fundamental Rights. Law and Philosophy Library, vol. 77, pp. 15–30. Springer, Dordrecht (2006). https://doi.org/10.1007/1-4020-4919-4_1
Bandeira, J., Bittencourt, I.I., Espinheira, P., Isotani, S.: FOCA: a methodology for ontology evaluation. arXiv preprint arXiv:1612.03353 (2016)
Boella, G., Van Der Torre, L., Verhagen, H.: Introduction to normative multiagent systems. Comput. Math. Organ. Theory 12(2–3), 71–79 (2006)
Borgo, S., Masolo, C.: Foundational choices in DOLCE. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. IHIS, pp. 361–381. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-540-92673-3_16
Brasil. Lei N. 7.653 de 12 de Fevereiro de 1988. Congresso Nacional, Casa Civil, [S.l.] (1988)
Breuker, J., Valente, A., Winkels, R.: Use and reuse of legal ontologies in knowledge engineering and information management. In: Benjamins, V.R., Casanovas, P., Breuker, J., Gangemi, A. (eds.) Law and the Semantic Web. LNCS (LNAI), vol. 3369, pp. 36–64. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-32253-5_4
Casanovas, P., et al.: Semantic web for the legal domain: the next step. Semant. web 7(3), 213–227 (2016)
Costa, A.C.R.: Toward a formal reconstruction of Kelsen’s theory of legal systems. In: 2nd Workshop-School on Theoretical Computer Science, pp. 165–171 (2013)
Čyras, V., Lachmayer, F., Tsuno, G.: Visualization of Hans Kelsen’s pure theory of law. In: Proceedings of the Fundamental Concepts and the Systematization of Law, FCASL, pp. 112–122 (2011)
El Ghosh, M., Naja, H., Abdulrab, H., Khalil, M.: Towards a middle-out approach for building legal domain reference ontology. Int. J. Knowl. Eng. 2(3), 109–114 (2016)
Felicíssimo, C., Lucena, C., Carvalho, G., Paes, R.: Normative ontologies to define regulations over roles in open multi-agent systems. [S.l.]: AAAI Fall Symposium Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems (2005)
Freitas, A., Panisson, A.R., Hilgert, L., Meneguzzi, F., Vieira, R., Bordini, R.H.: Applying ontologies to the development and execution of multi-agent systems. Web Intell. 15(4), 291–302 (2017)
Furdík, K., Sabol, T., Dulinová, V.: Policy modelling supported by e-participation ICT tools. In: Proceedings of the 4th International Conference on Methodologies, Technologies and Tools Enabling e-Government. University of Applied Sciences, Northwestern Switzerland, Olten, pp. 135–146 (2010)
Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 166–181. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45810-7_18
Griffo, C., Almeida, J.P.A., Guizzardi, G.: Towards a legal core ontology based on Alexy’s theory of fundamental rights. In: Multilingual Workshop on Artificial Intelligence and Law, ICAIL (2015)
Guizzardi, G., De Almeida Falbo, R., Guizzardi, R.S.: Grounding software domain ontologies in the unified foundational ontology (UFO): the case of the ODE software process ontology. In: CIbSE, pp. 127–140 (2008)
Hadzic, M., et al.: Ontology-Based Multi-agent Systems. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01904-3
Kelsen, H.: General Theory of Norms. Oxford University Press, Oxford (1990)
Kelsen, H.: Pure Theory of Law. Lawbook Exchange (2009)
Musen, M.A: The Protégé project: a look back and a look forward. AI Matters. Association of Computing Machinery Specific Interest Group in Artificial Intelligence, 1(4) (2015)
Palmirani, M., et al.: Legal ontology for modelling GDPR concepts and norms. In: Legal Knowledge and Information Systems: JURIX 2018: The Thirty-first Annual Conference, p. 91. IOS Press (2018)
Penna, S.F.P.D.O., Maciel, E.C.B.D.A: Técnica Legislativa - Orientação para a Padronização de Trabalhos. [S.l.]: Senado Federal (2002)
dos Santos, I.A.D.S., da Rocha Costa, A.C.: Toward a framework for simulating agent-based models of public policy processes on the Jason-Cartago platform. In: Proceedings of the Second International Workshop on Agent-based Modeling for Policy Engineering (AMPLE 2012), pp. 45–59 (2012)
Valente, A., Breuker, J., Brouwer, B.: Legal modeling and automated reasoning with ON-LINE. Int. J. Hum.-Comput. Stud. 51(6), 1079–1125 (1999)
Acknowledgments
This study was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES)-Finance Code 001.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Sperotto, F.A., Belchior, M., de Aguiar, M.S. (2019). Ontology-Based Legal System in Multi-agents Systems. In: Martínez-Villaseñor, L., Batyrshin, I., Marín-Hernández, A. (eds) Advances in Soft Computing. MICAI 2019. Lecture Notes in Computer Science(), vol 11835. Springer, Cham. https://doi.org/10.1007/978-3-030-33749-0_41
Download citation
DOI: https://doi.org/10.1007/978-3-030-33749-0_41
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-33748-3
Online ISBN: 978-3-030-33749-0
eBook Packages: Computer ScienceComputer Science (R0)