Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
From MaRDI portal
Publication:4957188
DOI10.1017/S1471068418000479zbMath1472.68195arXiv1807.11615OpenAlexW2963543760WikidataQ64360032 ScholiaQ64360032MaRDI QIDQ4957188
Marco Montali, Diego Calvanese, Fabrizio Maria Maggi, Marlon Dumas
Publication date: 3 September 2021
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1807.11615
Management decision making, including multiple objectives (90B50) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Validation and verification of decision making rules
- Reconciling description logics and rules
- Query Answering in Description Logics: The Knots Approach
- An illustration of verification and validation in the modelling phase of KBS development
- Semantic DMN: Formalizing Decision Models with Domain Knowledge
- Answer Set Programming with External Source Access
- The Description Logic Handbook
This page was built for publication: Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge