×
迭戈·卡尔瓦内斯;马可·蒙塔利;马龙·杜马;法布里齐奥·马吉（Fabrizio M.Maggi）。

语义DMN：在有背景知识的情况下，对决策进行形式化和推理。 （英语） 兹比尔1472.68195

理论与实践。日志。程序。 19，第4期，536-573（2019）.
摘要：决策模型和符号（DMN）是一个最新的对象管理组标准，用于引出和表示决策模型，以及管理它们与业务流程的互连。DMN建立在决策表的概念之上，并将其组合成更复杂的决策需求图（DRG），DRG是业务流程模型和决策逻辑模型之间的桥梁。DRG可能依赖额外的外部业务知识模型，这些模型的功能不属于标准的一部分。在这项工作中，我们考虑了最重要的商业知识类型之一，即在概念上解释感兴趣领域结构方面的背景知识，并提出决策知识库（DKB），它在语义上将DMN中建模的DRG与通过一阶逻辑和数据类型捕获的领域知识相结合。我们为这种集成提供了基于逻辑的语义，并为DKB形式化了不同的DMN推理任务。然后，我们考虑将背景知识表示为具有数据类型的描述逻辑（DL）本体，并说明如何将DMN在该丰富设置中的主要验证任务形式化为标准DL推理服务，并在ExpTime（ExpTime）我们在海事安全案例研究中讨论了我们框架的有效性。

MSC公司：

68立方英尺 知识表示
68T27型 人工智能中的逻辑
90B50型 管理决策，包括多个目标

关键词：

决策模型与符号;决策表;描述逻辑;数据类型;海上安全

软件：

传真CT++;HermiT公司
PDF格式BibTeX公司 XML格式引用
\textit{D.Calvanee}等人，《理论与实践》。日志。程序。19，编号4，536-573（2019年；兹bl 1472.68195）
全文： 内政部 arXiv公司

参考文献：

[1] Artale，A.、Kontchakov，R.和Ryzhikov，V.2012。具有属性和数据类型的DL Lite。程序中。第20届欧洲人工智能会议（ECAI）。人工智能与应用前沿，第242卷。阿姆斯特丹IOS出版社，61-66·Zbl 1327.68238号
[2] Baader，F.、Calvanese，D.、Mcguiness，D.、Nardi，D.和Patel Schneider，P.F.，2007年版。《描述逻辑手册：理论、实现和应用》，第二版，剑桥大学出版社，剑桥·Zbl 1132.68055号
[3] Baader，F.和Sattler，U.2000。描述逻辑的表au算法。程序中。第九届分析表及相关方法自动推理国际会议（Tableaux）。《人工智能讲义》，第1847卷。柏林施普林格，1-18·Zbl 0963.03015号
[4] Batoulis，K.、Meyer，A.、Bazhenova，E.、Decker，G.和Weske，M.2015。从流程模型中提取决策逻辑。程序中。第27届国际先进信息系统工程会议（CAiSE）。施普林格，柏林。
[5] Calvanee，D.，Dumas，M.，Laurson，犹他州。，Maggi，F.M.、Montali，M.和Teinemaa，I.2016。DMN决策表的语义和分析。程序中。第14届国际业务流程管理会议（BPM）。计算机科学讲义，第9850卷。柏林施普林格，217-233。
[6] Calvanee，D.，Dumas，M.，Maggi，F.M.和Montali，M.2017。语义DMN：用领域知识形式化决策模型。程序中。第一届规则与推理国际联席会议（RuleML+RR）。计算机科学讲义，第10364卷。柏林施普林格，70-86·Zbl 1490.68215号
[7] . 1982. 决策表的现代评估：CODASYL报告。ACM公司。
[8] Drabent，W.、Eiter，T.、Ianni，G.、Krennwallner，T.，Lukasiewicz，T.和Maluszynski，J.2009。混合推理与规则和本体。《网络语义技术》，《REWERSE透视图》，Bry，F.和Maluszynski，J.，Eds.计算机科学讲义，第5500卷。施普林格，柏林，1-49。
[9] Eiter，T.、Kaminski，T.，Redl，C.、Schüller，P.和Weinzierl，A.2017。使用外部源访问回答集合编程。推理网络：网络上的语义互操作性——第13届国际暑期学校辅导讲座（RW）。计算机科学讲义，第10370卷。施普林格，柏林，204-275·Zbl 1491.68191号
[10] Eiter，T.、Lutz，C.、Ortiz，M.和Simkus，M.，2009年。描述逻辑中的问答：Knots方法。程序中。第16届逻辑、语言、信息和计算国际研讨会（WoLLIC）。《计算机科学讲义》，第5514卷。柏林施普林格，26-36·Zbl 1246.68207号
[11] Enderton，H.B.2001。《逻辑数学导论》，第二版，学术出版社，美国加州圣地亚哥·Zbl 0992.03001号
[12] Haarslev，V.、Möller，R.和Wessel，M.2001。描述逻辑ALCNH_R+扩展了具体的域：一种实用的方法。程序中。第一届国际自动推理联合会议（IJCAR），29-44·Zbl 0988.68182号
[13] 胡佛，D.N.和陈，Z.1995。Tablewise是一个决策表工具。程序中。第十届计算机保证系统完整性、软件安全和过程安全年会（COMPASS）。IEEE计算机学会出版社，97-108。
[14] Horrocks，I.、Kutz，O.和Sattler，U.2006。更令人无法抗拒的SROIQ。程序中。第十届知识表示与推理原则国际会议（KR），57-67。
[15] Horrocks，I.和Sattler，U.2001。SHOQ（D）描述逻辑中的本体推理。程序中。第17届国际人工智能联合会议（IJCAI），199-204年。
[16] Krisnadhi，A.、Maier，F.和Hitzler，P.2011。OWL和规则。推理网络：数据网络的语义技术——第七届国际暑期学校辅导讲座（RW）。计算机科学讲义，第6848卷。柏林施普林格，382-415。
[17] 卢茨，C.2002a。具体领域推理的复杂性。亚琛理工大学理论计算机科学教学和研究领域博士论文。
[18] 卢茨，C.2002b。具体领域的描述逻辑——一项调查。程序中。第四届模态逻辑进展会议（AiML 2012），265-296·Zbl 1082.03032号
[19] Motik，B.和Horrocks，I.2008。OWL数据类型：设计和实现。程序中。第七届国际语义网络会议（ISWC）。《计算机科学讲义》，第5318卷。柏林施普林格，307-322。
[20] Motik，B.、Parsia，B.和Patel-Schneider，P.F.2012。OWL 2 Web本体语言结构规范和功能样式语法，第二版W3C推荐标准，万维网联盟。十二月网址：http://www.w3.org/TR/oll2语法/。[于2019年1月7日访问]。
[21] Motik，B.和Rosati，R.，2010年。协调描述逻辑和规则。ACM57杂志，5，30:1-30:62·Zbl 1327.68257号
[22] 内梅蒂，1986年。自由代数与代数逻辑中的可判定性。布达佩斯匈牙利科学院数学研究所博士论文。
[23] . 2016. 决策模型和符号（DMN）1.1。网址：http://www.omg.org/spec/DMN/1.1/。[于2019年1月7日访问]。
[24] Ortiz，M.2010年。表达描述逻辑中的问答：技术和复杂性结果。维也纳理工大学博士论文。
[25] Ortiz，M.、Simkus，M.和Eiter，T.2008。最坏情况下的最佳联合查询，用于无反转的表达描述逻辑。程序中。第23届AAAI人工智能会议（AAAI）。AAAI出版社，帕洛阿尔托，504-510。
[26] Pan，J.Z.和Horrocks，I.2003。使用数据类型组进行Web本体推理。程序中。第二届国际语义网络会议（ISWC）。计算机科学讲义，第2870卷。柏林施普林格，47-63。
[27] Pawlak，Z.1987年。决策表-粗糙集方法。EATCS33公告，85-95·Zbl 0659.68105号
[28] 普奇，美国，1974年。决策表的翻译。ACM计算调查6，2，125-151。
[29] Savkovic，O.和Calvanee，D.2012。DL-Lite中引入数据类型。程序中。第20届欧洲人工智能大会（ECAI）。人工智能与应用前沿，第242卷。阿姆斯特丹IOS出版社，720-725·Zbl 1327.68259号
[30] Shearer，R.、Motik，B.和Horrocks，I.2008。HermiT：一个高效的OWL推理器。程序中。第五届OWL国际研讨会：经验与方向（OWLED）。欧洲委员会研讨会论文集，第432卷，http://ceur-ws.org/。[于2019年1月7日访问]。
[31] Sirin，E.和Parsia，B.2006。颗粒系统描述。程序中。第19届描述逻辑国际研讨会（DL）。CEUR研讨会记录，第189卷，http://ceur-ws.org/。[于2019年1月7日访问]。
[32] Tsarkov，D.和Horrocks，I.2006年。FaCT++描述逻辑推理器：系统描述。程序中。第三届国际自动推理联合会议（IJCAR），292-297。
[33] Vantheinen，J.和Dries，E.1993。用于指定和实施基于知识的系统的决策表工具的图示。程序中。第五届IEEE人工智能工具国际会议（ICTAI）。IEEE计算机学会出版社，198-205。
[34] Vantheinen，J.和Dries，E.1994。用于指定和实施基于知识的系统的决策表工具的图示。国际人工智能工具杂志3，2，267-288。
[35] Vantheinen，J.、Mues，C.和Aerts，A.1998。KBS开发建模阶段的验证和确认说明。数据和知识工程27，3，337-352·Zbl 0908.68104号
[36] . 2012. OWL 2 Web本体语言文档概述，第二版W3C建议，万维网联盟。十二月网址：http://www.w3.org/TR/owl2-overview/。[于2019年1月7日访问]。
[37] Zaidi，A.K.和Levis，A.H.1997。决策规则的验证和验证。自动化33、2、155-169·兹比尔0869.90003
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。