Identifying Anomalies in SBVR-based Business Rules Using Directed Graphs and SMT-LIBv2

doi 10.5220/0006669802150222
Full Text
Abstract

Available in full text

Date
Authors
Publisher

SCITEPRESS - Science and Technology Publications

Related search

The Enrichment of BPMN Business Process Model With SBVR Business Vocabulary and Rules

2012English

Rules for Transforming OWL 2 Ontology Into SBVR

2014English

Analyzing Business Process Anomalies Using Autoencoders

Machine Learning
Artificial IntelligenceSoftware
2018English

Navigating Clustered Graphs Using Force-Directed Methods

Journal of Graph Algorithms and Applications
GeometryComputer Science ApplicationsComputer ScienceMathematicsComputational TheoryTheoretical Computer ScienceTopology
2000English

Anomalies in Ontologies With Rules

Web Semantics
Computer NetworksSoftwareHuman-Computer InteractionCommunications
2010English

Logic-Based Reasoning Support for SBVR

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Orthogonal Structures in Directed Graphs

Journal of Combinatorial Theory. Series B
CombinatoricsComputational TheoryDiscrete MathematicsTheoretical Computer ScienceMathematics
1993English

Depth-Based Hypergraph Complexity Traces From Directed Line Graphs

Pattern Recognition
Signal ProcessingComputer VisionPattern RecognitionArtificial IntelligenceSoftware
2016English

Rules Dependencies in Backward Chaining of Conceptual Graphs Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy