User Tools

Site Tools


api4kb_rules

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
api4kb_rules [2012/10/22 09:34]
apaschke
api4kb_rules [2012/12/09 20:18] (current)
apaschke
Line 25: Line 25:
       * Validation is concerned with the correctness of a rule-based system in a certain domain or application (e.g. a derived discount of 10% and 5% might be mutual exclusive or might add up depending on the domain/​application)       * Validation is concerned with the correctness of a rule-based system in a certain domain or application (e.g. a derived discount of 10% and 5% might be mutual exclusive or might add up depending on the domain/​application)
       * Integrity (constraints) are a way to formulate consistency (or inconsistency) criteria       * Integrity (constraints) are a way to formulate consistency (or inconsistency) criteria
-      * Uses Test Cases for VVI (see [[http://​km.aifb.kit.edu/​ws/​swese2006/​final/​paschke_full.pdf|RuleML test cases for VVI]])+      * Uses Test Cases for VVI (see [[http://​km.aifb.kit.edu/​ws/​swese2006/​final/​paschke_full.pdf|RuleML test cases for VVI]] [[http://​www.l3s.de/​~olmedilla/​events/​2006/​SWPW06/​programme/​paper_15.pdf|Verification,​ Validation, Integrity of Rule Based Policies and Contracts in the Semantic Web]])
         * Test Cases can be used for testing at design time (test-driven development) and run time (e.g. rule translation and compliance test cases)         * Test Cases can be used for testing at design time (test-driven development) and run time (e.g. rule translation and compliance test cases)
         * Test cases can be interchanged together with rules and          * Test cases can be interchanged together with rules and 
api4kb_rules.txt ยท Last modified: 2012/12/09 20:18 by apaschke