RIF Test Results

Produced: Mon Aug 16 22:38:46 EDT 2010

Contents

  1. Test Suite Summary
  2. Test Results
  3. Tested Systems

Test Suite Summary

Test suite version 1.21

ApprovedProposed
CoreBLDPRDCoreBLDPRD
Positive Entailment Builtin_literal-not-identical
Builtins_Binary
Builtins_List
Builtins_Numeric
Builtins_PlainLiteral
Builtins_String
Builtins_Time
Builtins_XMLLiteral
Builtins_anyURI
Builtins_boolean
Chaining_strategy_numeric-add_1
Chaining_strategy_numeric-subtract_2
Factorial_Forward_Chaining
Frame_slots_are_independent
Frames
Guards_and_subtypes
IRI_from_RDF_Literal
OWL_Combination_Vocabulary_Separation_Inconsistency_1
OWL_Combination_Vocabulary_Separation_Inconsistency_2
Positional_Arguments
RDF_Combination_Blank_Node
RDF_Combination_Constant_Equivalence_1
RDF_Combination_Constant_Equivalence_2
RDF_Combination_Constant_Equivalence_3
RDF_Combination_Constant_Equivalence_4
RDF_Combination_Constant_Equivalence_Graph_Entailment
RDF_Combination_SubClass_2
UCR_4.1.1
28
Arbitrary_Entailment
Chaining_strategy_numeric-add_2
Chaining_strategy_numeric-subtract_1
Class_Membership
Classification-inheritance
ElementEqualityFromListEquality
EntailEverything
Equality_in_conclusion_1
Equality_in_conclusion_2
Equality_in_conclusion_3
Equality_in_condition
Factorial_Functional
Factorial_Relational
IRI_from_IRI
Inconsistent_Entailment
Individual-Data_Separation_Inconsistency
ListConstantEquality
ListEqualityFromElementEquality
ListLiteralEquality
Multiple_IRIs_from_String
Multiple_Strings_from_IRI
Named_Arguments
RDF_Combination_Member_1
RDF_Combination_SubClass_4
RDF_Combination_SubClass_6
YoungParentDiscount_1
26
Assert
AssertRetract
AssertRetract2
Modify
Modify_loop
5
UCR_4.1.31 YoungParentDiscount_21 0 61
Negative Entailment Local_Constant
Local_Predicate
NestedListsAreNotFlatLists
Non-Annotation_Entailment
RDF_Combination_SubClass
5
Classification_non-inheritance
Named_Argument_Uniterms_non-polymorphic
OpenLists
RDF_Combination_SubClass_3
RDF_Combination_SubClass_5
5
RDF_Combination_SubClass_51 0 0 Retract1 12
Positive Syntax Core_Safeness
Core_Safeness_2
Core_Safeness_3
3
0 0 0 0 0 3
Negative Syntax 0 No_free_variables1 Core_NonSafeness
Core_NonSafeness_2
No_free_variables
3
0 0 0 4
Import Rejection Multiple_Context_Error
OWL_Combination_Invalid_DL_Formula
OWL_Combination_Invalid_DL_Import
RDF_Combination_Invalid_Constant_1
RDF_Combination_Invalid_Constant_2
RDF_Combination_Invalid_Profiles_1
6
0 0 0 0 0 6
42 32 9 1 1 1 86

Test Results

Approved Core tests (42)

No results on these tests for: SILK

Test Type Oracle Business Rules RIFLE
Percent Passing : 24% 0%
Builtin_literal-not-identical...Test the literal-not-identical built-in predicate. no data no data
Builtins_Binary...Test built-in predicates for XML Schema binary datatypes no data no data
Builtins_List...Test RIF list built-in predicates and functions pass undecided
Builtins_Numeric...Test built-in predicates and functions for XML Schema numeric datatypes pass pass
Builtins_PlainLiteral...Test built-in predicates and functions for RDF PlainLiteral datatype no data pass
Builtins_String...Test built-in predicates and functions for XML schema string datatypes no data no data
Builtins_Time...Test built-in predicates and functions for XML Schema date, time and duration datatypes no data pass
Builtins_XMLLiteral...Test built-in predicates for RDF XMLLiteral datatype no data pass
Builtins_anyURI...Test built-in predicates for XML Schema anyURI datatype no data pass
Builtins_boolean...Test built-in predicates for XML Schema boolean datatype no data pass
Chaining_strategy_numeric-add_1...This test highlights the different behavior of forward-chaining vs. backward-chaining engines pass undecided
Chaining_strategy_numeric-subtract_2...This test highlights the different behavior of forward-chaining vs. backward-chaining engines pass undecided
Core_Safeness...Test that safe formulas are accepted. Note that this ruleset does not have finite models, and is not strongly safe. pass pass
Core_Safeness_2...Test that safe formulas are accepted. pass pass
Core_Safeness_3...Test that safe formulas are accepted. no data pass
Factorial_Forward_Chaining...express factorial using Core pass undecided
Frame_slots_are_independent...Illustrate difference between frames and named-argument uniterms no data undecided
Frames...To demonstrate different syntactic options for specifying arguments pass undecided
Guards_and_subtypes...Demonstrate subtype relationships between xs:decimal and xs:integer pass undecided
IRI_from_RDF_Literal...Test extracting IRIs from RDF plain literals no data pass
Local_Constant...Test that the entailment relation does not preserve names of local constants no data undecided
Local_Predicate...Test that the entailment relation does not preserve names of local predicates no data undecided
Multiple_Context_Error...A constant symbol that is not a rif:local constant cannot occur in more than one context in the imports closure of a RIF document. no data undecided
NestedListsAreNotFlatLists...Nested lists are not flat lists pass undecided
Non-Annotation_Entailment...Test that annotation properties are discarded when considering OWL-Direct entailment no data pass
OWL_Combination_Invalid_DL_Formula...Test that an invalid combination is rejected no data undecided
OWL_Combination_Invalid_DL_Import...Test that an invalid combination is rejected no data no data
OWL_Combination_Vocabulary_Separation_Inconsistency_1...Test that violation of separation of the (individual and data value) vocabulary leads to inconsistency no data pass
OWL_Combination_Vocabulary_Separation_Inconsistency_2...Test that violation of separation of the (object and datatype value property) vocabulary leads to inconsistency no data pass
Positional_Arguments...To demonstrate different syntactic options for specifying arguments no data no data
RDF_Combination_Blank_Node...Test interaction between RDF and BLD with respect to blank nodes no data pass
RDF_Combination_Constant_Equivalence_1...Test equivalent treatment of RDF constants and RIF symbols in simple entailment no data pass
RDF_Combination_Constant_Equivalence_2...Test equivalent treatment of RDF constants and RIF symbols in simple entailment no data pass
RDF_Combination_Constant_Equivalence_3...Test equivalent treatment of RDF constants and RIF symbols in simple entailment no data pass
RDF_Combination_Constant_Equivalence_4...Test equivalent treatment of RDF constants and RIF symbols in simple entailment no data pass
RDF_Combination_Constant_Equivalence_Graph_Entailment...Test equivalent treatment of RDF constants and RIF symbols in simple entailment no data pass
RDF_Combination_Invalid_Constant_1...Verify that rif:iri typed literals are not allowed in RDF graphs imported by RIF documents no data pass
RDF_Combination_Invalid_Constant_2...Verify that rdf:PlainLiteral typed literals are not allowed in RDF graphs imported by RIF documents no data pass
RDF_Combination_Invalid_Profiles_1...Test that a RIF document with an invalid set of import directives is rejected no data pass
RDF_Combination_SubClass...Test interaction between rdfs:subClassOf, rdf:type, ## and # in RIF no data pass
RDF_Combination_SubClass_2...Test interaction between rdfs:subClassOf, rdf:type, ## and # in RIF no data fail
UCR_4.1.1...This test shows a sample scenario related to exchanging electronic business contracts across rule platforms. no data no data

Approved BLD tests (32)

No results on these tests for: RIFLE

Test Type Oracle Business Rules SILK
Percent Passing : 3% 13%
Arbitrary_Entailment...Test for arbitrary entailment from inconsistent ruleset no data fail
Chaining_strategy_numeric-add_2...This test highlights the different behavior of forward-chaining vs. backward-chaining engines no data fail
Chaining_strategy_numeric-subtract_1...This test highlights the different behavior of forward-chaining vs. backward-chaining engines no data fail
Class_Membership...Test Case demonstrating class membership. no data pass
Classification-inheritance...Demonstrate and test behavior of frames and membership no data pass
Classification_non-inheritance...demonstrate and test behavior of frames and membership no data no data
ElementEqualityFromListEquality...Test equality between lists no data no data
EntailEverything...Test that arbitrary Consts are entailed no data pass
Equality_in_conclusion_1...Test use of equality in a rule conclusion no data pass
Equality_in_conclusion_2...Test use of equality in a rule conclusion no data no data
Equality_in_conclusion_3...Test substitutivity in the context of equality. no data no data
Equality_in_condition...Demonstrate equational use of equality no data fail
Factorial_Functional...test ground equational call to factorial function no data fail
Factorial_Relational...test ground call to factorial predicate no data fail
IRI_from_IRI...Demonstrate that a single IRI may correspond to itself no data fail
Inconsistent_Entailment...Test for inconsistent entailment no data fail
Individual-Data_Separation_Inconsistency...Test that violation of separation of the individual and data value domains leads to inconsistency no data fail
ListConstantEquality...Test equality between lists and constants no data no data
ListEqualityFromElementEquality...Test equality between lists no data no data
ListLiteralEquality...Test equality between lists and constants representing data values no data no data
Multiple_IRIs_from_String...Demonstrate that a single string may correspond to several IRIs no data no data
Multiple_Strings_from_IRI...Demonstrate that a single IRI may correspond to several strings no data no data
Named_Argument_Uniterms_non-polymorphic...Illustrate difference between frames and named-argument uniterms no data no data
Named_Arguments...To demonstrate different syntactic options for specifying arguments no data no data
No_free_variables...All free variables in the rule must be quantified with Forall pass no data
OpenLists...Show that general open lists are valid structures (although some might call them malformed, they are not forbidden). no data no data
RDF_Combination_Member_1...test relationships between #/## and rdf:type/rdfs:subClassOf no data fail
RDF_Combination_SubClass_3...Test interaction between rdfs:subClassOf and ## statements in RIF no data no data
RDF_Combination_SubClass_4...Test interaction between rdfs:subClassOf and ## statements in RIF no data fail
RDF_Combination_SubClass_5...Test interaction between rdfs:subClassOf and ## statements in RIF no data no data
RDF_Combination_SubClass_6...Test interaction between rdfs:subClassOf and ## statements in RIF no data fail
YoungParentDiscount_1...This test case illustrates the use of guard predicates with built-ins, as well as RDF+BLD combinations. no data fail

Approved PRD tests (9)

No results on these tests for: RIFLE, SILK

Test Type Oracle Business Rules
Percent Passing : 33%
Assert...Assert Action of RIF PRD undecided
AssertRetract...Retract + Assert Action of RIF PRD no data
AssertRetract2...Retract + Assert Action of RIF PRD no data
Core_NonSafeness...Test that non-safe formulas are not accepted. no data
Core_NonSafeness_2...Test that non-safe formulas are not accepted. no data
Modify...Modify Action of RIF PRD pass
Modify_loop...Modify Action of RIF PRD pass
No_free_variables...All free variables in the rule must be quantified with Forall pass
RDF_Combination_SubClass_5...Test interaction between rdfs:subClassOf and ## statements in RIF no data

Proposed Core tests (1)

No results on these tests for: Oracle Business Rules, RIFLE, SILK

Proposed BLD tests (1)

No results on these tests for: Oracle Business Rules, RIFLE, SILK

Proposed PRD tests (1)

No results on these tests for: RIFLE, SILK

Test Type Oracle Business Rules
Percent Passing : 100%
Retract...Retract Action of RIF PRD pass

Tested Systems

1. Oracle Business Rules

Version tested: 11gR1 patch set 2 (not yet released)

Oracle Business Rules is part of the Oracle Fusion Middleware Software Suite. The RIF translators may be supplied separately as sample code.

For more information about this system see its website

2. RIFLE

Version tested: 0.1

RIFle is a project which comprises a suite of tools for RIF language. This test has been done with the RIF-Core Validation Service, a tool which allows users to verify that theirs RIF-Core documents are admissible documents according to the RIF-Core Specification, i.e., documents conforming to all the syntactic constraints of RIF-Core, including conformance with XML Schema, safeness criteria, RDF/OWL compatibility, etc. This service only accepts normative XML syntax to process RIF-Core documents. It is available under Eclipse Public License.

For more information about this system see its website

3. SILK

Version tested: 1.0

SILK (Semantic Inferencing for Large Knowledge) is an advanced knowledge representation language combining the latest work in theory, non-monotonic reasoning, business rules, and the Semantic Web. It is designed to be sufficiently expressive and scalable to support large challenges

For more information about this system see its website