{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T03:41:32Z","timestamp":1774669292816,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642049842","type":"print"},{"value":"9783642049859","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04985-9_26","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T03:55:08Z","timestamp":1257306908000},"page":"282-296","source":"Crossref","is-referenced-by-count":49,"title":["Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain"],"prefix":"10.1007","author":[{"given":"Thomas F.","family":"Gordon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","volume-title":"New Oxford American Dictionary","year":"2001","unstructured":"Abate, F., Jewell, E.J. (eds.): New Oxford American Dictionary. Oxford University Press, Oxford (2001)"},{"key":"26_CR2","unstructured":"Architecture for Knowledge-Oriented Management of African Normative Texts using Open Standards and Ontologies (2009), http:\/\/www.akomantoso.org\/"},{"key":"26_CR3","volume-title":"Proc. ICAIL 1997","author":"T. Arnold-Moore","year":"1997","unstructured":"Arnold-Moore, T.: Automatic generation of amendment legislation. In: Proc. ICAIL 1997. ACM, New York (1997)"},{"issue":"1-3","key":"26_CR4","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1023\/A:1019501830692","volume":"10","author":"T. Bench-Capon","year":"2002","unstructured":"Bench-Capon, T.: The missing link revisted: The role of teleology in representing legal argument. Artificial Intelligence and Law\u00a010(1-3), 79\u201394 (2002)","journal-title":"Artificial Intelligence and Law"},{"issue":"1","key":"26_CR5","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00118479","volume":"1","author":"T. Bench-Capon","year":"1992","unstructured":"Bench-Capon, T., Coenen, F.: Isomorphism and legal knowledge based systems. Artificial Intelligence and Law\u00a01(1), 65\u201386 (1992)","journal-title":"Artificial Intelligence and Law"},{"key":"26_CR6","volume-title":"Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval and Applications","year":"2005","unstructured":"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)"},{"key":"26_CR7","volume-title":"Proc. JURIX 2002","author":"A. Boer","year":"2002","unstructured":"Boer, A., Hoekstra, R., Winkels, R.: Metalex: Legislation in XML. In: Proc. JURIX 2002. IOS Press, Amsterdam (2002)"},{"key":"26_CR8","unstructured":"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\u2013401 (2001)"},{"key":"26_CR9","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","volume-title":"Handbook of Philosophical Logic","author":"J. Carmo","year":"2002","unstructured":"Carmo, J., Jones, A.J.: Deontic logic and contrary to duties. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a08, pp. 265\u2013343. Kluwer, Dordrecht (2002)","edition":"2"},{"key":"26_CR10","unstructured":"ChLexML (2009), http:\/\/www.svri.ch\/"},{"key":"26_CR11","unstructured":"ESTRELLA Project. Estrella user report. Deliverable 4.5, European Commission (2008)"},{"key":"26_CR12","unstructured":"ESTRELLA Project. The legal knowledge interchange format (LKIF). Deliverable 4.3, European Commission (2008)"},{"key":"26_CR13","unstructured":"ESTRELLA Project. The reference LKIF inference engine. Deliverable 4.3, European Commission (2008)"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/11837862_2","volume-title":"BPM Workshops 2006","author":"S. Goedertier","year":"2006","unstructured":"Goedertier, S., Vanthienen, J.: A declarative approach for flexible business. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 5\u201314. Springer, Heidelberg (2006)"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/158976.158978"},{"issue":"2-3","key":"26_CR16","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems\u00a014(2-3), 181\u2013216 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"26_CR17","first-page":"221","volume-title":"Proc. EDOC 2006","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proc. EDOC 2006, pp. 221\u2013232. IEEE, Los Alamitos (2006)"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Governatori, G., Pham, D.H.: Dr-contract: An architecture for e-contracts in defeasible logic. International Journal of Business Process Integration and Management\u00a05(4) (2009)","DOI":"10.1504\/IJBPIM.2009.030985"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL (forthcoming)","DOI":"10.1093\/jigpal\/jzp075"},{"key":"26_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1165485.1165490","volume-title":"Proc. ICAIL 2005","author":"G. Governatori","year":"2005","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proc. ICAIL 2005, pp. 25\u201334. ACM Press, New York (2005)"},{"issue":"1","key":"26_CR21","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.elerap.2003.09.005","volume":"3","author":"B. Grosof","year":"2004","unstructured":"Grosof, B.: Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications\u00a03(1), 2\u201320 (2004)","journal-title":"Electronic Commerce Research and Applications"},{"key":"26_CR22","volume-title":"Reasoning with Rules \u2013 An Essay on Legal Reasoning and its Underlying Logic","author":"J.C. Hage","year":"1997","unstructured":"Hage, J.C.: Reasoning with Rules \u2013 An Essay on Legal Reasoning and its Underlying Logic. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"26_CR23","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198252177.001.0001","volume-title":"General theory of norms","author":"H. Kelsen","year":"1991","unstructured":"Kelsen, H.: General theory of norms. Clarendon, Oxford (1991)"},{"key":"26_CR24","unstructured":"Legal and Advice Sectors Metadata Scheme (LAMS5), http:\/\/www.lcd.gov.uk\/consult\/meta\/metafr.htm"},{"key":"26_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/0824-7935.00055","volume":"14","author":"R.P. Loui","year":"1998","unstructured":"Loui, R.P.: Process and policy: resource-bounded non-demonstrative reasoning. Computational Intelligence\u00a014, 1\u201338 (1998)","journal-title":"Computational Intelligence"},{"key":"26_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/10929179_74","volume-title":"Electronic Government","author":"C. Lupo","year":"2003","unstructured":"Lupo, C., Batini, C.: A federative approach to laws access by citizens: The Normeinrete system. In: Traunm\u00fcller, R. (ed.) EGOV 2003. LNCS, vol.\u00a02739, pp. 413\u2013416. Springer, Heidelberg (2003)"},{"key":"26_CR27","unstructured":"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)"},{"key":"26_CR28","unstructured":"McClure, J.: Legal-rdf vocabularies, requirements and design rationale. In: Proc. V Legislative XML Workshop, Florence. European Press (2006)"},{"key":"26_CR29","unstructured":"The OWL services coalition: OWL-S 1.2 pre-release (2006), http:\/\/www.ai.sri.com\/daml\/services\/owl-s\/1.2\/"},{"key":"26_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/11580072_19","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"A. Paschke","year":"2005","unstructured":"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.\u00a03791, pp. 209\u2013217. Springer, Heidelberg (2005)"},{"key":"26_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.: A declarative approach for flexible business. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"issue":"3-4","key":"26_CR32","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00118496","volume":"4","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sartor, G.: A dialectical model of assessing conflicting argument in legal reasoning. Artificial Intelligence and Law\u00a04(3-4), 331\u2013368 (1996)","journal-title":"Artificial Intelligence and Law"},{"issue":"1","key":"26_CR33","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"D. Roman","year":"2005","unstructured":"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\u00a01(1), 77\u2013106 (2005)","journal-title":"Applied Ontology"},{"key":"26_CR34","doi-asserted-by":"crossref","unstructured":"Rotolo, A., Sartor, G., Smith, C.: Good faith in contract negotiation and performance. International Journal of Business Process Integration and Management\u00a05(4) (2009)","DOI":"10.1504\/IJBPIM.2009.030983"},{"key":"26_CR35","unstructured":"Rubino, R., Rotolo, A., Sartor, G.: An OWL ontology of fundamental legal concepts. In: Proc. JURIX 2006, pp. 101\u2013110 (2006)"},{"key":"26_CR36","unstructured":"RuleML. The Rule Markup Initiative August 20 (2009), http:\/\/www.ruleml.org"},{"issue":"5","key":"26_CR37","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S. Sadiq","year":"2005","unstructured":"Sadiq, S., Orlowska, M., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems\u00a030(5), 349\u2013378 (2005)","journal-title":"Information Systems"},{"key":"26_CR38","volume-title":"A Treatise of Legal Philosophy and General Jurisprudence","author":"G. Sartor","year":"2005","unstructured":"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.\u00a05. Springer, Heidelberg (2005)"},{"key":"26_CR39","unstructured":"OMG: Semantics of business vocabulary and business rules (SBVR) (2008), http:\/\/www.businessrulesgroup.org\/sbvr.shtml"},{"issue":"4","key":"26_CR40","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1145\/383779.383786","volume":"2","author":"M. Sergot","year":"2001","unstructured":"Sergot, M.: A computational theory of normative positions. ACM Transactions on Computational Logic\u00a02(4), 581\u2013622 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"5","key":"26_CR41","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M. Sergot","year":"1986","unstructured":"Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., Cory, H.: The British Nationality Act as a logic program. Communications of the ACM\u00a029(5), 370\u2013386 (1986)","journal-title":"Communications of the ACM"},{"issue":"2","key":"26_CR42","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semantics\u00a05(2), 51\u201353 (2007)","journal-title":"Web Semantics"},{"issue":"2","key":"26_CR43","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"W. Aalst van der","year":"2005","unstructured":"van der Aalst, W., Weske, M., Gr\u00fcnbauer, D.: Case handling: a new paradigm for business process support. Data Knowledge Engineering\u00a053(2), 129\u2013162 (2005)","journal-title":"Data Knowledge Engineering"},{"key":"26_CR44","unstructured":"Verheij, B.: Rules, Reasons, Arguments. Formal Studies of Argumentation and Defeat. Ph.d., Universiteit Maastricht (1996)"},{"key":"26_CR45","volume-title":"Norm and Action","author":"G.H. Wright von","year":"1963","unstructured":"von Wright, G.H.: Norm and Action. Routledge, London (1963)"},{"key":"26_CR46","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1002\/malq.19920380144","volume":"38","author":"G. Waagb\u00f8","year":"1992","unstructured":"Waagb\u00f8, G.: Quantified modal logic with neighborhood semantics. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a038, 491\u2013499 (1992)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"26_CR47","first-page":"628","volume-title":"Proc. Web Intelligence 2004","author":"G. Wagner","year":"2004","unstructured":"Wagner, G., Antoniou, G., Tabet, S., Boley, H.: The abstract syntax of RuleML \u2013 towards a general web rule language framework. In: Proc. Web Intelligence 2004, pp. 628\u2013631. IEEE, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Rule Interchange and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04985-9_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T01:55:44Z","timestamp":1739411744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04985-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049842","9783642049859"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04985-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}