An illustration of verification and validation in the modelling phase of KBS development
Data & Knowledge Engineering
Translation of Decision Tables
ACM Computing Surveys (CSUR)
Optimal conversion of extended-entry decision tables with general cost criteria
Communications of the ACM
Detection of logical errors in decision table programs
Communications of the ACM
Combining decision rules in a decision table
Communications of the ACM
Restructuring decision tables for elucidation of knowledge
Data & Knowledge Engineering
The Description Logic Handbook
The Description Logic Handbook
Information Modeling and Relational Databases
Information Modeling and Relational Databases
Use Semantic Decision Tables to Improve Meaning Evolution Support Systems
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Approximation reduction in inconsistent incomplete decision tables
Knowledge-Based Systems
Towards using semantic decision tables for organizing data semantics
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
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
Directly applied ORM constraints for validating and verifying semantic decision tables
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
| Hi-index | 0.00 |
As an extension to decision tables, Semantic Decision Tables (SDTs) are considered as a powerful tool of modeling processes in various domains. An important motivation of consuming SDTs is to easily validate a decision table during the Validation and Verification (V&V) processes. An SDT contains a set of formal agreements called commitments. They are grounded on a domain ontology and considered as a result from group decision making processes, which involve a community of business stakeholders. A commitment contains a set of constraints, such as uniqueness and mandatory, with which we can analyze a decision table. A vital analysis issue is to detect inconsistency, which can arise within one table or across tables. In this paper, we focus on the formalization of the semantics within one SDT using the Description Logic $\mathcal{SOIQ}$(D). By doing so, we can use existing reasoners to detect inconsistency and thus assist decision modelers (and evaluators) to validate a decision table.