{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T05:50:00Z","timestamp":1763358600333,"version":"3.41.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319420189"},{"type":"electronic","value":"9783319420196"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42019-6_16","type":"book-chapter","created":{"date-parts":[[2016,6,27]],"date-time":"2016-06-27T02:04:53Z","timestamp":1466993093000},"page":"241-257","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Enabling Reasoning with LegalRuleML"],"prefix":"10.1007","author":[{"given":"Ho-Pun","family":"Lam","sequence":"first","affiliation":[]},{"given":"Mustafa","family":"Hashmi","sequence":"additional","affiliation":[]},{"given":"Brendan","family":"Scofield","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A flexible framework for defeasible logics. In: Proceedings of the 17th National Conference on Artificial Intelligence, pp. 405\u2013410. AAAI Press\/The MIT Press (2000)","key":"16_CR1"},{"issue":"2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic 2(2), 255\u2013286 (2001)","journal-title":"ACM Trans. Comput. Logic"},{"doi-asserted-by":"crossref","unstructured":"Athan, T., Boley, H., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: OASIS LegalRuleML. In: International Conference on Artificial Intelligence and Law, ICAIL 2013, Rome, Italy, pp. 3\u201312, 10\u201314 June 2013","key":"16_CR3","DOI":"10.1145\/2514601.2514603"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-21768-0_6","volume-title":"Reasoning Web. Web Logic Rules","author":"T Athan","year":"2015","unstructured":"Athan, T., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: LegalRuleML: design principles and foundations. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 151\u2013188. Springer, Heidelberg (2015)"},{"unstructured":"Baget, J., Gutierrez, A., Lecl\u00e8re, M., Mugnier, M., Rocher, S., Sipieter, C.: Datalog+, RuleML and OWL 2: formats and translations for existential rules. In: RuleML 2015 Challenge, Berlin, Germany, 2\u20135 August 2015","key":"16_CR5"},{"doi-asserted-by":"crossref","unstructured":"Carmo, J., Jones, J.: Deontic Logic and Contrary to duties. In: Handbook of Philosophical Logic, 2nd edn., pp. 265\u2013343. Kulwer, Dordrech (2002)","key":"16_CR6","DOI":"10.1007\/978-94-010-0387-2_4"},{"unstructured":"ESTRELLA Project: The Legal Knowledge Interchange Format (LKIF), Deliverable 4.1, European Commission (2008). http:\/\/www.estrellaproject.org\/","key":"16_CR7"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11837862_2","volume-title":"Business Process Management Workshops","author":"S Goedertier","year":"2006","unstructured":"Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5\u201314. Springer, Heidelberg (2006)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-04985-9_26","volume-title":"Rule Interchange and Applications","author":"TF Gordon","year":"2009","unstructured":"Gordon, T.F., Governatori, G., Rotolo, A.: Rules and norms: requirements for rule interchange languages in the legal domain. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 282\u2013296. Springer, Heidelberg (2009)"},{"issue":"2\u20133","key":"16_CR10","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. Int. J. Coop. Inf. Syst. 14(2\u20133), 181\u2013216 (2005)","journal-title":"Int. J. Coop. Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Governatori, G., Milosevic, Z.: Dealing with contract violations: formalism and domain specific language. In: EDOC 2005, pp. 46\u201357. IEEE Computer Society (2005)","key":"16_CR11","DOI":"10.1109\/EDOC.2005.13"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-24908-2_29","volume-title":"Proceedings of the 5th International Symposium on Rule-Based Modeling and Computing on the Semantic Web (RuleML 2011)","author":"G Governatori","year":"2011","unstructured":"Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Designing for compliance: norms and goals. In: Palmirani, M. (ed.) RuleML - America 2011. LNCS, vol. 7018, pp. 282\u2013297. Springer, Heidelberg (2011)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-25927-5_8","volume-title":"Deontic Logic in Computer Science","author":"G Governatori","year":"2004","unstructured":"Governatori, G., Rotolo, A.: Defeasible logic: agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 114\u2013128. Springer, Heidelberg (2004)"},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","volume":"4","author":"G Governatori","year":"2006","unstructured":"Governatori, G., Rotolo, A.: Logic of violations: a gentzen system for reasoning with contrary-to-duty obligations. Australas. J. Logic 4, 193\u2013215 (2006)","journal-title":"Australas. J. Logic"},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10506-007-9056-y","volume":"16","author":"G Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: A computational framework for institutional agency. Artif. Intell. Law 16(1), 25\u201352 (2008)","journal-title":"Artif. Intell. Law"},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: BIO logical agents: norms, beliefs, intentions in defeasible logic. Auton. Agent. Multi-Agent Syst. 17(1), 36\u201369 (2008)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"doi-asserted-by":"crossref","unstructured":"Grosof, B., Poon, T.C.: SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In: The 12th International World Wide Web Conference, pp. 340\u2013349 (2012)","key":"16_CR17","DOI":"10.1145\/775152.775200"},{"issue":"1","key":"16_CR18","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.elerap.2003.09.005","volume":"3","author":"BN Grosof","year":"2004","unstructured":"Grosof, B.N.: Representing e-commerce rules via situated courteous logic programs in RuleML. Electron. Commer. Res. Appl. 3(1), 2\u201320 (2004)","journal-title":"Electron. Commer. Res. Appl."},{"issue":"3","key":"16_CR19","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s10796-015-9558-1","volume":"18","author":"M Hashmi","year":"2016","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Normative requirements for regulatory compliance: an abstract formal framework. Inf. Syst. Front. 18(3), 429\u2013455 (2016). doi: 10.1007\/s10796-015-9558-1","journal-title":"Inf. Syst. Front."},{"unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language (2004). https:\/\/www.w3.org\/Submission\/SWRL\/","key":"16_CR20"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-16289-3_14","volume-title":"Semantic Web Rules","author":"A Kamada","year":"2010","unstructured":"Kamada, A., Governatori, G., Sadiq, S.: Transformation of SBVR compliant business rules to executable FCL rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 153\u2013161. Springer, Heidelberg (2010)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-04985-9_29","volume-title":"Rule Interchange and Applications","author":"H-P Lam","year":"2009","unstructured":"Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315\u2013322. Springer, Heidelberg (2009)"},{"unstructured":"OASIS LegalRuleML Technical Committee: LegalRuleML Technical Committee Specifications (2015). https:\/\/www.oasis-open.org\/committees\/legalruleml\/charter.php , retrieved 12","key":"16_CR23"},{"unstructured":"Object Management Group (OMG): Semantics of Business Vocabulary And Rules (SBVR). OMG (2008). http:\/\/www.omg.org\/spec\/SBVR","key":"16_CR24"},{"key":"16_CR25","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.B.: 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\u2013217. Springer, Heidelberg (2005)"},{"key":"16_CR26","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.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"issue":"1","key":"16_CR27","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. Appl. Ontol. 1(1), 77\u2013106 (2005)","journal-title":"Appl. Ontol."},{"key":"16_CR28","volume-title":"The Construction of Social Reality","author":"JR Searle","year":"1997","unstructured":"Searle, J.R.: The Construction of Social Reality. Free Press, New York (1997)"},{"unstructured":"The OWL Services Coalition: OWL-S 1.2 Release (2008). http:\/\/www.daml.org\/services\/owl-s\/","key":"16_CR29"},{"unstructured":"Voj\u00edr, S., Kliegr, T., Hazucha, A., Skrabal, R., Simunek, M.: Transforming association rules to business rules: easyminer meets drools. In: Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium. Seattle, USA, July 2013","key":"16_CR30"},{"unstructured":"W3C RIF Working Group: RIF: Rule Interchange Format (2005). https:\/\/www.w3.org\/standards\/techs\/rif","key":"16_CR31"},{"unstructured":"Wood, G.: Ethereum: A Secure Decentralised Generalised Transaction Ledger (2014). http:\/\/gavwood.com\/paper.pdf , Accessed December","key":"16_CR32"}],"container-title":["Lecture Notes in Computer Science","Rule Technologies. Research, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42019-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T22:51:06Z","timestamp":1748991066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42019-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319420189","9783319420196"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42019-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"28 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}