Index of /2005/rules/test/repository/tc
Name
Last modified
Size
Description
Parent Directory
-
Assert/
2009-11-06 15:56
-
AssertRetract/
2009-11-06 15:56
-
AssertRetract2/
2009-11-06 15:56
-
Builtin_literal-not-identical/
2014-02-25 02:04
-
Builtins_Binary/
2009-12-05 03:06
-
Builtins_List/
2009-11-11 03:23
-
Builtins_Numeric/
2014-02-25 02:04
-
Builtins_PlainLiteral/
2009-11-06 15:56
-
Builtins_String/
2014-02-25 02:04
-
Builtins_Time/
2009-11-06 15:57
-
Builtins_XMLLiteral/
2009-11-06 15:56
-
Builtins_anyURI/
2014-02-25 02:04
-
Builtins_base64Binary/
2009-12-05 03:10
-
Builtins_boolean/
2009-11-06 15:57
-
Chaining_strategy_numeric-add_1/
2009-11-06 15:56
-
Chaining_strategy_numeric-add_2/
2014-02-25 02:04
-
Chaining_strategy_numeric-subtract_1/
2014-02-25 02:04
-
Chaining_strategy_numeric-subtract_2/
2014-02-25 02:04
-
Class_Membership/
2014-02-25 02:04
-
Classification-inheritance/
2014-02-25 02:04
-
Classification_non-inheritance/
2014-02-25 02:04
-
Conflict_resolution/
2010-11-10 02:39
-
Core_NonSafeness/
2014-02-25 02:04
-
Core_NonSafeness_2/
2009-11-08 19:28
-
Core_Safeness/
2009-11-06 15:57
-
Core_Safeness_2/
2009-11-06 15:57
-
Core_Safeness_3/
2014-02-25 02:04
-
EBusiness_Contract/
2010-11-07 17:02
-
ElementEqualityFromListEquality/
2014-02-25 02:04
-
EntailEverything/
2014-02-25 02:04
-
Equality_in_conclusion_1/
2009-11-06 15:57
-
Equality_in_conclusion_2/
2014-02-25 02:04
-
Equality_in_conclusion_3/
2014-02-25 02:04
-
Equality_in_condition/
2014-02-25 02:04
-
Factorial_Forward_Chaining/
2009-11-06 15:57
-
Factorial_Functional/
2009-11-06 15:57
-
Factorial_Relational/
2009-11-06 15:56
-
Frame_slots_are_independent/
2009-11-06 15:57
-
Frames/
2014-02-25 02:04
-
Guards_and_subtypes/
2009-11-06 15:56
-
IRI_from_IRI/
2009-11-06 15:56
-
IRI_from_RDF_Literal/
2014-02-25 02:04
-
Inconsistent_Entailment/
2009-11-06 15:57
-
Individual-Data_Separation_Inconsistency/
2014-02-25 02:04
-
ListConstantEquality/
2014-02-25 02:04
-
ListEqualityFromElementEquality/
2014-02-25 02:04
-
ListLiteralEquality/
2009-11-06 15:56
-
Local_Constant/
2014-02-25 02:04
-
Local_Predicate/
2014-02-25 02:04
-
Modeling_Brain_Anatomy/
2010-11-07 16:41
-
Modify/
2009-11-06 15:56
-
Modify_loop/
2009-11-11 03:23
-
Modify_noloop/
2010-02-10 12:04
-
Multiple_Context_Error/
2014-02-25 02:04
-
Multiple_IRIs_from_String/
2014-02-25 02:04
-
Multiple_Strings_from_IRI/
2014-02-25 02:04
-
Named_Argument_Uniterms_non-polymorphic/
2014-02-25 02:04
-
Named_Arguments/
2014-02-25 02:04
-
NestedListsAreNotFlatLists/
2014-02-25 02:04
-
No_free_variables/
2009-11-08 19:27
-
Non-Annotation_Entailment/
2010-04-20 00:39
-
OWL_Combination_Invalid_DL_Formula/
2014-02-25 02:04
-
OWL_Combination_Invalid_DL_Import/
2010-05-17 00:56
-
OWL_Combination_Vocabulary_Separation_Inconsistency_1/
2010-04-20 01:02
-
OWL_Combination_Vocabulary_Separation_Inconsistency_2/
2014-02-25 02:04
-
OpenLists/
2009-11-06 15:56
-
Ordered_Relations/
2010-05-17 01:09
-
Positional_Arguments/
2014-02-25 02:04
-
Quantify_free_variables/
2009-11-08 19:31
-
RDF_Combination_Blank_Node/
2014-02-25 02:04
-
RDF_Combination_Constant_Equivalence_1/
2010-04-20 01:02
-
RDF_Combination_Constant_Equivalence_2/
2014-02-25 02:04
-
RDF_Combination_Constant_Equivalence_3/
2014-02-25 02:04
-
RDF_Combination_Constant_Equivalence_4/
2014-02-25 02:04
-
RDF_Combination_Constant_Equivalence_Graph_Entailment/
2010-04-20 01:02
-
RDF_Combination_Invalid_Constant_1/
2014-02-25 02:04
-
RDF_Combination_Invalid_Constant_2/
2014-02-25 02:04
-
RDF_Combination_Invalid_Profiles_1/
2014-02-25 02:04
-
RDF_Combination_Member_1/
2010-04-20 01:01
-
RDF_Combination_SubClass/
2014-02-25 02:04
-
RDF_Combination_SubClass_2/
2010-04-20 01:02
-
RDF_Combination_SubClass_3/
2010-04-20 01:02
-
RDF_Combination_SubClass_4/
2014-02-25 02:04
-
RDF_Combination_SubClass_5/
2010-04-20 01:01
-
RDF_Combination_SubClass_6/
2010-04-20 01:01
-
Retract/
2009-11-11 14:22
-
UCR_4.1.1/
2010-11-07 16:14
-
UCR_4.1.3/
2010-11-07 16:13
-
Unordered_Relations/
2010-05-17 01:11
-
YoungParentDiscount_1/
2010-04-20 01:02
-
YoungParentDiscount_2/
2010-11-07 16:17
-