Semantic DMN: Formalizing Decision Models with Domain Knowledge

  title={Semantic DMN: Formalizing Decision Models with Domain Knowledge},
  author={Diego Calvanese and Marlon Dumas and Fabrizio Maria Maggi and Marco Montali},
The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models. DMN builds on the notion of decision table, which consists of columns representing the inputs and outputs of a decision, and rows denoting rules. DMN models work under the assumption of complete information, and do not support integration with background domain knowledge. In this paper, we overcome these issues, by proposing decision knowledge bases (DKBs), where decisions… 

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

This work considers 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 proposes decision knowledge bases (DKBs), which semantically combine DRGs modeled in DMN, and domain knowledge captured by means of first-order logic with datatypes.

Enriched Modeling and Reasoning on Business Processes with Ontologies and Answer Set Programming

This paper shows how Answer Set Programming (ASP), a powerful framework for declarative problem solving, can accommodate for domain ontologies in modeling and reasoning about Business Processes, especially for process verification.

A Tool for Decision Logic Verification in DMN Decision Tables

This tool implements all so-called verification capabilities from the recently proposed ”business rule management capability framework” by Smit et al.

Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic

The Decision Management (DM) Community Challenge of March 2016 consisted of creating decision models from ten English Port Clearance Rules inspired by the International Ship and Port Facility Security Code, which were formalized in PositionalSlotted, Object-Applicative (PSOA) RuleML.

A Tool for the Verification of Decision Model and Notation (DMN) Models

This work presents a tool for the model verification of DMN models at both the logic and the DRD level, along with the performance assessment of the tool.

Adding Constraint Tables to the DMN Standard: Preliminary Results

This paper develops an extension to DMN’s decision table notation, which allows more knowledge to be expressed, while retaining the simplicity of DMN.

Holistic discovery of decision models from process execution data

Supporting Business Rule Management with Inconsistency Analysis

This work reports on current problems for Business Rule Management in the field and presents an approach to analyze actual process executions and corresponding decisions for inconcistencies.

A Tool to Monitor Consistent Decision-Making in Business Process Execution

This tool detects inconsistencies in automated decisions and provides companies with an inconsistency analysis using quantitative measures and allows to monitor consistent decision-making during business process execution.



Semantics and Analysis of DMN Decision Tables

A formal semantics for DMN tables, a formal definition of key analysis tasks and scalable algorithms to tackle two such tasks, i.e., detection of overlapping rules and of missing rules are provided.

Introducing Datatypes in DL-Lite

This work establishes a theoretical framework for datatypes in the OBDA scenario, based on three major components: a DL, a class of datatype hierarchies, and a query language, and establishes the computational complexity of query answering for various significant instantiations of this framework, as ranging from FOL-rewritable to coNP in data complexity.

The Description Logic Handbook

This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying all

Extracting Decision Logic from Process Models

A semi-automatic approach to identify decision logic in process models, to derive a corresponding DMN model and to adapt the original process model by replacing the decision logic accordingly, and to allow final configurations of this result during post-processing.

Ontology Reasoning in the SHOQ(D) Description Logic

SHOQ(D) is an expressive description logic equipped with named individuals and concrete datatypes which has almost exactly the same expressive power as the latest web ontology languages (e.g., OIL and DAML).

The Description Logic Handbook: Theory, Implementation, and Applications

This new edition of The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications.

The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach

The description logic ALCNHR+(D)- is introduced and it is shown that the results can be exploited for building practical description logic systems for solving e.g. configuration problems.

OWL 2 Web Ontology Language: structural specification and functional-style syntax

The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data

DL-Lite with Attributes and Datatypes

This work presents complexity results for two most important reasoning problems in DL-Lite: combined complexity of knowledge base satisfiability and data complexity of positive existential query answering.