Paper presentation delivered by Marco Montali at the International Joint Conference on Rules and Reasoning (RuleML+RR 2017), London, UK, 12 July 2017. Paper available at: http://kodu.ut.ee/~dumas/pubs/ruleml2017semanticdmn.pdf
Presentation of the paper "Semantic DMN: Formalizing Decision Models with Domain Knowledge", joint work with Diego Calvanese, Marlon Dumas, and Fabrizio M. Maggi, at RuleML+RR: International Joint Conference on Rules and Reasoning.
Presentation of the paper "Semantic DMN: Formalizing Decision Models with Domain Knowledge", joint work with Diego Calvanese, Marlon Dumas, and Fabrizio M. Maggi, at RuleML+RR: International Joint Conference on Rules and Reasoning.
Keynote at DEC2H 2019, giving an overview of our research on integrated models that respectively put DMN decisions in the context of background domain knowledge and business processes.
Material Handling & Warehousing EquipmentHeidi Jennings
Weighing equipment and service for all industries including warehousing, material handling, freight, transportation, manufacturing, pharmaceutical, and many more...
Webinar - Innovatie en Asset Management in de tankopslagStork
Tankopslag is een van de weinige sectoren die goed door de economische crisis van het afgelopen jaar is gekomen. Alle tanks zijn tot de rand toe gevuld door een gunstige combinatie van verhoogd aanbod en verminderde vraag door Corona. In de nabije toekomst gaat de energietransitie een grote impact hebben op de vraag naar fossiele brandstoffen en is nieuwe infrastructuur nodig voor opslag van waterstof en biofuels; op langere termijn ligt de focus op verouderende assets en duurzame ontwikkeling.
Technologische innovatie opent de deur voor robotica, mobiele werkers en voorspellend onderhoud waardoor efficiëntie in operatie en onderhoud een enorme verbeterslag kan maken. Dit krachtenveld levert nieuwe uitdagingen voor tank operators, hoe om te gaan met deze dynamische marktvraag en verschuivende doelstellingen?
In dit webinar geven Marc Hoppenbrouwers en Martijn Glass van Stork antwoord op deze vragen en dragen ze oplossingen aan voor het maken van de juiste keuzes voor optimaal asset management voor opslagtanks.
Keynote speech at the 7th International Workshop on DEClarative, DECision and Hybrid approaches to processes ( DEC2H 2019) In conjunction with BPM 2019.
This is a talk about the combined modeling and reasoning techniques for decisions, background knowledge, and work processes.
The advent of the OMG Decision Model and Notation (DMN) standard has revived interest, both from academia and industry, in decision management and its relationship with business process management. Several techniques and tools for the static analysis of decision models have been brought forward, taking advantage of the trade-off between expressiveness and computational tractability offered by the DMN S-FEEL language.
In this keynote, I argue that decisions have to be put in perspective, that is, understood and analyzed within their surrounding organizational boundaries. This brings new challenges that, in turn, require novel, advanced analysis techniques. Using a simple but illustrative example, I consider in particular two relevant settings: decisions interpreted the presence of background, structural knowledge of the domain of interest, and (data-aware) business processes routing process instances based on decisions. Notably, the latter setting is of particular interest in the context of multi-perspective process mining. I report on how we successfully tackled key analysis tasks in both settings, through a balanced combination of conceptual modeling, formal methods, and knowledge representation and re
Presentation on "From Case-Isolated to Object-Centric Processes - A Tale of Two Models" as part of the Hasselt University BINF Research Seminar Series (see https://www.uhasselt.be/en/onderzoeksgroepen-en/binf/research-seminar-series).
Adding Value through the Lower Thames Crossing project by "Iain Minns - Partn...Project Controls Expo
Adding Value through the Lower Thames Crossing project by "Iain Minns - Partner, UK Head of Programme & Project Controls for Arcadis, UK" at Project Controls Expo 2017, Arsenal Stadium, London
Rail Technical Strategy, Key Capability 6 - More Space on TrainsJames Brown
Overview of Key capability 6 of the UK's Rail Technical Strategy - More Space on Trains.
Presents an overview of the key projects being commissioned as part of this R&D program aiming to boost rail capacity in the UK by maximising the size of vehicles running on the network and optimising the use of the space available.
How GenAI will (not) change your business?Marlon Dumas
Not all new technology waves are the same. Some waves are vertical (3D printing, digital twins, blockchain) while others are horizontal (the PC in the 80s, the Web in the 90s). GenAI is a horizontal wave. The question is not if GenAI will impact my business, but what will be the scope of this impact. In this talk, we will go through a journey of collisions: GenAI colliding with customer service, clerical work, information search, content production, IT development, product design, and other knowledge work. A common thread to understand the impact of GenAI is to distinguish between descriptive use cases (search, summarize, expand, transcribe & translate) versus creative use.
Walking the Way from Process Mining to AI-Driven Process OptimizationMarlon Dumas
While generative AI grabs headlines, most organizations are yet to achieve continuous process improvement from predictive and prescriptive analytics.
Why? It’s largely about data, people, and a methodical approach to deploy AI to connect data and people. The good news is that if your organization has built a process mining capability, you are well placed to climb the ladder to achieve AI-driven process optimization. But to get there, you need a disciplined step-by-step approach along two tracks: a tactical management track and an operational management track.
First, it’s about predicting what will happen if you leave your process as-is, and what will happen if you implement a change in your process. At a tactical level, a predictive capability allows you to prioritize improvement opportunities. At an operational level, it allows you to predict issues, such as deadline violations. The challenges here are how to manage the inherent uncertainty of data-driven AI systems, and how to change your people and culture to manage processes proactively, rather than reactively. One thing is to deploy predictive dashboards, another entirely different thing is to get people to use them effectively to improve the processes.
Next, it’s about becoming preemptive: continuously optimizing your processes by leveraging streams of data-driven recommendations to trigger changes and actions. At the tactical level, this prescriptive capability allows you to implement the right changes to maximize competing KPIs. At the operational level, it means triggering interventions in your processes to “wow” customers and to meet SLAs in a cost-effective manner. The challenge here is how to help process owners, workers, and other stakeholders to understand the causes of performance issues and how the recommendations generated by the AI-driven optimization system will tackle those causes?
And finally, as an icing on the cake, generative AI allows you to produce improvement scenarios to adapt to external changes. Importantly, the transformative potential of generative AI in the context of process improvement does not come from its ability to provide question-and-answer interfaces to query data. It comes from its ability to support continuous process adaptation by generating and validating hypotheses based on a holistic view of your organization.
In this talk, we will discuss how organizations are driving sustainable business value by strategically layering predictive, prescriptive, and generative AI onto a process mining foundation, one brick at a time.
Industry keynote talk by Marlon Dumas at the 5th International Conference on Process Mining (ICPM'2023), Rome, Italy, 25 October 2023
More Related Content
Similar to Semantic DMN: Formalizing Decision Models with Domain Knowledge
Keynote at DEC2H 2019, giving an overview of our research on integrated models that respectively put DMN decisions in the context of background domain knowledge and business processes.
Material Handling & Warehousing EquipmentHeidi Jennings
Weighing equipment and service for all industries including warehousing, material handling, freight, transportation, manufacturing, pharmaceutical, and many more...
Webinar - Innovatie en Asset Management in de tankopslagStork
Tankopslag is een van de weinige sectoren die goed door de economische crisis van het afgelopen jaar is gekomen. Alle tanks zijn tot de rand toe gevuld door een gunstige combinatie van verhoogd aanbod en verminderde vraag door Corona. In de nabije toekomst gaat de energietransitie een grote impact hebben op de vraag naar fossiele brandstoffen en is nieuwe infrastructuur nodig voor opslag van waterstof en biofuels; op langere termijn ligt de focus op verouderende assets en duurzame ontwikkeling.
Technologische innovatie opent de deur voor robotica, mobiele werkers en voorspellend onderhoud waardoor efficiëntie in operatie en onderhoud een enorme verbeterslag kan maken. Dit krachtenveld levert nieuwe uitdagingen voor tank operators, hoe om te gaan met deze dynamische marktvraag en verschuivende doelstellingen?
In dit webinar geven Marc Hoppenbrouwers en Martijn Glass van Stork antwoord op deze vragen en dragen ze oplossingen aan voor het maken van de juiste keuzes voor optimaal asset management voor opslagtanks.
Keynote speech at the 7th International Workshop on DEClarative, DECision and Hybrid approaches to processes ( DEC2H 2019) In conjunction with BPM 2019.
This is a talk about the combined modeling and reasoning techniques for decisions, background knowledge, and work processes.
The advent of the OMG Decision Model and Notation (DMN) standard has revived interest, both from academia and industry, in decision management and its relationship with business process management. Several techniques and tools for the static analysis of decision models have been brought forward, taking advantage of the trade-off between expressiveness and computational tractability offered by the DMN S-FEEL language.
In this keynote, I argue that decisions have to be put in perspective, that is, understood and analyzed within their surrounding organizational boundaries. This brings new challenges that, in turn, require novel, advanced analysis techniques. Using a simple but illustrative example, I consider in particular two relevant settings: decisions interpreted the presence of background, structural knowledge of the domain of interest, and (data-aware) business processes routing process instances based on decisions. Notably, the latter setting is of particular interest in the context of multi-perspective process mining. I report on how we successfully tackled key analysis tasks in both settings, through a balanced combination of conceptual modeling, formal methods, and knowledge representation and re
Presentation on "From Case-Isolated to Object-Centric Processes - A Tale of Two Models" as part of the Hasselt University BINF Research Seminar Series (see https://www.uhasselt.be/en/onderzoeksgroepen-en/binf/research-seminar-series).
Adding Value through the Lower Thames Crossing project by "Iain Minns - Partn...Project Controls Expo
Adding Value through the Lower Thames Crossing project by "Iain Minns - Partner, UK Head of Programme & Project Controls for Arcadis, UK" at Project Controls Expo 2017, Arsenal Stadium, London
Rail Technical Strategy, Key Capability 6 - More Space on TrainsJames Brown
Overview of Key capability 6 of the UK's Rail Technical Strategy - More Space on Trains.
Presents an overview of the key projects being commissioned as part of this R&D program aiming to boost rail capacity in the UK by maximising the size of vehicles running on the network and optimising the use of the space available.
Similar to Semantic DMN: Formalizing Decision Models with Domain Knowledge (20)
How GenAI will (not) change your business?Marlon Dumas
Not all new technology waves are the same. Some waves are vertical (3D printing, digital twins, blockchain) while others are horizontal (the PC in the 80s, the Web in the 90s). GenAI is a horizontal wave. The question is not if GenAI will impact my business, but what will be the scope of this impact. In this talk, we will go through a journey of collisions: GenAI colliding with customer service, clerical work, information search, content production, IT development, product design, and other knowledge work. A common thread to understand the impact of GenAI is to distinguish between descriptive use cases (search, summarize, expand, transcribe & translate) versus creative use.
Walking the Way from Process Mining to AI-Driven Process OptimizationMarlon Dumas
While generative AI grabs headlines, most organizations are yet to achieve continuous process improvement from predictive and prescriptive analytics.
Why? It’s largely about data, people, and a methodical approach to deploy AI to connect data and people. The good news is that if your organization has built a process mining capability, you are well placed to climb the ladder to achieve AI-driven process optimization. But to get there, you need a disciplined step-by-step approach along two tracks: a tactical management track and an operational management track.
First, it’s about predicting what will happen if you leave your process as-is, and what will happen if you implement a change in your process. At a tactical level, a predictive capability allows you to prioritize improvement opportunities. At an operational level, it allows you to predict issues, such as deadline violations. The challenges here are how to manage the inherent uncertainty of data-driven AI systems, and how to change your people and culture to manage processes proactively, rather than reactively. One thing is to deploy predictive dashboards, another entirely different thing is to get people to use them effectively to improve the processes.
Next, it’s about becoming preemptive: continuously optimizing your processes by leveraging streams of data-driven recommendations to trigger changes and actions. At the tactical level, this prescriptive capability allows you to implement the right changes to maximize competing KPIs. At the operational level, it means triggering interventions in your processes to “wow” customers and to meet SLAs in a cost-effective manner. The challenge here is how to help process owners, workers, and other stakeholders to understand the causes of performance issues and how the recommendations generated by the AI-driven optimization system will tackle those causes?
And finally, as an icing on the cake, generative AI allows you to produce improvement scenarios to adapt to external changes. Importantly, the transformative potential of generative AI in the context of process improvement does not come from its ability to provide question-and-answer interfaces to query data. It comes from its ability to support continuous process adaptation by generating and validating hypotheses based on a holistic view of your organization.
In this talk, we will discuss how organizations are driving sustainable business value by strategically layering predictive, prescriptive, and generative AI onto a process mining foundation, one brick at a time.
Industry keynote talk by Marlon Dumas at the 5th International Conference on Process Mining (ICPM'2023), Rome, Italy, 25 October 2023
Discovery and Simulation of Business Processes with Probabilistic Resource Av...Marlon Dumas
In the field of business process simulation, the availability of resources is captured by assigning a calendar to each resource, e.g., Monday-Friday 9:00-18:00. Resources are assumed to be always available to perform activities during their calendar. This assumption often does not hold due to interruptions, breaks, or because resources time-share across multiple processes. A simulation model that captures availability via crisp time slots (a resource is either on or off during a slot) does not capture these behaviors, leading to inaccuracies in the simulation output. This paper presents a simulation approach wherein resource availability is modeled probabilistically. In this approach, each availability time slot is associated with a probability, allowing us to capture, for example, that a resource is available on Fridays between 14:00-15:00 with 90% probability and between 17:00-18:00 with 50% probability. The paper proposes an algorithm to discover probabilistic availability calendars from event logs. An empirical evaluation shows that simulation models with probabilistic calendars discovered from event logs, replicate the temporal distribution of activity instances and cycle times of a process more closely than simulation models with crisp calendars.
This presentation was delivered at the 5th International Conference on Process Mining (ICPM'2023), Rome, Italy, October 2023.
The paper is available at: https://easychair.org/publications/preprint/Rz9g
Can I Trust My Simulation Model? Measuring the Quality of Business Process Si...Marlon Dumas
Business Process Simulation (BPS) is an approach to analyze the performance of business processes under different scenarios. For example, BPS allows us to estimate what would be the cycle time of a process if one or more resources became unavailable. The starting point of BPS is a process model annotated with simulation parameters (a BPS model). BPS models may be manually designed, based on information collected from stakeholders and empirical observations, or automatically discovered from execution data. Regardless of its origin, a key question when using a BPS model is how to assess its quality. In this paper, we propose a collection of measures to evaluate the quality of a BPS model w.r.t. its ability to replicate the observed behavior of the process. We advocate an approach whereby different measures tackle different process perspectives. We evaluate the ability of the proposed measures to discern the impact of modifications to a BPS model, and their ability to uncover the relative strengths and weaknesses of two approaches for automated discovery of BPS models. The evaluation shows that the measures not only capture how close a BPS model is to the observed behavior, but they also help us to identify sources of discrepancies.
Presentation delivered by David Chapela-Campa at the BPM'2023 conference, Utrecht, September 2023.
Business Process Optimization: Status and PerspectivesMarlon Dumas
For decades, business process optimization has been largely about art and craft (and sometimes wizardry). Apart from narrowly scoped approaches to optimize resource allocation (often assuming that workers behave like robots), a lot of business process optimization relies on high-level guidelines, with A/B testing for idea validation, which is hard to scale to complex processes. As a result, managers end up settling for a "good enough" process. Can we do more? In this talk, we review recent work on the use of high-fidelity simulation models discovered from execution data. The talk also explores the possibilities (and perils) that LLMs bring to the field of business process optimization.
This talk was delivered at the Workshop on Data-Driven Business Process Optimization at the BPM'2023 conference.
Learning When to Treat Business Processes: Prescriptive Process Monitoring wi...Marlon Dumas
Paper presentation at the 35th International Conference on Advanced Information Systems Engineering (CAiSE'2023).
Abstract.
Increasing the success rate of a process, i.e. the percentage of cases that end in a positive outcome, is a recurrent process improvement goal. At runtime, there are often certain actions (a.k.a. treatments) that workers may execute to lift the probability that a case ends in a positive outcome. For example, in a loan origination process, a possible treatment is to issue multiple loan offers to increase the probability that the customer takes a loan. Each treatment has a cost. Thus, when defining policies for prescribing treatments to cases, managers need to consider the net gain of the treatments. Also, the effect of a treatment varies over time: treating a case earlier may be more effective than later in a case. This paper presents a prescriptive monitoring method that automates this decision-making task. The method combines causal inference and reinforcement learning to learn treatment policies that maximize the net gain. The method leverages a conformal prediction technique to speed up the convergence of the reinforcement learning mechanism by separating cases that are likely to end up in a positive or negative outcome, from uncertain cases. An evaluation on two real-life datasets shows that the proposed method outperforms a state-of-the-art baseline.
Why am I Waiting Data-Driven Analysis of Waiting Times in Business ProcessesMarlon Dumas
Presentation of a research paper at the 35th International Conference on Advanced Information Systems Engineering (CAiSE) in Zaragoza Spain. The paper presents a classification of causes of waiting times in business processes and a method to automatically detect and quantify the presence of each of these causes in a business process recorded in an event log.
This talk introduces the concept of Augmented Business Process Management System: An ABPMS is a process-aware information system that relies on trustworthy AI technology to
reason and act upon data, within a set of restrictions, with the aim to continuously adapt and
improve a set of business processes with respect to one or more key performance indicators.
The talk describes the transition from existing process mining technology to AI-Augmented BPM as a pyramid, where predictive, prescriptive, conversational and reasoning capabilities are stacked up incrementally to reach the level of Augmented BPM.
Talk delivered at the AAAI'2023 Workshop on AI for Business Process Management.
Process Mining and Data-Driven Process SimulationMarlon Dumas
Guest lecture delivered at the - Institut Teknologi Sepuluh on 8 December 2022.
This lecture gives an overview of process mining and simulation techniques, and how the two can be used together in process improvement projects.
Modeling Extraneous Activity Delays in Business Process SimulationMarlon Dumas
This paper presents a technique to enhance the fidelity of business process simulation models by detecting unexplained (extraneous) delays from business process execution data, and modeling these delays in the simulation model, via timer events.
The presentation was delivered at the 4th International Conference on Process Mining (ICPM'2022).
Paper available at: https://arxiv.org/abs/2206.14051
Business Process Simulation with Differentiated Resources: Does it Make a Dif...Marlon Dumas
Existing methods for discovering business process simulation models from execution data (event logs) assume that all resources in a pool have the same performance and share the same availability calendars. This paper proposes a method for discovering simulation models, wherein each resource is treated as an individual entity, with its own performance and availability calendar. An evaluation shows that simulation models with differentiated resources more closely replicate the distributions of cycle times and the work rhythm in a process than models with undifferentiated resources. The paper is available at: https://link.springer.com/chapter/10.1007/978-3-031-16103-2_24
Prescriptive Process Monitoring Under Uncertainty and Resource ConstraintsMarlon Dumas
This paper presents an approach to trigger runtime interventions at runtime, in order to improve the success rate of a process, when the number of resources who can perform these interventions is limited.
The paper is available at: https://link.springer.com/chapter/10.1007/978-3-031-16171-1_13
The presentation delivered at the 20th International Conference on Business Process Management (BPM'2022), in Muenster, Germany, September 2022.
Slides of a lecture delivered at the First Process Mining Summer School in Aachen, Germany, July 2022.
This lecture introduces techniques in the area of "task mining" with an emphasis on Robotic Process Mining. Robotic Process Mining (RPM) is a family of techniques to discover repetitive routines that can be automated using Robotic Process Automation (RPA) technology, by analyzing interactions between
one or more workers and one or more software applications, during the performance of one or more tasks in a business process. In general, RPM techniques take as input logs of User Interactions (UI logs). These UI logs are recorded while workers interact with one or more applications, typically desktop applications. Based on these logs, RPM techniques produce specifications of one or more routines that can be automated using RPA or related tools.
Accurate and Reliable What-If Analysis of Business Processes: Is it Achievable?Marlon Dumas
In this talk, I discuss the problem of how to discover simulation models that can be used to, accurately and reliably, predict the impact of a change on a business process, e.g. what-if we automate an activity? what-if 10% of our workers become unavailable? I focus on recent approaches that exploit the availability of data in enterprise systems to address this question.
Learning Accurate Business Process Simulation Models from Event Logs via Auto...Marlon Dumas
Paper presentation at the International Conference on Advanced Information Systems Engineering (CAiSE).
This paper presents an approach to automatically discover business process simulation models from event logs by combining process mining and deep learning techniques.
Paper available at: https://link.springer.com/chapter/10.1007/978-3-031-07472-1_4
Process Mining: A Guide for PractitionersMarlon Dumas
Paper presentation delivered at the Research Conference on Challenges in Information Science (RCIS 2022). The paper studies the following questions:
1) What are the most common use cases for process mining methods?
2) What business questions do process mining methods address?
Paper available at:
https://link.springer.com/chapter/10.1007/978-3-031-05760-1_16
Process Mining for Process Improvement.pptxMarlon Dumas
Presentation of a research paper at the 16th International Conference on Research Challenges in Information Science (RCIS). The paper presents the results of an empirical study on how practitioners use process mining to identify business process improvement opportunities. The paper is available at: https://link.springer.com/chapter/10.1007/978-3-031-05760-1_13
Data-Driven Analysis of Batch Processing Inefficiencies in Business ProcessesMarlon Dumas
Slides of a research paper presentation at the 16th International Conference on Research Challenges in Information Science (RCIS).
The research paper presents an approach to analyze event logs of business processes in order to identify batched activities and to analyze the waiting times caused by these activities.
Paper available at: https://link.springer.com/chapter/10.1007/978-3-031-05760-1_14
Optimización de procesos basada en datosMarlon Dumas
Ponencia en BPM Day Lima 2021.
En esta charla, hablaremos de métodos y aplicaciones emergentes en el ámbito de la optimización de procesos basada en datos. Hablaremos de avances en el área de la minería de procesos, de métodos de construcción de gemelos digitales de procesos y de métodos de monitoreo predictivo. Mostraremos por medio de ejemplos y casos de estudio, cómo estos métodos permiten guiar las iniciativas de transformación digital y de mejora continua de procesos, En particular, ilustraremos el uso de estos métodos para: (1) analizar el rendimiento de los procesos de negocio de manera a identificar fricciones y oportunidades de automatización; (2) predecir el impacto de cambios, y en particular, predecir el impacto de una iniciativa de automatización; (3) realizar predicciones sobre el rendimiento del proceso y ajustar la ejecución del proceso de manera a prevenir incumplimientos del SLA, quejas de clientes, y otros eventos indeseables.
Process Mining and AI for Continuous Process ImprovementMarlon Dumas
Talk delivered at BPM Day Rio Grande do Sul on 11 November 2021.
Abstract.
Process mining is a technology that marries methods from business process management and from data science, to support operational excellence and digital transformation. Process mining tools can transform data extracted from enterprise systems, into visualizations and reports that allow managers to improve organizational performance along different dimensions, such as efficiency, quality, and compliance. In this talk, we will give an overview of the capabilities of process mining tools, and we will illustrate the benefits of process mining via several case studies in the fields of insurance, manufacturing, and IT service management.
A Strategic Approach: GenAI in EducationPeter Windle
Artificial Intelligence (AI) technologies such as Generative AI, Image Generators and Large Language Models have had a dramatic impact on teaching, learning and assessment over the past 18 months. The most immediate threat AI posed was to Academic Integrity with Higher Education Institutes (HEIs) focusing their efforts on combating the use of GenAI in assessment. Guidelines were developed for staff and students, policies put in place too. Innovative educators have forged paths in the use of Generative AI for teaching, learning and assessments leading to pockets of transformation springing up across HEIs, often with little or no top-down guidance, support or direction.
This Gasta posits a strategic approach to integrating AI into HEIs to prepare staff, students and the curriculum for an evolving world and workplace. We will highlight the advantages of working with these technologies beyond the realm of teaching, learning and assessment by considering prompt engineering skills, industry impact, curriculum changes, and the need for staff upskilling. In contrast, not engaging strategically with Generative AI poses risks, including falling behind peers, missed opportunities and failing to ensure our graduates remain employable. The rapid evolution of AI technologies necessitates a proactive and strategic approach if we are to remain relevant.
Model Attribute Check Company Auto PropertyCeline George
In Odoo, the multi-company feature allows you to manage multiple companies within a single Odoo database instance. Each company can have its own configurations while still sharing common resources such as products, customers, and suppliers.
Operation “Blue Star” is the only event in the history of Independent India where the state went into war with its own people. Even after about 40 years it is not clear if it was culmination of states anger over people of the region, a political game of power or start of dictatorial chapter in the democratic setup.
The people of Punjab felt alienated from main stream due to denial of their just demands during a long democratic struggle since independence. As it happen all over the word, it led to militant struggle with great loss of lives of military, police and civilian personnel. Killing of Indira Gandhi and massacre of innocent Sikhs in Delhi and other India cities was also associated with this movement.
Executive Directors Chat Leveraging AI for Diversity, Equity, and InclusionTechSoup
Let’s explore the intersection of technology and equity in the final session of our DEI series. Discover how AI tools, like ChatGPT, can be used to support and enhance your nonprofit's DEI initiatives. Participants will gain insights into practical AI applications and get tips for leveraging technology to advance their DEI goals.
Normal Labour/ Stages of Labour/ Mechanism of LabourWasim Ak
Normal labor is also termed spontaneous labor, defined as the natural physiological process through which the fetus, placenta, and membranes are expelled from the uterus through the birth canal at term (37 to 42 weeks
Macroeconomics- Movie Location
This will be used as part of your Personal Professional Portfolio once graded.
Objective:
Prepare a presentation or a paper using research, basic comparative analysis, data organization and application of economic information. You will make an informed assessment of an economic climate outside of the United States to accomplish an entertainment industry objective.
Read| The latest issue of The Challenger is here! We are thrilled to announce that our school paper has qualified for the NATIONAL SCHOOLS PRESS CONFERENCE (NSPC) 2024. Thank you for your unwavering support and trust. Dive into the stories that made us stand out!
Semantic DMN: Formalizing Decision Models with Domain Knowledge
1. Semantic DMN
Formalizing Decision Models with Domain Knowledge
Diego Calvanese1, Marlon Dumas, Fabrizio M. Maggi,
Marco Montali1
1Free University of Bozen-Bolzano, Italy
2University of Tartu, Estonia
KRDB
1
montali@inf.unibz.it
RuleML+RR 2017, London, UK
Marco Montali Semantic DMN RuleML+RR 2017 1 / 25
2. The New Youth of Decision Models
Decision Model and Notation (DMN) standard by OMG:
• Supports elicitation and clean representation of decision models.
• Decision: set of business rules for a single decision with fixed
inputs/outputs. Captured in a table.
• Decision Requirements Diagram: composition of multiple decisions.
Increasingly being adopted in the industry.
• Many tools for modeling, checking, refactoring, applying DMN
models.
Marco Montali Semantic DMN RuleML+RR 2017 2 / 25
3. Success Factor #1: Timeliness
Organisations are increasingly process-oriented.
• DMN encourages separation of concerns between the process logic
and the decision logic.
• Clarity, modularity, reusability.
Marco Montali Semantic DMN RuleML+RR 2017 3 / 25
4. Success Factor #1: Timeliness
Organisations are increasingly process-oriented.
• DMN encourages separation of concerns between the process logic
and the decision logic.
• Clarity, modularity, reusability.
From BPMN. . .
Marco Montali Semantic DMN RuleML+RR 2017 3 / 25
5. Success Factor #1: Timeliness
Organisations are increasingly process-oriented.
• DMN encourages separation of concerns between the process logic
and the decision logic.
• Clarity, modularity, reusability.
. . . to BPMN+DMN
Marco Montali Semantic DMN RuleML+RR 2017 3 / 25
6. Success Factor #2: Understandability
hereby call a facet. Each row has an identifier, one expression for each input
column (a.k.a. the input entries), and one specific value for each output column
(the output entries). For example, Table 1 shows a DMN table with two input
columns, one output column and four rules.
Loan Grade
U C Annual Loan Grade
Income Size
0 0 VG,G,F,P
A [0..1000] [0..1000] VG
B [250..750] [4000..5000] G
C [500..1500] [500..3000] F
D [2000..2500] [0..2000] P
Table name
Hit indicator
Completeness
indicator
Input attributes
Facet
Output
attribute
Rule
Priority
indicator
Input entries Output entry
Table 1: Sample decision table with its constitutive elements
Given an input configuration consisting of a vector of values (one entry per
column), if every input entry of a row holds true for this input vector, then the
3
Rule conditions specified using the Friendly Enough Expression Language,
coming in two flavours:
• S-FEEL - simple and graphical.
• (full) FEEL - powerful and textual.
We focus on S-FEEL.
Marco Montali Semantic DMN RuleML+RR 2017 4 / 25
7. Research Questions
Formal semantics:
• What is the semantics of DMN Decision Tables?
• How to efficiently check the correctness of tables and their indicators?
−→ [ ,BPM2016]
Marco Montali Semantic DMN RuleML+RR 2017 5 / 25
8. Research Questions
Formal semantics:
• What is the semantics of DMN Decision Tables?
• How to efficiently check the correctness of tables and their indicators?
−→ [ ,BPM2016]
Model integration:
• How to assess the overall correctness of processes+decision models?
−→ [Hewelt and Weske,BPMForum2017]
Marco Montali Semantic DMN RuleML+RR 2017 5 / 25
9. Research Questions
Formal semantics:
• What is the semantics of DMN Decision Tables?
• How to efficiently check the correctness of tables and their indicators?
−→ [ ,BPM2016]
Model integration:
• How to assess the overall correctness of processes+decision models?
−→ [Hewelt and Weske,BPMForum2017]
• How to integrate decision models and background knowledge? DMN
works under the assumption of complete information!
• How to formalise the semantics of such an integrated model?
• How to reassess correctness in this richer setting?
−→ This work!
Marco Montali Semantic DMN RuleML+RR 2017 5 / 25
10. A Concrete Example
Inspired by the Ship and Port Facility Security Code:
• Ship clearance in the Netherlands.
• March 2016 challenge at dmcommunity.org.
Marco Montali Semantic DMN RuleML+RR 2017 6 / 25
11. Knowledge of Ships
There are several types of ships, characterised by:
• length (in m);
• draft size (in m);
• capacity (in TEU).
Marco Montali Semantic DMN RuleML+RR 2017 7 / 25
12. Knowledge of Ships
There are several types of ships, characterised by:
• length (in m);
• draft size (in m);
• capacity (in TEU).
Ship Type Short Length (m) Draft (m) Capacity (TEU)
Converted Cargo Vessel CCV 135 0 – 9 500
Converted Tanker CT 200 0 – 9 800
Cellular Containership CC 215 10 1000 – 2500
Small Panamax Class SPC 250 11 – 12 3000
Large Panamax Class LPC 290 11 – 12 4000
Post Panamax PP 275 – 305 11 – 13 4000 – 5000
Post Panamax Plus PPP 335 13 – 14 5000 – 8000
New Panamax NP 397 15.5 11 000 – 14 500
Marco Montali Semantic DMN RuleML+RR 2017 7 / 25
13. Knowledge of Ships
There are several types of ships, characterised by:
• length (in m);
• draft size (in m);
• capacity (in TEU).
Ship Type Short Length (m) Draft (m) Capacity (TEU)
Converted Cargo Vessel CCV 135 0 – 9 500
Converted Tanker CT 200 0 – 9 800
Cellular Containership CC 215 10 1000 – 2500
Small Panamax Class SPC 250 11 – 12 3000
Large Panamax Class LPC 290 11 – 12 4000
Post Panamax PP 275 – 305 11 – 13 4000 – 5000
Post Panamax Plus PPP 335 13 – 14 5000 – 8000
New Panamax NP 397 15.5 11 000 – 14 500
Warning!
This is not a decision table. This is a set of constraints relating the ship
types with corresponding possible dimensions.
Marco Montali Semantic DMN RuleML+RR 2017 7 / 25
14. Clearance Rules
A vessel may enter a port if:
• it is equipped with a valid certificate of registry;
• it meets the safety requirements.
Marco Montali Semantic DMN RuleML+RR 2017 8 / 25
15. Clearance Rules
A vessel may enter a port if:
• it is equipped with a valid certificate of registry;
• it meets the safety requirements.
Valid certificate of registry
Certificate expiration date > current date.
Safety Requirements
Based on ship characteristics and the amount of residual cargo:
• small ships (with length ≤ 260 m and draft ≤ 10 m) may enter only if their capacity is
≤ 1000 TEU.
• Ships with a small length (≤ 260 m), medium draft > 10 and ≤ 12 m, and capacity
≤ 4000 TEU, may enter only if cargo residuals have ≤ 0.75 mg dry weight per cm2
.
• Medium-sized ships (with length > 260 m and < 320 m, and draft > 10 m and
≤ 13 m), and with a cargo capacity < 6000 TEU, may enter only if their residuals have
≤ 0.5 mg dry weight per cm2
.
• Big ships with length between 320 m and 400 m, draft > 13 m, and capacity
> 4000 TEU, may enter only if their carried residuals have ≤ 0.25 mg dry weight per
cm2
.
Marco Montali Semantic DMN RuleML+RR 2017 8 / 25
16. Clearance Rules in DMNTable 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
9 > today [320,400) 13 >4000 >0.25 N
• “ ” is an S-FEEL condition representing any value (i.e., it evaluates to true for every
object in D);
• given a constant v, expressions “v” and “not(v)” are S-FEEL conditions respectively
denoting that the value shall (not) match with v.
• if D is a numerical datatype, given two numbers v1, v2 2 D, the interval expres-
Marco Montali Semantic DMN RuleML+RR 2017 9 / 25
17. Clearance Rules in DMNTable 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
9 > today [320,400) 13 >4000 >0.25 N
• “ ” is an S-FEEL condition representing any value (i.e., it evaluates to true for every
object in D);
• given a constant v, expressions “v” and “not(v)” are S-FEEL conditions respectively
denoting that the value shall (not) match with v.
• if D is a numerical datatype, given two numbers v1, v2 2 D, the interval expres-
Key Questions
• Are the table indicators correct?
• Do we need complete information about ships to apply the table? Is it
enough to know certificate expiration, ship type, cargo residuals?
Marco Montali Semantic DMN RuleML+RR 2017 9 / 25
18. Clearance Rules in DMNTable 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
9 > today [320,400) 13 >4000 >0.25 N
• “ ” is an S-FEEL condition representing any value (i.e., it evaluates to true for every
object in D);
• given a constant v, expressions “v” and “not(v)” are S-FEEL conditions respectively
denoting that the value shall (not) match with v.
• if D is a numerical datatype, given two numbers v1, v2 2 D, the interval expres-
sions “[v1, v2]”, “[v1, v2)”, “(v1, v2]”, and “(v1, v2)” are S-FEEL conditions (inter-
Correctness of table indicators
• Unique hit: yes!
• Completeness:
no if table considered in isolation;
yes if understood in the context of background knowledge about ships.
Marco Montali Semantic DMN RuleML+RR 2017 9 / 25
19. Clearance Rules in DMNTable 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
9 > today [320,400) 13 >4000 >0.25 N
• “ ” is an S-FEEL condition representing any value (i.e., it evaluates to true for every
object in D);
• given a constant v, expressions “v” and “not(v)” are S-FEEL conditions respectively
denoting that the value shall (not) match with v.
• if D is a numerical datatype, given two numbers v1, v2 2 D, the interval expres-
sions “[v1, v2]”, “[v1, v2)”, “(v1, v2]”, and “(v1, v2)” are S-FEEL conditions (inter-
Table application from certificate expiration, ship type, cargo residuals
• From ship type, one can infer partial information about ship
characteristics, using background knowledge.
• Combined with certificate expiration and cargo residuals, this is enough
to unambiguously apply the decision table!
Marco Montali Semantic DMN RuleML+RR 2017 9 / 25
20. Sources of Decision Knowledge
• DMN Decisions. Defined by the standard.
• Knowledge Base. Multi-sorted FOL theory FOL(D):
◦ Sorts D: correspond to the S-FEEL data types (strings, numbers,
with their comparison predicates).
◦ Concept: unary predicate interpreted over abstract object domain ∆.
◦ Role: Binary predicate relating pairs of objects from ∆.
◦ Feature: Binary predicate relating objects from ∆ to data values from
a selected data type in D.
Marco Montali Semantic DMN RuleML+RR 2017 10 / 25
21. Sources of Decision Knowledge
• DMN Decisions. Defined by the standard.
• Knowledge Base. Multi-sorted FOL theory FOL(D):
◦ Sorts D: correspond to the S-FEEL data types (strings, numbers,
with their comparison predicates).
◦ Concept: unary predicate interpreted over abstract object domain ∆.
◦ Role: Binary predicate relating pairs of objects from ∆.
◦ Feature: Binary predicate relating objects from ∆ to data values from
a selected data type in D.
Example
Ship Type Short Length (m) Draft (m) Capacity (TEU)
. . . CCV 135 0 – 9 500
∀s.CCV(s) → Ship(s) ∧ ∀l.(length(s, l) → l = 135) ∧
∀d.(draft(s, d) → d ≥ 0 ∧ d ≤ 9) ∧ ∀c.(capacity(s, c) → c = 500)
Marco Montali Semantic DMN RuleML+RR 2017 10 / 25
22. Combining Decisions and Background Knowledge
Marco Montali Semantic DMN RuleML+RR 2017 11 / 25
23. Combining Decisions and Background Knowledge
Marco Montali Semantic DMN RuleML+RR 2017 11 / 25
24. Combining Decisions and Background Knowledge
Marco Montali Semantic DMN RuleML+RR 2017 11 / 25
25. Combining Decisions and Background Knowledge
Marco Montali Semantic DMN RuleML+RR 2017 11 / 25
26. Decision Knowledge Bases
Definition (DKB)
A decision knowledge base over datatypes D (D-DKB, or DKB for short)
is a tuple Σ, T , M, C, A , where:
• T is a FOL(D) IKB with signature Σ.
• M is a DMN decision that satisfies the following two typing conditions:
(output uniqueness) M.O ∩ Σ = ∅;
(input type compatibility) for every binary predicate P ∈ Σ whose name
appears in M.I, their types are compatible, i.e.,
M.AType(P) = SigP (2).
• C ∈ ΣC is a bridge concept: a concept from Σ that links T with M.
• A is an ABox over the extended signature Σ ∪ M.I.
Example
The combination of the knowledge base of ships with the vessel clearance
DMN decision, using Ship as bridge concept.
Marco Montali Semantic DMN RuleML+RR 2017 12 / 25
27. Formalising DKBs
Encode the DMN decision in FOL(D):
• Using the bridge concept as reference concept.
• Then simply enriching the original KB with the so-obtained additional
axioms.
Marco Montali Semantic DMN RuleML+RR 2017 13 / 25
28. Formalising DKBs
Encode the DMN decision in FOL(D):
• Using the bridge concept as reference concept.
• Then simply enriching the original KB with the so-obtained additional
axioms.
Marco Montali Semantic DMN RuleML+RR 2017 13 / 25
29. Encoding of Attributes (1)
Signature extended by introducing:
• A feature for each input attribute of the decision that is not already
used in the KB.
• A feature for each combination of output attribute-rule: output feature
+ its provenance.
Example
8 D. Calvanese, M. Dumas, F.M. Maggi, M. Montali
Table 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
9 > today [320,400) 13 >4000 >0.25 N
• 2 new features for CerExp and Cargo;
• 9 new features for Enter, i.e., Enteri for rule i (i ∈ {1, . . . , 9}).
Marco Montali Semantic DMN RuleML+RR 2017 14 / 25
30. Encoding of Attributes (2)
For each input/output feature, add 2 axioms:
• Typing axiom: the domain of the feature is the bridge concept.
• Functionality axiom: no two attributes of the same kind.
◦ For input features: non-ambiguous application of rules.
◦ For output features: simply asserts that an output cell contains a
single value.
Example
8 D. Calvanese, M. Dumas, F.M. Maggi, M. Montali
Table 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
For the Length attribute:
∀x, y.length(x, y) → Ship(x). ∀x, y, z.length(x, y)∧length(x, z) → y = z.
Marco Montali Semantic DMN RuleML+RR 2017 15 / 25
31. Encoding Attributes
Extended by introducing:
• A feature for each input attribute of the decision that is not already
used in the KB.
• A feature for each combination of output attribute-rule: output feature
+ its provenance.
Example
8 D. Calvanese, M. Dumas, F.M. Maggi, M. Montali
Table 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
9 > today [320,400) 13 >4000 >0.25 N
• 2 new features for CerExp and Cargo;
• 9 new features for Enter: Enteri for rule i (i ∈ {1, . . . , 9}).
Marco Montali Semantic DMN RuleML+RR 2017 16 / 25
32. Encoding of S-FEEL Conditions
Quite straightforward: an S-FEEL condition is nothing else than a unary
FOL(D) formula.
S-FEEL Translation Function
Given an S-FEEL condition Q, function τx(Q) builds a unary FOL(D)
formula that encodes the application of Q to x.
τx
(Q)
true if Q = “−”
x v if Q = “not(v)”
x = v if Q = “v”
x ≈ v if Q = “≈ v” and ≈ ∈ {<, >, ≤, ≥}
x > v1 ∧ x < v2 if Q = “(v1..v2)”
. . . (similarly for the other types of intervals)
τx(Q1) ∨ τx(Q2) if Q = “Q1,Q2”
Marco Montali Semantic DMN RuleML+RR 2017 17 / 25
33. Encoding of Attribute Facets
Each attribute facet becomes an axiom:
• The facet constrains the range of the corresponding feature.
• The facet is an S-FEEL condition: just translate it to get the constraint.
Example
8 D. Calvanese, M. Dumas, F.M. Maggi, M. Montali
Table 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
9 > today [320,400) 13 >4000 >0.25 N
For Length: ∀x, y.length(x, y) → y ≥ 0.
Marco Montali Semantic DMN RuleML+RR 2017 18 / 25
34. Encoding of Rules
DMN rule as an implication: whenever an instance of the bridge concept
satisfies all input conditions, then it must be related to the output values.
Marco Montali Semantic DMN RuleML+RR 2017 19 / 25
35. Encoding of Rules
DMN rule as an implication: whenever an instance of the bridge concept
satisfies all input conditions, then it must be related to the output values.
Marco Montali Semantic DMN RuleML+RR 2017 19 / 25
36. Encoding of Rules
DMN rule as an implication: whenever an instance of the bridge concept
satisfies all input conditions, then it must be related to the output values.
Marco Montali Semantic DMN RuleML+RR 2017 19 / 25
37. Encoding of Rules: ExampleTable 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
9 > today [320,400) 13 >4000 >0.25 N
• “ ” is an S-FEEL condition representing any value (i.e., it evaluates to true for every
object in D);
• given a constant v, expressions “v” and “not(v)” are S-FEEL conditions respectively
denoting that the value shall (not) match with v.
• if D is a numerical datatype, given two numbers v1, v2 2 D, the interval expres-
Encoding of rule #2:
∀x,e, l, d, c. exp(x, e) ∧ e > today ∧ length(x, l) ∧ l < 260
∧ draft(x, d) ∧ d < 10 ∧ cap(x, c) ∧ c < 1000 → ∃o.enter2(x, o) ∧ o = Y.
Marco Montali Semantic DMN RuleML+RR 2017 20 / 25
38. Fundamental Reasoning Tasks for DKBs
I/O Relationship
Input:
• DKB X,
• object c ∈ ∆ of type C,
• output attribute Po ∈ M.O,
• value v ∈ M.AType(Po).
Question: Is it the case that X assigns output v?
Table Completeness (C indicator)
Input: IDKB X (intensional, no data).
Question: Is it the case that, for every possible input, at least one rule of
the decision in X is guaranteed to trigger?
Correctness of Unique Hit (U indicator)
Input: IDKB X (intensional, no data).
Question: Is it the case that rules in the decision of X do not overlap?
Marco Montali Semantic DMN RuleML+RR 2017 21 / 25
39. Reasoning on DKBs
Fact
All such reasoning tasks can be encoded as logical implication checks in
FOL(D).
This is of no help.
Marco Montali Semantic DMN RuleML+RR 2017 22 / 25
40. Reasoning on DKBs
Fact
All such reasoning tasks can be encoded as logical implication checks in
FOL(D).
This is of no help.
Idea
Investigate suitable fragments of FOL(D) that:
• Are expressive enough to encode DMN decisions.
• Have decidable reasoning (understanding its complexity).
Description logics with data types are the natural candidate for this!
Marco Montali Semantic DMN RuleML+RR 2017 22 / 25
41. Reasoning on DKBs
Fact
All such reasoning tasks can be encoded as logical implication checks in
FOL(D).
This is of no help.
Idea
Investigate suitable fragments of FOL(D) that:
• Are expressive enough to encode DMN decisions.
• Have decidable reasoning (understanding its complexity).
Description logics with data types are the natural candidate for this!
We investigate in particular the usage of ALC(D):
• Well-known ALC extended with data types (not interacting with each
other).
• Reasoning (e.g., subsumption): ExpTime-complete.
• Goes well with S-FEEL!
Marco Montali Semantic DMN RuleML+RR 2017 22 / 25
42. Encoding DMN Decisions into ALC(D)
We reconstruct the encoding of DMN decisions into FOL(D), using
ALC(D).
8 D. Calvanese, M. Dumas, F.M. Maggi, M. Montali
Table 2: Decision table for determining vessel clearance in Dutch ports; symbol today
is a shortcut for the milliseconds representing time 00:00:00 of the current date.
Vessel Clearance
C U Cer. Exp. Length Draft Capacity Cargo Enter
(date) (m) (m) (TEU) (mg/cm2
)
0 0 0 0 0 Y,N
1 today N
2 > today <260 <10 <1000 Y
3 > today <260 <10 1000 N
4 > today <260 [10,12] <4000 0.75 Y
5 > today <260 [10,12] <4000 >0.75 N
6 > today [260,320) (10,13] <6000 0.5 Y
7 > today [260,320) (10,13] <6000 >0.5 N
8 > today [320,400) 13 >4000 0.25 Y
9 > today [320,400) 13 >4000 >0.25 N
• “ ” is an S-FEEL condition representing any value (i.e., it evaluates to true for every
object in D);
• given a constant v, expressions “v” and “not(v)” are S-FEEL conditions respectively
denoting that the value shall (not) match with v.
Encoding of rule #2:
∀x,e, l, d, c. exp(x, e) ∧ e > today ∧ length(x, l) ∧ l < 260
∧ draft(x, d) ∧ d < 10 ∧ cap(x, c) ∧ c < 1000 → ∃o.enter2(x, o) ∧ o = Y.
Encoding of rule #2 in ALC(D):
∀exp.real[>today] ∀length.real[<260] ∀draft.real[<10] ∀cap.real[<1000]
∃enter2 ∀enter2.stri
Marco Montali Semantic DMN RuleML+RR 2017 23 / 25
43. Main Results
Consider now an ALC(D) DKB, where the background knowledge is
expressed in ALC(D) (e.g., ship types).
Theorem
The translation into FOL(D) is logically equivalent to the translation into
ALC(D).
Marco Montali Semantic DMN RuleML+RR 2017 24 / 25
44. Main Results
Consider now an ALC(D) DKB, where the background knowledge is
expressed in ALC(D) (e.g., ship types).
Theorem
The translation into FOL(D) is logically equivalent to the translation into
ALC(D).
Theorem
The I/O relationship, table completeness, and correctness of unique hit
problems can all be decided in ExpTime for ALC(D) DKBs.
Proof.
The proof is based on a reduction from the three decision problems to a
polynomial number of instance or subsumption checks w.r.t. an ALC(D)
KB, which can be decided in ExpTime.
Marco Montali Semantic DMN RuleML+RR 2017 24 / 25
45. Conclusions
• Importance of combining DMN decisions with other models.
• In this work: combination with background knowledge, reasoning under
incomplete information.
Many future avenues:
• Combination with (data-aware) process models, reconstructing
verification in this richer setting.
• Lightweight DKBs: DMN Decisions can be expressed in the logic
DL-Lite
(HN)
bool (D) (conjecture: reasoning in CoNP).
• Closed-open models.
• Identification of minimal set of inputs you need to know for
non-ambiguously applying the decision logic (interpolation, epistemic
interpretation, . . . ).
Marco Montali Semantic DMN RuleML+RR 2017 25 / 25