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

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

zbMATH Keywords

description logicsdatatypesdecision tablesdecision model and notationmaritime security

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Uses Software

• FaCT++
• HermiT

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