Abstract
In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR, SWRL and RIF. We also present the Legal Knowledge Interchange Format (LKIF), a new rule interchange format developed specifically for applications in the legal domain.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abate, F., Jewell, E.J. (eds.): New Oxford American Dictionary. Oxford University Press, Oxford (2001)
Architecture for Knowledge-Oriented Management of African Normative Texts using Open Standards and Ontologies (2009), http://www.akomantoso.org/
Arnold-Moore, T.: Automatic generation of amendment legislation. In: Proc. ICAIL 1997. ACM, New York (1997)
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)
Bench-Capon, T., Coenen, F.: Isomorphism and legal knowledge based systems. Artificial Intelligence and Law 1(1), 65–86 (1992)
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)
Boer, A., Hoekstra, R., Winkels, R.: Metalex: Legislation in XML. In: Proc. JURIX 2002. IOS Press, Amsterdam (2002)
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)
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)
ChLexML (2009), http://www.svri.ch/
ESTRELLA Project. Estrella user report. Deliverable 4.5, European Commission (2008)
ESTRELLA Project. The legal knowledge interchange format (LKIF). Deliverable 4.3, European Commission (2008)
ESTRELLA Project. The reference LKIF inference engine. Deliverable 4.3, European Commission (2008)
Goedertier, S., Vanthienen, J.: A declarative approach for flexible business. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5–14. Springer, Heidelberg (2006)
Gordon, T.F.: The Pleadings Game, An Artificial Intelligence Model of Procedural Justice. Springer, New York (1995), Book version of 1993 Ph.D. Thesis; University of Darmstadt (1995)
Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)
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)
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)
Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL (forthcoming)
Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proc. ICAIL 2005, pp. 25–34. ACM Press, New York (2005)
Grosof, B.: Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3(1), 2–20 (2004)
Hage, J.C.: Reasoning with Rules – An Essay on Legal Reasoning and its Underlying Logic. Kluwer Academic Publishers, Dordrecht (1997)
Kelsen, H.: General theory of norms. Clarendon, Oxford (1991)
Legal and Advice Sectors Metadata Scheme (LAMS5), http://www.lcd.gov.uk/consult/meta/metafr.htm
Loui, R.P.: Process and policy: resource-bounded non-demonstrative reasoning. Computational Intelligence 14, 1–38 (1998)
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)
Lupo, C., Vitali, F., Francesconi, E., Palmirani, M., Winkels, R., de Maat, E., Boer, A., Mascellani, 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)
McClure, J.: Legal-rdf vocabularies, requirements and design rationale. In: Proc. V Legislative XML Workshop, Florence. European Press (2006)
The OWL services coalition: OWL-S 1.2 pre-release (2006), http://www.ai.sri.com/daml/services/owl-s/1.2/
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)
Pesic, M., van der Aalst, W.: A declarative approach for flexible business. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006)
Prakken, H., Sartor, G.: A dialectical model of assessing conflicting argument in legal reasoning. Artificial Intelligence and Law 4(3-4), 331–368 (1996)
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)
Rotolo, A., Sartor, G., Smith, C.: Good faith in contract negotiation and performance. International Journal of Business Process Integration and Management 5(4) (2009)
Rubino, R., Rotolo, A., Sartor, G.: An OWL ontology of fundamental legal concepts. In: Proc. JURIX 2006, pp. 101–110 (2006)
RuleML. The Rule Markup Initiative August 20 (2009), http://www.ruleml.org
Sadiq, S., Orlowska, M., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems 30(5), 349–378 (2005)
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)
OMG: Semantics of business vocabulary and business rules (SBVR) (2008), http://www.businessrulesgroup.org/sbvr.shtml
Sergot, M.: A computational theory of normative positions. ACM Transactions on Computational Logic 2(4), 581–622 (2001)
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)
Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semantics 5(2), 51–53 (2007)
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)
Verheij, B.: Rules, Reasons, Arguments. Formal Studies of Argumentation and Defeat. Ph.d., Universiteit Maastricht (1996)
von Wright, G.H.: Norm and Action. Routledge, London (1963)
Waagbø, G.: Quantified modal logic with neighborhood semantics. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38, 491–499 (1992)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gordon, T.F., Governatori, G., Rotolo, A. (2009). Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain. In: Governatori, G., Hall, J., Paschke, A. (eds) Rule Interchange and Applications. RuleML 2009. Lecture Notes in Computer Science, vol 5858. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04985-9_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-04985-9_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04984-2
Online ISBN: 978-3-642-04985-9
eBook Packages: Computer ScienceComputer Science (R0)