Conceptual schema and relational database design: a fact oriented approach
Conceptual schema and relational database design: a fact oriented approach
An illustration of verification and validation in the modelling phase of KBS development
Data & Knowledge Engineering
Translation of Decision Tables
ACM Computing Surveys (CSUR)
Combining decision rules in a decision table
Communications of the ACM
Data modelling versus ontology engineering
ACM SIGMOD Record
Formal Ontology Engineering in the DOGMA Approach
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
Information Modeling and Relational Databases
Information Modeling and Relational Databases
On conducting a decision group to construct semantic decision tables
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Towards directly applied ontological constraints in a semantic decision table
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Towards directly applied ontological constraints in a semantic decision table
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Using SOIQ(D) to formalize semantics within a semantic decision table
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
| Hi-index | 0.00 |
A semantic decision table (SDT) is a decision table properly annotated with domain ontologies. In this paper, we focus on validation and verification issues (V&V) for SDT. We use Semantic Decision Rule Language (SDRule-L), which is an extension to the Object-Role Modeling language (ORM/ORM2) for modeling SDT commitments. With these commitments, business rule modelers can discover invalid decision rules. In this paper, we focus on how to use six SDRule-L constraints, which are directly brought from ORM/ORM2. Our approach focuses on detecting invalid rules within one table.