Traceability and change in legal requirements engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6237 LNAI, Issue M4D, 2010, Pages 74-92

  Boer, Alexander ^a   Van Engers, Tom ^a   Winkels, Radboud ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE ORGANIZATIONS; KNOWLEDGE RESOURCE; LEGAL KNOWLEDGE REPRESENTATION; MAINTENANCE PROCESS;

MAINTENANCE; ONTOLOGY; SEMANTIC WEB;

KNOWLEDGE REPRESENTATION;

EID: 78649563143     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16524-5_6     Document Type: Conference Paper

References (31)

1. 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)
2. 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)
3. 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)
4. 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)
5. 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)
6. 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)
7. Boer, A., Vitali, F., deMaat, E.: CENWorkshop Agreement onMetaLex XML, an open XML Interchange Format for Legal and Legislative Resources (CWA 15710). Technical report, European Committee for Standardization, CEN (2006)
8. 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)
9. 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)
10. Scarantino, A.: Affordances explained. Philosophy of Science 70(5), 949-961 (2003)
11. Boer, A.: Legal Theory, Sources of Law, & the Semantic Web. Frontiers in Artificial Intelligence and Applications, p. 195. IOS Press, Amsterdam (2009)
12. 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)
13. Saur, K.G.: Functional requirements for bibliographic records. UBCIM Publications - IFLA Section on Cataloguing 19 (1998)
14. Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in Defeasible Logic. Logic Jnl IGPL, jzp075 (2009)
15. 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)
16. MacCormick, N.: Norms, institutions, and institutional facts. Law and Philosophy 17(3), 301-345 (1998)
17. Hindriks, F.A.: Rules & Institutions; essays in meaning, speech and social ontology. PhD thesis, Erasmus University Rotterdam (2005)
18. 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)
19. 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)
20. 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),
21. 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)
22. Kowalski, R.A., Toni, F.: Abstract argumentation. Artificial Intelligence and Law 4, 275-296 (1996)
23. Borgo, S., Guarino, N., Masolo, C.: Stratified ontologies: The case of physical objects. In: Proceedings of the ECAI 1996 Workshop on Ontological Engineering (1996)
24. Smith, B.: An essay in formal ontology. Grazer Philosophische Studien 6, 39-62 (1978)
25. 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)
26. Mazzarese, T.: Towards the semantics of 'constitutive' in judicial reasoning. Ratio Iuris 12, 252-262 (1999)
27. Boella, G., van der Torre, L.W.N.: Obligations as social constructs. In: AIIA, pp. 27-38 (2003)
28. Siena, A., Mylopoulos, J., Perini, A., Susi, A.: From laws to requirements. Requirements Engineering and Law, 6-10 (2008)
29. Governatori, G., Sadiq, S.: The journey to business process compliance. In: Handbook of Research on BPM, pp. 426-454. IGI Global (2009)
30. 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)
31. 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)