{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T13:02:02Z","timestamp":1780491722363,"version":"3.54.1"},"reference-count":34,"publisher":"World Scientific Pub Co Pte Ltd","issue":"02n03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Coop. Info. Syst."],"published-print":{"date-parts":[[2005,6]]},"abstract":"<jats:p>This paper presents an approach for the specification and implementation of translating contracts from a human-oriented form into an executable representation for monitoring. This will be done in the setting of RuleML. The task of monitoring contract execution and performance requires a logical account of deontic and defeasible aspects of legal language; currently such aspects are not covered by RuleML; accordingly we show how to extend it to cover such notions. From its logical form, the contract will thus be transformed into a machine readable rule notation and eventually implemented as executable semantics via any mark-up languages depending on the client's preference, for contract monitoring purposes.<\/jats:p>","DOI":"10.1142\/s0218843005001092","type":"journal-article","created":{"date-parts":[[2005,6,6]],"date-time":"2005-06-06T11:01:02Z","timestamp":1118055662000},"page":"181-216","source":"Crossref","is-referenced-by-count":156,"title":["REPRESENTING BUSINESS CONTRACTS IN<i>RuleML<\/i>"],"prefix":"10.1142","volume":"14","author":[{"given":"GUIDO","family":"GOVERNATORI","sequence":"first","affiliation":[{"name":"School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD 4072, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2012,4,6]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48005-6_30"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1002\/int.20008"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30504-0_3"},{"key":"rf4","unstructured":"G.\u00a0Antoniou, Proc. American National Conference on Artificial Intelligence (AAAI-2000) (AAAI\/MIT Press, Menlo Park, CA, 2000)\u00a0pp. 401\u2013405."},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"rf6","first-page":"45","volume":"41","author":"Antoniou G.","journal-title":"Journal of Logic Programming"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30122-6_10"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0387-2_4"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30504-0_7"},{"key":"rf11","author":"Gelati J.","journal-title":"Artificial Intelligence and Law"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30504-0_8"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.675"},{"key":"rf14","unstructured":"G.\u00a0Governatori and A.\u00a0Rotolo, \u0394eon'02, eds. A. J. I.\u00a0Jones and J.\u00a0Horty (Imperial College, London, 2002)\u00a0pp. 97\u2013116,\u00a0http:\/\/eprint.uq.edu.au\/archive\/00001893\/01\/deon02.pdf."},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25927-5_8"},{"key":"rf16","unstructured":"G.\u00a0Governatori and A.\u00a0Rotolo, Legal Knoeledge and Information Systems, Frontieres in Artificial Intelligence and Applications\u00a0120, ed. T.\u00a0Gordon (IOS Press, Amsterdam, 2004)\u00a0pp. 141\u2013150."},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1016\/j.elerap.2003.09.005"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1145\/336992.337010"},{"key":"rf19","doi-asserted-by":"crossref","unstructured":"B. N.\u00a0Grosof and T. C.\u00a0Poon, Proceedings of the 12th International Conference on World Wide Web (ACM Press, 2003)\u00a0pp. 340\u2013349.","DOI":"10.1145\/775152.775200"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1145\/112646.112667"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1145\/222092.222243"},{"key":"rf22","doi-asserted-by":"crossref","unstructured":"R.\u00a0Hilpinen, The Blackwell Guide to Philosophical Logic, No. 4 in Blackwell Philosophy Guides, ed. L.\u00a0Goble (Blackwell, Oxford, 2001)\u00a0pp. 159\u2013182.","DOI":"10.1111\/b.9780631206934.2001.00011.x"},{"key":"rf23","unstructured":"A. J. I.\u00a0Jones and M.\u00a0Sergot, Deontic Logic in Computer Science: Normative System Specification, eds. J.J.\u00a0Ch. Meyer and R. J.\u00a0Wieringa (John Wiley and Sons Ltd., 1993)\u00a0pp. 275\u2013307."},{"key":"rf24","first-page":"429","volume":"4","author":"Jones A. J. I.","journal-title":"Journal of the IGPL"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1145\/769800.769802"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213001000623"},{"key":"rf27","unstructured":"Z.\u00a0Milosevic, First IEEE International Workshop on Electronic Contracts, ed. B.\u00a0Benatallah (IEEE Press, 2004)\u00a0pp. 62\u201370."},{"key":"rf28","volume":"3","author":"Naish L.","journal-title":"Journal of Functional and Logic Programming"},{"key":"rf29","doi-asserted-by":"crossref","unstructured":"D.\u00a0Nute, Norms, Logics and Information Systems. New Studies in Deontic Logic, eds. P.\u00a0McNamara and H.\u00a0Prakken (IOS Press, Amsterdam, 1998)\u00a0pp. 83\u2013100.","DOI":"10.1007\/978-94-015-8851-5"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1145\/375735.376422"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1007\/BF00118496"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90069-A"},{"key":"rf34","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8851-5_5"},{"key":"rf35","unstructured":"G.\u00a0Wagner, Proceedings of XML Technology for the Semantic Web (XSW 2002), Lecture Notes in Computer Science\u00a014 (GI, 2002)\u00a0pp. 19\u201337."},{"key":"rf37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30504-0_13"}],"container-title":["International Journal of Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218843005001092","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T14:32:33Z","timestamp":1735741953000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218843005001092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":34,"journal-issue":{"issue":"02n03","published-online":{"date-parts":[[2012,4,6]]},"published-print":{"date-parts":[[2005,6]]}},"alternative-id":["10.1142\/S0218843005001092"],"URL":"https:\/\/doi.org\/10.1142\/s0218843005001092","relation":{},"ISSN":["0218-8430","1793-6365"],"issn-type":[{"value":"0218-8430","type":"print"},{"value":"1793-6365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}