[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_240":241},"routes/_layout",{"_11":160},"routes/entity.$type.$id",{"_11":12,"_13":14,"_15":16,"_17":18,"_19":20,"_21":22,"_23":24,"_25":26,"_27":28},"dehydratedState",{"_73":74,"_75":76},"type","paper","id","paper_W2094758254","section","technologies","entity",{"_15":16,"_29":30,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":38,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":47,"_48":-5,"_49":50,"_51":30,"_52":53,"_54":55,"_56":57,"_58":59,"_60":61,"_62":-5,"_63":64,"_65":-5,"_66":67,"_68":30,"_69":-5},"canonical","https://www.hugmap.com/entity/paper/paper_W2094758254/technologies","siteBaseUrl","https://www.hugmap.com","sectionCount",0,"jsonLd","{\"@context\":\"https://schema.org\",\"@graph\":[{\"name\":\"REPRESENTING BUSINESS CONTRACTS INRuleML\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W2094758254/technologies\",\"@type\":\"ScholarlyArticle\",\"headline\":\"REPRESENTING BUSINESS CONTRACTS INRuleML\",\"datePublished\":\"2005-06-01\",\"isPartOf\":{\"@type\":\"Periodical\",\"name\":\"International Journal of Cooperative Information Systems\"}},{\"@type\":\"CollectionPage\",\"name\":\"REPRESENTING BUSINESS CONTRACTS INRuleML 相关技术\",\"description\":\"REPRESENTING BUSINESS CONTRACTS INRuleML 在 HugMap 中的相关技术，含结构化关联信息与详情链接。\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W2094758254/technologies\",\"inLanguage\":\"zh-CN\"},{\"@type\":\"BreadcrumbList\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"首页\",\"item\":\"https://www.hugmap.com/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"论文\",\"item\":\"https://www.hugmap.com/search?type=paper\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"REPRESENTING BUSINESS CONTRACTS INRuleML\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W2094758254\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"相关技术\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W2094758254/technologies\"}]}]}","name","REPRESENTING BUSINESS CONTRACTS INRuleML","nameZh","aliases","description","descriptionZh","status","active","externalIds","{\"openalex\":\"W2094758254\",\"doi\":\"10.1142/s0218843005001092\"}","properties","source","openalex","createdAt","2026-05-22T16:18:38.193353598","updatedAt","2026-05-22T16:18:38.19335631","doi","10.1142/s0218843005001092","arxivId","openalexId","W2094758254","title","abstractText","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.","publishedDate","2005-06-01","publishedYear",2005,"venue","International Journal of Cooperative Information Systems","citationCount",242,"authors","keywords",[70,71,72],"pdfUrl","topVenue",false,"displayName","displayDescription","Multi-Agent Systems and Negotiation","Logic, Reasoning, and Knowledge","Artificial Intelligence in Law","mutations",[],"queries",[77],{"_78":79,"_80":81,"_82":83,"_84":85},"dehydratedAt",1781726408549,"state",{"_87":88,"_89":90,"_91":79,"_92":-5,"_93":26,"_94":26,"_95":26,"_96":-5,"_97":-5,"_98":67,"_35":99,"_100":101},"queryKey",[86,19,14,16],"queryHash","[\"portal\",\"entity\",\"paper\",\"paper_W2094758254\"]","portal","data",{"_19":20,"_102":103,"_104":105,"_106":107,"_108":109,"_18":110,"_62":111},"dataUpdateCount",1,"dataUpdatedAt","error","errorUpdateCount","errorUpdatedAt","fetchFailureCount","fetchFailureReason","fetchMeta","isInvalidated","success","fetchStatus","idle","entityType","Paper","taxonomies",[128,129,130],"events",[],"articles",[],[],[112],{"_15":113,"_29":114,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":115,"_39":-5,"_40":41,"_42":116,"_44":117,"_118":119,"_51":-5,"_120":-5,"_121":-5,"_122":-5,"_60":-5,"_123":-5,"_124":-5,"_125":-5,"_126":-5,"_127":-5,"_68":114,"_69":-5},"person_A5058360953","Guido Governatori","{\"openalex\":\"A5058360953\",\"orcid\":\"0000-0002-9878-2762\"}","2026-05-15T05:19:27.193539463","2026-05-23T00:33:41.454697499","orcid","0000-0002-9878-2762","affiliation","researchArea","paperCount","homepage","linkedin","twitter","github","hindex",{"_15":155,"_29":71,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":156,"_39":-5,"_40":41,"_42":157,"_44":158,"_135":136,"_137":-5,"_138":139,"_140":153,"_142":159,"_144":26,"_145":146,"_147":26,"_148":-5,"_68":71,"_69":-5},{"_15":149,"_29":70,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":150,"_39":-5,"_40":41,"_42":151,"_44":152,"_135":136,"_137":-5,"_138":139,"_140":153,"_142":154,"_144":26,"_145":146,"_147":26,"_148":-5,"_68":70,"_69":-5},{"_15":131,"_29":72,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":132,"_39":-5,"_40":41,"_42":133,"_44":134,"_135":136,"_137":-5,"_138":139,"_140":141,"_142":143,"_144":26,"_145":146,"_147":26,"_148":-5,"_68":72,"_69":-5},"tax_rd_T13643","{\"openalex_topic\":\"T13643\"}","2026-05-14T06:34:46.255746168","2026-05-23T07:24:30.212196447","taxonomyType","RESEARCH_DOMAIN","code","level",3,"parentId","tax_rd_3320","path","Social Sciences/Social Sciences/Political Science and International Relations/Artificial Intelligence in Law","sortOrder","isLeaf",true,"entityCount","children","tax_rd_T10456","{\"openalex_topic\":\"T10456\"}","2026-05-14T00:51:38.423420071","2026-05-23T12:36:01.200910472","tax_rd_1702","Physical Sciences/Computer Science/Artificial Intelligence/Multi-Agent Systems and Negotiation","tax_rd_T11010","{\"openalex_topic\":\"T11010\"}","2026-05-14T00:33:44.353575066","2026-05-23T11:57:20.225752251","Physical Sciences/Computer Science/Artificial Intelligence/Logic, Reasoning, and Knowledge",{"_73":161,"_75":162},[],[163],{"_78":164,"_80":165,"_82":166,"_84":167},1781726406441,{"_87":169,"_89":90,"_91":164,"_92":-5,"_93":26,"_94":26,"_95":26,"_96":-5,"_97":-5,"_98":67,"_35":99,"_100":101},[86,168],"[\"portal\",\"industries\"]","industries",[170,171,172,173,174,175,176,177,178,179,180,181],{"_15":233,"_29":234,"_31":-5,"_32":235,"_33":236,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":237,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":234,"_69":236},{"_15":229,"_29":230,"_31":-5,"_32":-5,"_33":231,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":232,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":230,"_69":231},{"_15":223,"_29":224,"_31":-5,"_32":225,"_33":226,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":227,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":224,"_69":226},{"_15":219,"_29":220,"_31":-5,"_32":-5,"_33":221,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":222,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":220,"_69":221},{"_15":215,"_29":216,"_31":-5,"_32":-5,"_33":217,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":218,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":216,"_69":217},{"_15":209,"_29":210,"_31":-5,"_32":211,"_33":212,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":213,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":210,"_69":212},{"_15":205,"_29":206,"_31":-5,"_32":-5,"_33":207,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":208,"_144":26,"_145":146,"_147":26,"_148":-5,"_68":206,"_69":207},{"_15":201,"_29":202,"_31":-5,"_32":-5,"_33":203,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":204,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":202,"_69":203},{"_15":197,"_29":198,"_31":-5,"_32":-5,"_33":199,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":200,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":198,"_69":199},{"_15":193,"_29":194,"_31":-5,"_32":-5,"_33":195,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":196,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":194,"_69":195},{"_15":189,"_29":190,"_31":-5,"_32":-5,"_33":191,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":192,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":190,"_69":191},{"_15":182,"_29":183,"_31":-5,"_32":-5,"_33":184,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_135":186,"_137":-5,"_138":90,"_140":187,"_142":188,"_144":26,"_145":67,"_147":26,"_148":-5,"_68":183,"_69":184},"tax_ind_smartphone","智能手机","Smartphone","manual","INDUSTRY","tax_ind_root","科技行业/智能手机","tax_ind_robot","机器人","Robotics","科技行业/机器人","tax_ind_wearable","智能穿戴","Smart Wearables","科技行业/智能穿戴","tax_ind_energy","新能源与智能制造","New Energy & Smart Manufacturing","科技行业/新能源与智能制造","tax_ind_biotech","生物科技","Biotech","科技行业/生物科技","tax_ind_quantum","量子计算","Quantum Computing","科技行业/量子计算","tax_ind_blockchain","区块链",[214],"Blockchain","科技行业/区块链","Web3","tax_ind_enterprise","企业软件","Enterprise Software","科技行业/企业软件","tax_ind_security","网络安全","Cybersecurity","科技行业/网络安全","tax_ind_semi","半导体",[228],"Semiconductor","科技行业/半导体","芯片","tax_ind_cloud","云计算","Cloud Computing","科技行业/云计算","tax_ind_ai","人工智能",[238,239],"Artificial Intelligence","科技行业/人工智能","AI","AI 技术","env",{"_242":24},"SITE_BASE_URL"]

REPRESENTING BUSINESS CONTRACTS IN<i>RuleML</i> 论文

REPRESENTING BUSINESS CONTRACTS IN<i>RuleML</i> · 相关技术