This page is obsolete

Please see the W3C RIF Test Repository.

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[DIR]Arbitrary_Entailment/06-Nov-2009 15:42 -  
[DIR]Assert/06-Nov-2009 15:40 -  
[DIR]AssertRetract/06-Nov-2009 15:42 -  
[DIR]AssertRetract2/06-Nov-2009 15:42 -  
[DIR]Builtin_literal-not-identical/06-Nov-2009 15:41 -  
[DIR]Builtins_Numeric/06-Nov-2009 15:41 -  
[DIR]Builtins_PlainLiteral/06-Nov-2009 15:40 -  
[DIR]Builtins_String/06-Nov-2009 15:40 -  
[DIR]Builtins_Time/06-Nov-2009 15:42 -  
[DIR]Builtins_XMLLiteral/06-Nov-2009 15:40 -  
[DIR]Builtins_anyURI/06-Nov-2009 15:40 -  
[DIR]Builtins_base64Binary/06-Nov-2009 15:40 -  
[DIR]Builtins_boolean/06-Nov-2009 15:41 -  
[DIR]Chaining_strategy_numeric-add_1/06-Nov-2009 15:40 -  
[DIR]Chaining_strategy_numeric-add_2/06-Nov-2009 15:40 -  
[DIR]Chaining_strategy_numeric-subtract_1/06-Nov-2009 15:41 -  
[DIR]Chaining_strategy_numeric-subtract_2/06-Nov-2009 15:42 -  
[DIR]Class_Membership/06-Nov-2009 15:40 -  
[DIR]Classification-inheritance/06-Nov-2009 15:40 -  
[DIR]Classification_non-inheritance/06-Nov-2009 15:42 -  
[DIR]Conflict_resolution/06-Nov-2009 15:42 -  
[DIR]Core_NonSafeness/06-Nov-2009 15:42 -  
[DIR]Core_NonSafeness_2/06-Nov-2009 15:42 -  
[DIR]Core_Safeness/06-Nov-2009 15:41 -  
[DIR]Core_Safeness_2/06-Nov-2009 15:42 -  
[DIR]Core_Safeness_3/06-Nov-2009 15:41 -  
[DIR]ElementEqualityFromListEquality/06-Nov-2009 15:41 -  
[DIR]EntailEverything/06-Nov-2009 15:40 -  
[DIR]Equality_in_conclusion_1/06-Nov-2009 15:40 -  
[DIR]Equality_in_conclusion_2/06-Nov-2009 15:41 -  
[DIR]Equality_in_conclusion_3/06-Nov-2009 15:41 -  
[DIR]Equality_in_condition/06-Nov-2009 15:42 -  
[DIR]Factorial_Forward_Chaining/06-Nov-2009 15:41 -  
[DIR]Factorial_Functional/06-Nov-2009 15:42 -  
[DIR]Factorial_Relational/06-Nov-2009 15:42 -  
[DIR]Frame_slots_are_independent/06-Nov-2009 15:41 -  
[DIR]Frames/06-Nov-2009 15:42 -  
[DIR]Guards_and_subtypes/06-Nov-2009 15:41 -  
[TXT]HEADER.html06-Nov-2009 16:16 221  
[DIR]IRI_from_IRI/06-Nov-2009 15:41 -  
[DIR]IRI_from_RDF_Literal/06-Nov-2009 15:41 -  
[DIR]Inconsistent_Entailment/06-Nov-2009 15:42 -  
[DIR]Individual-Data_Separation_Inconsistency/06-Nov-2009 15:41 -  
[DIR]ListConstantEquality/06-Nov-2009 15:42 -  
[DIR]ListEqualityFromElementEquality/06-Nov-2009 15:40 -  
[DIR]ListLiteralEquality/06-Nov-2009 15:40 -  
[DIR]Local_Constant/06-Nov-2009 15:41 -  
[DIR]Local_Predicate/06-Nov-2009 15:41 -  
[DIR]Modify/28-Oct-2009 23:08 -  
[DIR]Modify_loop/06-Nov-2009 15:42 -  
[DIR]Modify_noloop/06-Nov-2009 15:42 -  
[DIR]Multiple_Context_Error/06-Nov-2009 15:41 -  
[DIR]Multiple_IRIs_from_String/06-Nov-2009 15:41 -  
[DIR]Multiple_Strings_from_IRI/06-Nov-2009 15:40 -  
[DIR]Named_Argument_Uniterms_non-polymorphic/06-Nov-2009 15:41 -  
[DIR]NestedListsAreNotFlatLists/06-Nov-2009 15:41 -  
[DIR]Non-Annotation_Entailment/06-Nov-2009 15:40 -  
[DIR]OWL_Combination_Invalid_DL_Formula/06-Nov-2009 15:42 -  
[DIR]OWL_Combination_Vocabulary_Separation_Inconsistency_1/06-Nov-2009 15:41 -  
[DIR]OWL_Combination_Vocabulary_Separation_Inconsistency_2/06-Nov-2009 15:40 -  
[DIR]OpenLists/06-Nov-2009 15:41 -  
[DIR]Ordered_Relations/06-Nov-2009 15:39 -  
[DIR]Quantify_free_variables/06-Nov-2009 15:41 -  
[DIR]RDF_Combination_Blank_Node/06-Nov-2009 15:41 -  
[DIR]RDF_Combination_Constant_Equivalence_1/06-Nov-2009 15:39 -  
[DIR]RDF_Combination_Constant_Equivalence_2/06-Nov-2009 15:40 -  
[DIR]RDF_Combination_Constant_Equivalence_3/06-Nov-2009 15:41 -  
[DIR]RDF_Combination_Constant_Equivalence_4/06-Nov-2009 15:41 -  
[DIR]RDF_Combination_Constant_Equivalence_Graph_Entailment/06-Nov-2009 15:42 -  
[DIR]RDF_Combination_Invalid_Constant_1/06-Nov-2009 15:41 -  
[DIR]RDF_Combination_Invalid_Constant_2/06-Nov-2009 15:40 -  
[DIR]RDF_Combination_Invalid_Profiles_1/06-Nov-2009 15:41 -  
[DIR]RDF_Combination_Member_1/06-Nov-2009 15:42 -  
[DIR]RDF_Combination_SubClass/06-Nov-2009 15:40 -  
[DIR]RDF_Combination_SubClass_2/06-Nov-2009 15:40 -  
[DIR]RDF_Combination_SubClass_3/06-Nov-2009 15:40 -  
[DIR]RDF_Combination_SubClass_4/06-Nov-2009 15:42 -  
[DIR]RDF_Combination_SubClass_5/06-Nov-2009 15:40 -  
[DIR]RDF_Combination_SubClass_6/06-Nov-2009 15:40 -  
[DIR]Retract/06-Nov-2009 15:42 -  
[DIR]UCR_4.1a/06-Nov-2009 15:40 -  
[DIR]UCR_4.7a/06-Nov-2009 15:41 -  
[DIR]Unordered_Relations/06-Nov-2009 15:41 -  
[DIR]YoungParentDiscount_1/06-Nov-2009 15:40 -  
[DIR]YoungParentDiscount_2/06-Nov-2009 15:42 -  
[DIR]classification/20-Apr-2010 00:39 -  
[DIR]crb/17-May-2010 01:26 -  
[DIR]owlrl/03-Mar-2010 12:03 -  
[DIR]repository/12-Nov-2009 03:01 -  
[DIR]results/20-Nov-2009 04:40 -  
[DIR]test-reporting/27-Oct-2009 20:32 -  
  翻译：