Rules and norms: Requirements for rule interchange languages in the legal domain

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

Volumn 5858 LNCS, Issue , 2009, Pages 282-296

  Gordon, Thomas F ^a   Governatori, Guido ^b   Rotolo, Antonino ^c  

^a FRAUNHOFER FOKUS   (Germany)

^b CSIRO   (Australia)

^c UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INTERCHANGE FORMATS; LEGAL DOMAINS; LEGAL KNOWLEDGE;

COMPUTER PROGRAMMING LANGUAGES; LINGUISTICS;

INTERCHANGES;

EID: 70649106325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04985-9_26     Document Type: Conference Paper

References (48)

1. Abate, F., Jewell, E.J. (eds.): New Oxford American Dictionary. Oxford University Press, Oxford (2001)
2. Architecture for Knowledge-Oriented Management of African Normative Texts using Open Standards and Ontologies (2009), http://www.akomantoso.org/
3. Arnold-Moore, T.: Automatic generation of amendment legislation. In: Proc. ICAIL 1997. ACM, New York (1997)
4. Bench-Capon, T.: The missing link revisted: The role of teleology in representing legal argument. Artificial Intelligence and Law 10(1-3), 79-94 (2002)
5. Bench-Capon, T., Coenen, F.: Isomorphism and legal knowledge based systems. Artificial Intelligence and Law 1(1), 65-86 (1992)
6. Benjamins, V.R., Casanovas, P., Breuker, J., Gangemi, A. (eds.): Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval and Applications. Springer, Heidelberg (2005)
7. Boer, A., Hoekstra, R., Winkels, R.: Metalex: Legislation in XML. In: Proc. JURIX 2002. IOS Press, Amsterdam (2002)
8. Boley, H., Tabet, S., Wagner, G.: Design rationale for RuleML: A markup language for Semantic Web rules. In: Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) Proc. SWWS 2001, The first Semantic Web Working Symposium, pp. 381-401 (2001)
9. Carmo, J., Jones, A.J.: Deontic logic and contrary to duties. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 265-343. Kluwer, Dordrecht (2002)
10. ChLexML (2009), http://www.svri.ch/
11. ESTRELLA Project. Estrella user report. Deliverable 4.5, European Commission (2008)
12. ESTRELLA Project. The legal knowledge interchange format (LKIF). Deliverable 4.3, European Commission (2008)
13. ESTRELLA Project. The reference LKIF inference engine. Deliverable 4.3, European Commission (2008)
14. Goedertier, S., Vanthienen, J.: A declarative approach for flexible business. In: Eder, J., Dust-dar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5-14. Springer, Heidelberg (2006)
15. Gordon, T.F.: The Pleadings Game, An Artificial Intelligence Model of Procedural Justice. Springer, New York (1995),
16. Book version of 1993 Ph.D. Thesis; University of Darmstadt (1995)
17. Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181-216 (2005)
18. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proc. EDOC 2006, pp. 221-232. IEEE, Los Alamitos (2006)
19. Governatori, G., Pham, D.H.: Dr-contract: An architecture for e-contracts in defeasible logic. International Journal of Business Process Integration and Management 5(4) (2009)
20. Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL (forthcoming)
21. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proc. ICAIL 2005, pp. 25-34. ACM Press, New York (2005)
22. Grosof, B.: Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3(1), 2-20 (2004)
23. Hage, J.C.: Reasoning with Rules - An Essay on Legal Reasoning and its Underlying Logic. Kluwer Academic Publishers, Dordrecht (1997)
24. Kelsen, H.: General theory of norms. Clarendon, Oxford (1991)
25. Legal and Advice Sectors Metadata Scheme (LAMS5), http://www.lcd.gov.uk/ consult/meta/metafr.htm
26. Loui, R.P.: Process and policy: resource-bounded non-demonstrative reasoning. Computational Intelligence 14, 1-38 (1998)
27. Lupo, C., Batini, C.: A federative approach to laws access by citizens: The Normeinrete system. In: Traunmüller, R. (ed.) EGOV 2003. LNCS, vol. 2739, pp. 413-416. Springer, Heidelberg (2003)
28. Lupo, C., Vitali, F., Francesconi, E., Palmirani, M., Winkels, R., de Maat, E., Boer, A., Ma-scellani, P.: General XML format(s) for legal sources. Technical report, IST-2004-027655 ESTRELLA European project for Standardised Transparent Representations in order to Extend Legal Accessibility: Deliverable 3.1 (2007)
29. McClure, J.: Legal-rdf vocabularies, requirements and design rationale. In: Proc. V Legislative XML Workshop, Florence. European Press (2006)
30. The OWL services coalition: OWL-S 1.2 pre-release (2006), http://www.ai.sri.com/daml/services/owl-s/1.2/
31. Paschke, A., Bichler, M., Dietrich, J.: Contractlog: An approach to rule based monitoring and execution of service level agreements. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 209-217. Springer, Heidelberg (2005)
32. Pesic, M., van der Aalst, W.: A declarative approach for flexible business. In: Eder, J., Dust-dar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
33. Prakken, H., Sartor, G.: A dialectical model of assessing conflicting argument in legal reasoning. Artificial Intelligence and Law 4(3-4), 331-368 (1996)
34. Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web service modeling ontology. Applied Ontology 1(1), 77-106 (2005)
35. Rotolo, A., Sartor, G., Smith, C.: Good faith in contract negotiation and performance. International Journal of Business Process Integration and Management 5(4) (2009)
36. Rubino, R., Rotolo, A., Sartor, G.: An OWL ontology of fundamental legal concepts. In: Proc. JURIX 2006, pp. 101-110 (2006)
37. RuleML. The Rule Markup Initiative August 20 (2009), http://www.ruleml. org
38. Sadiq, S., Orlowska, M., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems 30(5), 349-378 (2005)
39. Sartor, G.: Legal reasoning: A cognitive approach to the law. In: Pattaro, E., Rottleuthner, H., Shiner, R., Peczenik, A., Sartor, G. (eds.) A Treatise of Legal Philosophy and General Jurisprudence, vol. 5. Springer, Heidelberg (2005)
40. OMG: Semantics of business vocabulary and business rules (SBVR) (2008), http://www.businessrulesgroup.org/sbvr.shtml
41. Sergot, M.: A computational theory of normative positions. ACM Transactions on Computational Logic 2(4), 581-622 (2001)
42. Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., Cory, H.: The British Nationality Act as a logic program. Communications of the ACM 29(5), 370-386 (1986)
43. Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semantics 5(2), 51-53 (2007)
44. van der Aalst, W., Weske, M., Grünbauer, D.: Case handling: a new paradigm for business process support. Data Knowledge Engineering 53(2), 129-162 (2005)
45. Verheij, B.: Rules, Reasons, Arguments. Formal Studies of Argumentation and Defeat. Ph.d., Universiteit Maastricht (1996)
46. von Wright, G.H.: Norm and Action. Routledge, London (1963)
47. Waagbø, G.: Quantified modal logic with neighborhood semantics. Zeitschrift für Mathema-tische Logik und Grundlagen der Mathematik 38, 491-499 (1992)
48. Wagner, G., Antoniou, G., Tabet, S., Boley, H.: The abstract syntax of RuleML - towards a general web rule language framework. In: Proc. Web Intelligence 2004, pp. 628-631. IEEE, Los Alamitos (2004)