Abstract
The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business processes. DMN builds on the notion of decision table, and their combination into more complex decision requirements graphs (DRGs), which bridge between business process models and decision logic models. DRGs may rely on additional, external business knowledge models, whose functioning is not part of the standard. In this work, we consider one of the most important types of business knowledge, namely background knowledge that conceptually accounts for the structural aspects of the domain of interest, and propose decision requirement knowledge bases (DKBs), where DRGs are modeled in DMN, and domain knowledge is captured by means of first-order logic with datatypes. We provide a logic-based semantics for such an integration, and formalize different DMN reasoning tasks for DKBs. We then consider background knowledge formulated as a description logic ontology with datatypes, and show how the main verification tasks for DMN in this enriched setting, can be formalized as standard DL reasoning services, and actually carried out in ExpTime. We discuss the effectiveness of our framework on a case study in maritime security. This work is under consideration in Theory and Practice of Logic Programming (TPLP).
Abstract (translated)
决策模型和符号(DMN)是最近的OMG标准,用于启发和表示决策模型,以及管理它们与业务流程的互连。 DMN建立在决策表的概念之上,并将它们组合成更复杂的决策需求图(DRG),它在业务流程模型和决策逻辑模型之间架起桥梁。 DRG可能依赖于额外的外部业务知识模型,其功能不属于标准。在这项工作中,我们考虑最重要的商业知识类型之一,即在概念上考虑感兴趣领域的结构方面的背景知识,并提出决策需求知识库(DKB),其中DRG在DMN中建模,以及通过具有数据类型的一阶逻辑捕获领域知识。我们为这种集成提供了基于逻辑的语义,并为DKB规范了不同的DMN推理任务。然后,我们将背景知识视为具有数据类型的描述逻辑本体,并展示DMN在此丰富设置中的主要验证任务如何形式化为标准DL推理服务,并且实际上在ExpTime中执行。我们讨论了我们的框架在海事安全案例研究中的有效性。这项工作正在逻辑规划理论与实践(TPLP)中得到考虑。
URL
https://arxiv.org/abs/1807.11615