Abstract
While isomorphism of knowledge representation has been recognized as important, particularly to maintenance in legal knowledge representation, the requirements of the maintenance process in general get less attention. Traceability from knowledge resources used in the organization to the sources of law used in their production is a central maintenance issue in administrative organizations. This paper explores a mediating knowledge representation for reconstruction of traces to sources of law and to implementation knowledge resources, that should be helpful for analysis of the impact of changing sources of law.
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
Preview
Unable to display preview. Download preview PDF.
References
Bench-Capon, T., Coenen, F.: Exploiting isomorphism: development of a KBS to support British coal insurance claims. In: Sergot, M. (ed.) Proceedings of the third International Conference on AI and Law, pp. 62–69. ACM, New York (1991)
Bench-Capon, T., Gordon, T.F.: Isomorphism and argumentation. In: ICAIL 2009: Proceedings of the 12th International Conference on Artificial Intelligence and Law, pp. 11–20. ACM, New York (2009)
Boer, A., van Engers, T.: Agile: From source of law to business process specification. In: Casellas, N., Francesconi, E., Hoekstra, R., Montemagni, S. (eds.) LOAIT 2009: 3rd Workshop on Legal Ontologies and Artificial Intelligence Techniques joint with 2nd Workshop on Semantic Processing of Legal Text, Barcelona, Spain, IDT-UAB. IDT Series, vol. 2, pp. 27–44 (2009)
Janssen, M.: Adaptability and accountability of information architectures in interorganizational networks. In: ICEGOV 2007: Proceedings of the 1st international conference on Theory and practice of electronic governance, pp. 57–64. ACM, New York (2007)
Gong, Y., Janssen, M., Overbeek, S., Zuurmond, A.: Enabling flexible processes by eca orchestration architecture. In: ICEGOV 2009: Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, pp. 19–26. ACM, New York (2009)
Boer, A., Winkels, R., Vitali, F.: Metalex XML and the Legal Knowledge Interchange Format. In: Sartor, G., Casanovas, P., Casellas, N., Rubino, R. (eds.) Computable Models of the Law. LNCS (LNAI), vol. 4884, pp. 21–41. Springer, Heidelberg (2008)
Boer, A., Vitali, F., de Maat, E.: CEN Workshop Agreement on MetaLex XML, an open XML Interchange Format for Legal and Legislative Resources (CWA 15710). Technical report, European Committee for Standardization, CEN (2006)
Breuker, J., Hoekstra, R.: Core concepts of law: taking common-sense seriously. In: Proceedings of Formal Ontologies in Information Systems, FOIS 2004, pp. 210–221. IOS Press, Amsterdam (2004)
Breuker, J.: A suite of problem types. In: Breuker, J., de Velde, W.V. (eds.) CommonKADS Library for Expertise Modelling, pp. 57–88. IOS Press/Ohmsha, Amsterdam/Tokyo (1994)
Scarantino, A.: Affordances explained. Philosophy of Science 70(5), 949–961 (2003)
Boer, A.: Legal Theory, Sources of Law, & the Semantic Web. Frontiers in Artificial Intelligence and Applications, p. 195. IOS Press, Amsterdam (2009)
Boer, A.: Metalex naming conventions and the semantic web. In: Governatori, G. (ed.) Legal Knowledge and Information Systems, pp. 31–36. IOS Press, Amsterdam (2009)
Saur, K.G.: Functional requirements for bibliographic records. UBCIM Publications - IFLA Section on Cataloguing 19 (1998)
Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in Defeasible Logic. Logic Jnl IGPL, jzp075 (2009)
Boer, A.: Using event descriptions for metadata about legal documents. In: Winkels, R., Francesconi, E. (eds.) Electronic Proceedings of the Workshop on Standards for Legislative XML, in conjunction with Jurix 2007 (2007)
MacCormick, N.: Norms, institutions, and institutional facts. Law and Philosophy 17(3), 301–345 (1998)
Hindriks, F.A.: Rules & Institutions; essays in meaning, speech and social ontology. PhD thesis, Erasmus University Rotterdam (2005)
Boella, G., Pigozzi, G., van der Torre, L.: Five guidelines for normative multiagent systems. In: Proceeding of the 2009 conference on Legal Knowledge and Information Systems, pp. 21–30. IOS Press, Amsterdam (2009)
Glimm, B., Horridge, M., Parsia, B., Patel-Schneider, P.F.: A syntax for rules in owl 2. In: OWL Experiences and Directions (OWLED 2009), Washington D.C., USA (2009)
Halaschek-Wiener, C., Katz, Y., Parsia, B.: Belief base revision for expressive description logics. In: Online Proceedings of the Second OWL: Experiences and Directions Workshop (OWLED), Athens, Georgia, USA (2006), http://owl-workshop.man.ac.uk/accepted06.shtml
Prakken, H., Sartor, G.: On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities. In: ICAIL 1995: Proceedings of the 5th international conference on Artificial intelligence and law, pp. 1–10. ACM, New York (1995)
Kowalski, R.A., Toni, F.: Abstract argumentation. Artificial Intelligence and Law 4, 275–296 (1996)
Borgo, S., Guarino, N., Masolo, C.: Stratified ontologies: The case of physical objects. In: Proceedings of the ECAI 1996 Workshop on Ontological Engineering (1996)
Smith, B.: An essay in formal ontology. Grazer Philosophische Studien 6, 39–62 (1978)
Boella, G., van der Torre, L.W.N.: Regulative and constitutive norms in normative multiagent systems. In: Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, Whistler, CA (2004)
Mazzarese, T.: Towards the semantics of “constitutive” in judicial reasoning. Ratio Iuris 12, 252–262 (1999)
Boella, G., van der Torre, L.W.N.: Obligations as social constructs. In: AI*IA, pp. 27–38 (2003)
Siena, A., Mylopoulos, J., Perini, A., Susi, A.: From laws to requirements. Requirements Engineering and Law, 6–10 (2008)
Governatori, G., Sadiq, S.: The journey to business process compliance. In: Handbook of Research on BPM, pp. 426–454. IGI Global (2009)
Fikes, R., Hayes, P., Horrocks, I.: Owl-ql–a language for deductive query answering on the semantic web. Web Semantics: Science, Services and Agents on the World Wide Web 2(1), 19–29 (2004)
Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in owl. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323–338. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boer, A., van Engers, T., Winkels, R. (2010). Traceability and Change in Legal Requirements Engineering. In: Casanovas, P., Pagallo, U., Sartor, G., Ajani, G. (eds) AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue. AICOL 2009. Lecture Notes in Computer Science(), vol 6237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16524-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-16524-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16523-8
Online ISBN: 978-3-642-16524-5
eBook Packages: Computer ScienceComputer Science (R0)