{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:17:08Z","timestamp":1767140228697,"version":"build-2238731810"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s00766-019-00323-y","type":"journal-article","created":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:02:40Z","timestamp":1564963360000},"page":"383-412","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modular norm models: practical representation and analysis of contractual rights and obligations"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7020-0636","authenticated-orcid":false,"given":"Sayonnha","family":"Mandal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robin","family":"Gandhi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harvey","family":"Siy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,5]]},"reference":[{"key":"323_CR1","doi-asserted-by":"crossref","unstructured":"Abend O, Rappoport A (2017) The state of the art in semantic representation. In: Proceedings of the 55th annual meeting of the association for computational linguistics, pp 77\u201389","DOI":"10.18653\/v1\/P17-1008"},{"key":"323_CR2","unstructured":"Affero (2002) Affero general public license v1.0. \nhttps:\/\/spdx.org\/licenses\/AGPL-1.0.html\n\n. Accessed 15 Aug 2018"},{"issue":"1\u20132","key":"323_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0004-3702(03)00109-7","volume":"150","author":"KD Ashley","year":"2003","unstructured":"Ashley KD, Rissland EL (2003) Law, learning and representation. Artif Intell 150(1\u20132):17\u201358","journal-title":"Artif Intell"},{"key":"323_CR4","unstructured":"Baker CF, Fillmore CJ, Lowe JB (1998) The Berkeley FrameNet project. In: Proceedings of the 17th international conference on computational linguistics-volume 1. Association for Computational Linguistics, 1998"},{"key":"323_CR5","unstructured":"Banarescu L, Bonial C, Cai S, Georgescu M, Griffitt K, Hermjakob U, Knight K, Koehn P, Palmer M, Schneider N (2013) Abstract meaning representation for sembanking. In: Proceedings of the 7th linguistic annotation workshop and interoperability with discourse, pp 178\u2013186"},{"key":"323_CR6","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-319-70278-0_31","volume-title":"Financial cryptography and data security","author":"M Bartoletti","year":"2017","unstructured":"Bartoletti M, Pompianu L (2017) An empirical analysis of smart contracts: platforms, applications, and design patterns. In: Brenner M, Rohloff K, Bonneau J, Miller A, Ryan PYA, Teague V, Bracciali A, Sala M, Pintore F, Jakobsson M (eds) Financial cryptography and data security. Springer, Cham, pp 494\u2013509"},{"key":"323_CR7","doi-asserted-by":"publisher","first-page":"2008","DOI":"10.1007\/978-0-387-39940-9_1073","volume-title":"Encyclopedia of database systems","author":"S Bechhofer","year":"2009","unstructured":"Bechhofer S (2009) OWL: web ontology language. In: Liu L, \u00d6zsu MT (eds) Encyclopedia of database systems. Springer, Boston, pp 2008\u20132009"},{"key":"323_CR8","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJ, Visser PR (1997) Open texture and ontologies in legal information systems. In: Proceedings, eighth international workshop on database and expert systems applications. IEEE, pp 192\u2013197","DOI":"10.1109\/DEXA.1997.617268"},{"key":"323_CR9","doi-asserted-by":"crossref","unstructured":"Bhargavan K, Delignat-Lavaud A, Fournet C, Gollamudi A, Gonthier G, Kobeissi N, Kulatova N et al (2016) Formal verification of smart contracts: short paper. In: Proceedings of the 2016 ACM workshop on programming languages and analysis for security. ACM, pp 91\u201396","DOI":"10.1145\/2993600.2993611"},{"key":"323_CR10","doi-asserted-by":"crossref","unstructured":"Biagioli C, Francesconi E, Passerini A, Montemagni S, Soria C (2005) Automatic semantics extraction in law documents. In: Proceedings of the 10th international conference on artificial intelligence and law. ACM, pp 133\u2013140","DOI":"10.1145\/1165485.1165506"},{"key":"323_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-94-007-0120-5_9","volume-title":"Approaches to legal ontologies","author":"MA Biasiotti","year":"2011","unstructured":"Biasiotti MA, Tiscornia D (2011) Legal ontologies: the linguistic perspective. In: Sartor G, Casanovas P, Biasiotti M, Fern\u00e1ndez-Barrera M (eds) Approaches to legal ontologies. Springer, Netherlands, pp 143\u2013166"},{"key":"323_CR12","doi-asserted-by":"crossref","unstructured":"Breaux TD, Vail MW, Anton AI (2006) Towards regulatory compliance: extracting rights and obligations to align requirements with regulations. In: Proceedings of the 14th IEEE international requirements engineering conference (RE\u201906), Minneapolis\/St. Paul, MN, pp 49\u201358","DOI":"10.1109\/RE.2006.68"},{"key":"323_CR13","unstructured":"Breaux TD, Ant\u00f3n AI (2007) A systematic method for acquiring regulatory requirements: a frame-based approach. In: RHAS-6, Delhi, India"},{"key":"323_CR14","unstructured":"Breaux TD, Gordon DG (2013) Regulatory requirements traceability and analysis using semi-formal specifications. In: REFSQ 2013, pp 141\u2013157"},{"key":"323_CR15","doi-asserted-by":"crossref","unstructured":"Br\u00fcninghaus S, Ashley KD (2001) Improving the representation of legal case texts with information extraction methods. In: Proceedings of the 8th international conference on artificial intelligence and law. ACM, pp 42\u201351","DOI":"10.1145\/383535.383540"},{"key":"323_CR16","doi-asserted-by":"crossref","unstructured":"Camilleri JJ, Paganelli G, Schneider G (2014) A CNL for contract-oriented diagrams. In: Workshop on controlled natural language (CNL 2014), volume 8625 of LNCS. Springer, pp 135\u2013146","DOI":"10.1007\/978-3-319-10223-8_13"},{"issue":"1","key":"323_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1162\/COLI_a_00163","volume":"40","author":"D Das","year":"2014","unstructured":"Das D et al (2014) Frame-semantic parsing. Comput Linguist 40(1):9\u201356","journal-title":"Comput Linguist"},{"key":"323_CR18","volume-title":"An introduction to rights, series Cambridge introductions to philosophy and law","author":"WA Edmundson","year":"2004","unstructured":"Edmundson WA (2004) An introduction to rights, series Cambridge introductions to philosophy and law. Cambridge University Press, Cambridge"},{"key":"323_CR19","unstructured":"Fillmore CJ (1982) Frame semantics. In: The Linguistic Society of Korea (ed) Linguistics in the morning calm, pp 111\u2013137"},{"issue":"11","key":"323_CR20","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N","volume":"30","author":"ER Gansner","year":"2000","unstructured":"Gansner ER, North SC (2000) An open graph visualization system and its applications to software engineering. Softw Pract Exp 30(11):1203\u20131233","journal-title":"Softw Pract Exp"},{"key":"323_CR21","doi-asserted-by":"crossref","unstructured":"Ghanavati S, Amyot D, Rifaut A (2014) Legal goal-oriented requirement language (legal GRL) for modeling regulations. In: 6th international workshop on modeling in software engineering. ACM, pp 1\u20136","DOI":"10.1145\/2593770.2593780"},{"issue":"3","key":"323_CR22","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1162\/089120102760275983","volume":"28","author":"D Gildea","year":"2002","unstructured":"Gildea D, Jurafsky D (2002) Automatic labeling of semantic roles. Comput Linguist 28(3):245\u2013288","journal-title":"Comput Linguist"},{"key":"323_CR23","doi-asserted-by":"crossref","unstructured":"Grishchenko I, Maffei M, Schneidewind C (2018) A semantic framework for the security analysis of Ethereum smart contracts. In: International conference on principles of security and trust. Springer, pp 243\u2013269","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"323_CR24","unstructured":"HIPAA (1996) Health insurance portability and accountability act of 1996, Pub. L. No. 104-191, 110 Stat. 1936"},{"key":"323_CR25","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/785533","volume":"23","author":"WN Hohfeld","year":"1913","unstructured":"Hohfeld WN (1913) Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J 23:16\u201359","journal-title":"Yale Law J"},{"key":"323_CR26","first-page":"79","volume":"21","author":"I Horrocks","year":"2004","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M (2004) SWRL: a semantic web rule language combining OWL and RuleML. W3C Memb Submiss 21:79","journal-title":"W3C Memb Submiss"},{"issue":"12","key":"323_CR27","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/1409360.1409377","volume":"51","author":"I Horrocks","year":"2008","unstructured":"Horrocks I (2008) Ontologies and the semantic web. Commun ACM 51(12):58\u201367","journal-title":"Commun ACM"},{"key":"323_CR28","doi-asserted-by":"crossref","unstructured":"Ingolfo S, Siena A, Perini A, Susi A, Mylopoulos J (2013) Modeling laws with N\u00f2mos 2. In: 6th international workshop on RE and LAW (RELAW), 2013","DOI":"10.1109\/RELAW.2013.6671350"},{"key":"323_CR29","unstructured":"JSON, \u201cIntroducing JSON,\u201d \nhttp:\/\/www.json.org\/"},{"issue":"12","key":"323_CR30","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1016\/j.datak.2009.07.012","volume":"68","author":"N Kiyavitskaya","year":"2009","unstructured":"Kiyavitskaya N, Zeni N, Cordy JR, Mich L, Mylopoulos J (2009) Cerno: light-weight tool support for semantic annotation of textual documents. Data Knowl Eng 68(12):1470\u20131492","journal-title":"Data Knowl Eng"},{"issue":"3","key":"323_CR31","first-page":"44","volume":"36","author":"MW Klymkowsky","year":"2006","unstructured":"Klymkowsky MW, Taylor LB, Spindler SR, Garvin-Doxas RK (2006) Two dimensional implicit confidence tests as a tool for recognizing student misconceptions. J Coll. Sci. Teach 36(3):44","journal-title":"J Coll. Sci. Teach"},{"key":"323_CR32","doi-asserted-by":"crossref","unstructured":"Knublauch H, Fergerson RW, Noy NF, Musen MA (2004) The Prot\u00e9g\u00e9 OWL plugin: an open development environment for semantic web applications. In: International semantic web conference, pp 229\u2013243","DOI":"10.1007\/978-3-540-30475-3_17"},{"issue":"12","key":"323_CR33","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/MC.2005.397","volume":"38","author":"G Lau","year":"2005","unstructured":"Lau G, Law KH, Wiederhold G (2005) Analyzing government regulations using structural and domain information. IEEE Comput 38(12):70\u201376","journal-title":"IEEE Comput"},{"issue":"3","key":"323_CR34","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F (2006) The DLV system for knowledge representation and reasoning. ACM Trans Comput Logic (TOCL) 7(3):499\u2013562","journal-title":"ACM Trans Comput Logic (TOCL)"},{"key":"323_CR35","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1162\/tacl_a_00219","volume":"1","author":"M Lewis","year":"2013","unstructured":"Lewis M, Steedman M (2013) Combined distributional and logical semantics. Trans Assoc Comput Linguist 1:179\u2013192","journal-title":"Trans Assoc Comput Linguist"},{"key":"323_CR36","doi-asserted-by":"crossref","unstructured":"Maxwell JC, Ant\u00f3n A (2009) Checking existing requirements for compliance with law using a production rule model. In: RELAW","DOI":"10.1109\/RELAW.2009.3"},{"key":"323_CR37","doi-asserted-by":"crossref","unstructured":"McCarty LT (2007) Deep semantic interpretations of legal texts. In: Proceedings of the 11th international conference on artificial intelligence and law. ACM, pp 217\u2013224","DOI":"10.1145\/1276318.1276361"},{"key":"323_CR38","unstructured":"Peters W, Wyner AZ (2016) Legal text interpretation: identifying Hohfeldian relations from text. In: Proceedings of the tenth international conference on language resources and evaluation LREC 2016. \nhttp:\/\/www.lrec-conf.org\/proceedings\/lrec2016\/summaries\/253.html"},{"key":"323_CR39","doi-asserted-by":"crossref","unstructured":"Mandal S, Gandhi R, Siy H (2015) Semantic web representations for reasoning about applicability and satisfiability of federal regulations for information security. In: 2015 IEEE eighth international workshop on requirements engineering and law (RELAW). IEEE, pp 1\u20139","DOI":"10.1109\/RELAW.2015.7330205"},{"key":"323_CR40","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1162\/tacl_a_00088","volume":"4","author":"S Reddy","year":"2016","unstructured":"Reddy S, T\u00e4ckstr\u00f6m O, Collins M, Kwiatkowski T, Das D, Steedman M, Lapata M (2016) Transforming dependency structures to logical forms for semantic parsing. Trans Assoc Comput Linguist 4:127\u2013140","journal-title":"Trans Assoc Comput Linguist"},{"key":"323_CR41","doi-asserted-by":"crossref","unstructured":"Siena A, Jureta I, Ingolfo S, Susi A, Perini A, Mylopoulos J (2012) Capturing variability of law with N\u00f2mos 2. In: Conceptual modeling (ER 2012), LNCS 7532. Springer Berlin, pp 383\u2013396","DOI":"10.1007\/978-3-642-34002-4_30"},{"issue":"2","key":"323_CR42","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: a practical OWL-DL reasoner. Web Semant Sci Serv Agents World Wide Web 5(2):51\u201353","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"issue":"3","key":"323_CR43","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/32.667878","volume":"24","author":"A Sutcliffe","year":"1998","unstructured":"Sutcliffe A, Maiden N (1998) The domain theory for requirements engineering. IEEE Trans Softw Eng 24(3):174\u2013196","journal-title":"IEEE Trans Softw Eng"},{"key":"323_CR44","unstructured":"Venturi G et al (2009) Towards a FrameNet resource for the legal domain. In: LOAIT, pp 67\u201376"},{"key":"323_CR45","volume-title":"Structure of laws as represented by symbolic methods","author":"W Waddell","year":"1961","unstructured":"Waddell W (1961) Structure of laws as represented by symbolic methods. Arts and Crafts Press, Tacoma"},{"key":"323_CR46","unstructured":"Wenar L (2015) \u201cRights\u201d, The Stanford Encyclopedia of Philosophy (Fall 2015 edition). In: Zalta E (ed) \nhttp:\/\/plato.stanford.edu\/archives\/fall2015\/entries\/rights\/\n\n. Accessed 15 Aug 2018"},{"key":"323_CR47","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/j.datak.2018.04.009","volume":"117","author":"N Zeni","year":"2018","unstructured":"Zeni N, Seid EA, Engiel P, Mylopoulos J (2018) N\u00f3mosT: building large models of law with a tool-supported process. Data Knowl Eng 117:407\u2013418","journal-title":"Data Knowl Eng"},{"key":"323_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00766-013-0181-8","volume":"20","author":"N Zeni","year":"2013","unstructured":"Zeni N, Kiyavitskaya N, Mich L, Cordy JR, Mylopoulos J (2013) GaiusT: supporting the extraction of rights and obligations for regulatory compliance. Requir Eng 20:1\u201322","journal-title":"Requir Eng"}],"updated-by":[{"DOI":"10.1007\/s00766-019-00327-8","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T00:00:00Z","timestamp":1569456000000}}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-019-00323-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-019-00323-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-019-00323-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,7]],"date-time":"2020-08-07T02:14:15Z","timestamp":1596766455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-019-00323-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,5]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["323"],"URL":"https:\/\/doi.org\/10.1007\/s00766-019-00323-y","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,5]]},"assertion":[{"value":"12 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 July 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 August 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 September 2019","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The article \u201cModular norm models: practical representation and analysis of contractual rights and obligations.","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}