Test suite version 1.21
Approved | Proposed | ||||||
---|---|---|---|---|---|---|---|
Core | BLD | PRD | Core | BLD | PRD | ||
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.128 |
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_126 |
Assert AssertRetract AssertRetract2 Modify Modify_loop5 |
UCR_4.1.31 | YoungParentDiscount_21 | 0 | 61 |
Negative Entailment | Local_Constant Local_Predicate NestedListsAreNotFlatLists Non-Annotation_Entailment RDF_Combination_SubClass5 |
Classification_non-inheritance Named_Argument_Uniterms_non-polymorphic OpenLists RDF_Combination_SubClass_3 RDF_Combination_SubClass_55 |
RDF_Combination_SubClass_51 | 0 | 0 | Retract1 | 12 |
Positive Syntax | Core_Safeness Core_Safeness_2 Core_Safeness_33 |
0 | 0 | 0 | 0 | 0 | 3 |
Negative Syntax | 0 | No_free_variables1 | Core_NonSafeness Core_NonSafeness_2 No_free_variables3 |
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_16 |
0 | 0 | 0 | 0 | 0 | 6 |
42 | 32 | 9 | 1 | 1 | 1 | 86 |
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. | PositiveEntailment | no data | no data |
Builtins_Binary...Test built-in predicates for XML Schema binary datatypes | PositiveEntailment | no data | no data |
Builtins_List...Test RIF list built-in predicates and functions | PositiveEntailment | pass | undecided |
Builtins_Numeric...Test built-in predicates and functions for XML Schema numeric datatypes | PositiveEntailment | pass | pass |
Builtins_PlainLiteral...Test built-in predicates and functions for RDF PlainLiteral datatype | PositiveEntailment | no data | pass |
Builtins_String...Test built-in predicates and functions for XML schema string datatypes | PositiveEntailment | no data | no data |
Builtins_Time...Test built-in predicates and functions for XML Schema date, time and duration datatypes | PositiveEntailment | no data | pass |
Builtins_XMLLiteral...Test built-in predicates for RDF XMLLiteral datatype | PositiveEntailment | no data | pass |
Builtins_anyURI...Test built-in predicates for XML Schema anyURI datatype | PositiveEntailment | no data | pass |
Builtins_boolean...Test built-in predicates for XML Schema boolean datatype | PositiveEntailment | no data | pass |
Chaining_strategy_numeric-add_1...This test highlights the different behavior of forward-chaining vs. backward-chaining engines | PositiveEntailment | pass | undecided |
Chaining_strategy_numeric-subtract_2...This test highlights the different behavior of forward-chaining vs. backward-chaining engines | PositiveEntailment | pass | undecided |
Core_Safeness...Test that safe formulas are accepted. Note that this ruleset does not have finite models, and is not strongly safe. | PositiveSyntax | pass | pass |
Core_Safeness_2...Test that safe formulas are accepted. | PositiveSyntax | pass | pass |
Core_Safeness_3...Test that safe formulas are accepted. | PositiveSyntax | no data | pass |
Factorial_Forward_Chaining...express factorial using Core | PositiveEntailment | pass | undecided |
Frame_slots_are_independent...Illustrate difference between frames and named-argument uniterms | PositiveEntailment | no data | undecided |
Frames...To demonstrate different syntactic options for specifying arguments | PositiveEntailment | pass | undecided |
Guards_and_subtypes...Demonstrate subtype relationships between xs:decimal and xs:integer | PositiveEntailment | pass | undecided |
IRI_from_RDF_Literal...Test extracting IRIs from RDF plain literals | PositiveEntailment | no data | pass |
Local_Constant...Test that the entailment relation does not preserve names of local constants | NegativeEntailment | no data | undecided |
Local_Predicate...Test that the entailment relation does not preserve names of local predicates | NegativeEntailment | 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. | ImportRejection | no data | undecided |
NestedListsAreNotFlatLists...Nested lists are not flat lists | NegativeEntailment | pass | undecided |
Non-Annotation_Entailment...Test that annotation properties are discarded when considering OWL-Direct entailment | NegativeEntailment | no data | pass |
OWL_Combination_Invalid_DL_Formula...Test that an invalid combination is rejected | ImportRejection | no data | undecided |
OWL_Combination_Invalid_DL_Import...Test that an invalid combination is rejected | ImportRejection | 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 | PositiveEntailment | 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 | PositiveEntailment | no data | pass |
Positional_Arguments...To demonstrate different syntactic options for specifying arguments | PositiveEntailment | no data | no data |
RDF_Combination_Blank_Node...Test interaction between RDF and BLD with respect to blank nodes | PositiveEntailment | no data | pass |
RDF_Combination_Constant_Equivalence_1...Test equivalent treatment of RDF constants and RIF symbols in simple entailment | PositiveEntailment | no data | pass |
RDF_Combination_Constant_Equivalence_2...Test equivalent treatment of RDF constants and RIF symbols in simple entailment | PositiveEntailment | no data | pass |
RDF_Combination_Constant_Equivalence_3...Test equivalent treatment of RDF constants and RIF symbols in simple entailment | PositiveEntailment | no data | pass |
RDF_Combination_Constant_Equivalence_4...Test equivalent treatment of RDF constants and RIF symbols in simple entailment | PositiveEntailment | no data | pass |
RDF_Combination_Constant_Equivalence_Graph_Entailment...Test equivalent treatment of RDF constants and RIF symbols in simple entailment | PositiveEntailment | no data | pass |
RDF_Combination_Invalid_Constant_1...Verify that rif:iri typed literals are not allowed in RDF graphs imported by RIF documents | ImportRejection | no data | pass |
RDF_Combination_Invalid_Constant_2...Verify that rdf:PlainLiteral typed literals are not allowed in RDF graphs imported by RIF documents | ImportRejection | no data | pass |
RDF_Combination_Invalid_Profiles_1...Test that a RIF document with an invalid set of import directives is rejected | ImportRejection | no data | pass |
RDF_Combination_SubClass...Test interaction between rdfs:subClassOf, rdf:type, ## and # in RIF | NegativeEntailment | no data | pass |
RDF_Combination_SubClass_2...Test interaction between rdfs:subClassOf, rdf:type, ## and # in RIF | PositiveEntailment | no data | fail |
UCR_4.1.1...This test shows a sample scenario related to exchanging electronic business contracts across rule platforms. | PositiveEntailment | no data | no data |
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 | PositiveEntailment | no data | fail |
Chaining_strategy_numeric-add_2...This test highlights the different behavior of forward-chaining vs. backward-chaining engines | PositiveEntailment | no data | fail |
Chaining_strategy_numeric-subtract_1...This test highlights the different behavior of forward-chaining vs. backward-chaining engines | PositiveEntailment | no data | fail |
Class_Membership...Test Case demonstrating class membership. | PositiveEntailment | no data | pass |
Classification-inheritance...Demonstrate and test behavior of frames and membership | PositiveEntailment | no data | pass |
Classification_non-inheritance...demonstrate and test behavior of frames and membership | NegativeEntailment | no data | no data |
ElementEqualityFromListEquality...Test equality between lists | PositiveEntailment | no data | no data |
EntailEverything...Test that arbitrary Consts are entailed | PositiveEntailment | no data | pass |
Equality_in_conclusion_1...Test use of equality in a rule conclusion | PositiveEntailment | no data | pass |
Equality_in_conclusion_2...Test use of equality in a rule conclusion | PositiveEntailment | no data | no data |
Equality_in_conclusion_3...Test substitutivity in the context of equality. | PositiveEntailment | no data | no data |
Equality_in_condition...Demonstrate equational use of equality | PositiveEntailment | no data | fail |
Factorial_Functional...test ground equational call to factorial function | PositiveEntailment | no data | fail |
Factorial_Relational...test ground call to factorial predicate | PositiveEntailment | no data | fail |
IRI_from_IRI...Demonstrate that a single IRI may correspond to itself | PositiveEntailment | no data | fail |
Inconsistent_Entailment...Test for inconsistent entailment | PositiveEntailment | no data | fail |
Individual-Data_Separation_Inconsistency...Test that violation of separation of the individual and data value domains leads to inconsistency | PositiveEntailment | no data | fail |
ListConstantEquality...Test equality between lists and constants | PositiveEntailment | no data | no data |
ListEqualityFromElementEquality...Test equality between lists | PositiveEntailment | no data | no data |
ListLiteralEquality...Test equality between lists and constants representing data values | PositiveEntailment | no data | no data |
Multiple_IRIs_from_String...Demonstrate that a single string may correspond to several IRIs | PositiveEntailment | no data | no data |
Multiple_Strings_from_IRI...Demonstrate that a single IRI may correspond to several strings | PositiveEntailment | no data | no data |
Named_Argument_Uniterms_non-polymorphic...Illustrate difference between frames and named-argument uniterms | NegativeEntailment | no data | no data |
Named_Arguments...To demonstrate different syntactic options for specifying arguments | PositiveEntailment | no data | no data |
No_free_variables...All free variables in the rule must be quantified with Forall | NegativeSyntax | pass | no data |
OpenLists...Show that general open lists are valid structures (although some might call them malformed, they are not forbidden). | NegativeEntailment | no data | no data |
RDF_Combination_Member_1...test relationships between #/## and rdf:type/rdfs:subClassOf | PositiveEntailment | no data | fail |
RDF_Combination_SubClass_3...Test interaction between rdfs:subClassOf and ## statements in RIF | NegativeEntailment | no data | no data |
RDF_Combination_SubClass_4...Test interaction between rdfs:subClassOf and ## statements in RIF | PositiveEntailment | no data | fail |
RDF_Combination_SubClass_5...Test interaction between rdfs:subClassOf and ## statements in RIF | NegativeEntailment | no data | no data |
RDF_Combination_SubClass_6...Test interaction between rdfs:subClassOf and ## statements in RIF | PositiveEntailment | no data | fail |
YoungParentDiscount_1...This test case illustrates the use of guard predicates with built-ins, as well as RDF+BLD combinations. | PositiveEntailment | no data | fail |
No results on these tests for: RIFLE, SILK
Test | Type | Oracle Business Rules |
---|---|---|
Percent Passing : | 33% | |
Assert...Assert Action of RIF PRD | PositiveEntailment | undecided |
AssertRetract...Retract + Assert Action of RIF PRD | PositiveEntailment | no data |
AssertRetract2...Retract + Assert Action of RIF PRD | PositiveEntailment | no data |
Core_NonSafeness...Test that non-safe formulas are not accepted. | NegativeSyntax | no data |
Core_NonSafeness_2...Test that non-safe formulas are not accepted. | NegativeSyntax | no data |
Modify...Modify Action of RIF PRD | PositiveEntailment | pass |
Modify_loop...Modify Action of RIF PRD | PositiveEntailment | pass |
No_free_variables...All free variables in the rule must be quantified with Forall | NegativeSyntax | pass |
RDF_Combination_SubClass_5...Test interaction between rdfs:subClassOf and ## statements in RIF | NegativeEntailment | no data |
No results on these tests for: Oracle Business Rules, RIFLE, SILK
No results on these tests for: Oracle Business Rules, RIFLE, SILK
No results on these tests for: RIFLE, SILK
Test | Type | Oracle Business Rules |
---|---|---|
Percent Passing : | 100% | |
Retract...Retract Action of RIF PRD | NegativeEntailment | pass |
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
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
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