Logic-based reasoning support for SBVR

DOI10.3233/FI-2013-848MaRDI QIDQ2841963zbMATH OpenFDO

Authors Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca

Publication date 30 July 2013

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

consistencyreasoningbusiness rulesdeontic rulesORM2

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Enterprise modeling and decision-support for automating the business rules lifecycle
• BPMN -- a logical model and property analysis
• scientific article; zbMATH DE number 2080632
• Reasoning support for Semantic Web ontology family languages using Alloy
• Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge

Cited in

(2)

• Enterprise modeling and decision-support for automating the business rules lifecycle
• Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge

This page was built for publication: Logic-based reasoning support for SBVR

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841963)