1.1 --- a/trunk/apps/rifle-validator/src/main/java/org/fundacionctic/rifle/validator/resolver/RIFResolver.java Wed Nov 11 11:27:45 2009 +0100
1.2 +++ b/trunk/apps/rifle-validator/src/main/java/org/fundacionctic/rifle/validator/resolver/RIFResolver.java Wed Nov 11 15:26:53 2009 +0100
1.3 @@ -252,7 +252,7 @@
1.4 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-predicate#matches-language-range_2___");
1.5 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-predicate#is-list_1__");
1.6 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-predicate#list-contains_2___");
1.7 - builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#make-list_2___");
1.8 + builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#make-list__");
1.9 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#count_1__");
1.10 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#get_2___");
1.11 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#sublist_3____");
1.12 @@ -260,7 +260,7 @@
1.13 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#concatenate__");
1.14 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#insert-before_3____");
1.15 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#remove_2___");
1.16 - builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#reverse_2___");
1.17 + builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#reverse_1__");
1.18 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#index-of_2___");
1.19 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#union__");
1.20 builtinFunctions.add("_http://www.w3.org/2007/rif-builtin-function#distinct-values_1__");
2.1 --- a/trunk/apps/rifle-validator/src/main/scripts/functions-predicates.txt Wed Nov 11 11:27:45 2009 +0100
2.2 +++ b/trunk/apps/rifle-validator/src/main/scripts/functions-predicates.txt Wed Nov 11 15:26:53 2009 +0100
2.3 @@ -233,7 +233,7 @@
2.4 http://www.w3.org/2007/rif-builtin-predicate#matches-language-range,?input,?range
2.5 http://www.w3.org/2007/rif-builtin-predicate#is-list,?object
2.6 http://www.w3.org/2007/rif-builtin-predicate#list-contains,?list,?item
2.7 -http://www.w3.org/2007/rif-builtin-function#make-list,?item1,?itemn
2.8 +http://www.w3.org/2007/rif-builtin-function#make-list,?list1,?list2,?list3,?list4,?listn
2.9 http://www.w3.org/2007/rif-builtin-function#count,?list
2.10 http://www.w3.org/2007/rif-builtin-function#get,?list,?position
2.11 http://www.w3.org/2007/rif-builtin-function#sublist,?list,?start,?stop
2.12 @@ -241,7 +241,7 @@
2.13 http://www.w3.org/2007/rif-builtin-function#concatenate,?list1,?list2,?list3,?list4,?listn
2.14 http://www.w3.org/2007/rif-builtin-function#insert-before,?list,?position,?newItem
2.15 http://www.w3.org/2007/rif-builtin-function#remove,?list,?position
2.16 -http://www.w3.org/2007/rif-builtin-function#reverse,?list,
2.17 +http://www.w3.org/2007/rif-builtin-function#reverse,?list
2.18 http://www.w3.org/2007/rif-builtin-function#index-of,?list,?matchValue
2.19 http://www.w3.org/2007/rif-builtin-function#union,?list1,?list2,?list3,?list4,?listn
2.20 http://www.w3.org/2007/rif-builtin-function#distinct-values,?list
3.1 --- a/trunk/apps/rifle-validator/src/main/scripts/functions-predicates.txt~ Wed Nov 11 11:27:45 2009 +0100
3.2 +++ b/trunk/apps/rifle-validator/src/main/scripts/functions-predicates.txt~ Wed Nov 11 15:26:53 2009 +0100
3.3 @@ -233,7 +233,7 @@
3.4 http://www.w3.org/2007/rif-builtin-predicate#matches-language-range,?input,?range
3.5 http://www.w3.org/2007/rif-builtin-predicate#is-list,?object
3.6 http://www.w3.org/2007/rif-builtin-predicate#list-contains,?list,?item
3.7 -http://www.w3.org/2007/rif-builtin-function#make-list,?item1,?itemn
3.8 +http://www.w3.org/2007/rif-builtin-function#make-list,?list1,?list2,?list3,?list4,?listn
3.9 http://www.w3.org/2007/rif-builtin-function#count,?list
3.10 http://www.w3.org/2007/rif-builtin-function#get,?list,?position
3.11 http://www.w3.org/2007/rif-builtin-function#sublist,?list,?start,?stop
4.1 --- a/trunk/apps/rifle-validator/src/test/java/org/fundacionctic/rifle/visitor/core/CoreVisitorTest_11_10_2009.java Wed Nov 11 11:27:45 2009 +0100
4.2 +++ b/trunk/apps/rifle-validator/src/test/java/org/fundacionctic/rifle/visitor/core/CoreVisitorTest_11_10_2009.java Wed Nov 11 15:26:53 2009 +0100
4.3 @@ -13,7 +13,7 @@
4.4 import org.fundacionctic.rifle.visitor.RIFValidatorVisitor;
4.5 import org.junit.Test;
4.6
4.7 -public class CoreVisitorTest_11_10_2009 {
4.8 +public class CoreVisitorTest_11_10_2009 extends BasicCoreVisitorTest{
4.9 protected static Logger logger = Logger.getLogger(CoreVisitorTest_11_10_2009.class);
4.10
4.11
4.12 @@ -28,7 +28,7 @@
4.13 //2-Setting validators
4.14 RIFValidator validator = createFullCoreValidator();
4.15 validator.validate(rl);
4.16 - Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
4.17 + Assert.assertEquals(1, validator.getRifManager().getErrorHandler().getErrors().size());
4.18
4.19 }
4.20 }
4.21 @@ -92,7 +92,7 @@
4.22 //2-Setting validators
4.23 RIFValidator validator = createFullCoreValidator();
4.24 validator.validate(rl);
4.25 - Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
4.26 + Assert.assertEquals(1, validator.getRifManager().getErrorHandler().getErrors().size());
4.27
4.28 }
4.29 }
4.30 @@ -329,7 +329,7 @@
4.31 ResourceLoader rl = new FilesResourceLoader(new String[]{testSources[i]});
4.32 //2-Setting validators
4.33 RIFValidator validator = createFullCoreValidator();
4.34 - validator.validate(rl);
4.35 + validator.validate(rl);
4.36 Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
4.37
4.38 }
4.39 @@ -401,7 +401,7 @@
4.40 //2-Setting validators
4.41 RIFValidator validator = createFullCoreValidator();
4.42 validator.validate(rl);
4.43 - Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
4.44 + Assert.assertEquals(1, validator.getRifManager().getErrorHandler().getErrors().size());
4.45
4.46 }
4.47 }
4.48 @@ -420,7 +420,7 @@
4.49 //2-Setting validators
4.50 RIFValidator validator = createFullCoreValidator();
4.51 validator.validate(rl);
4.52 - Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
4.53 + Assert.assertEquals(1, validator.getRifManager().getErrorHandler().getErrors().size());
4.54
4.55 }
4.56 }
4.57 @@ -438,7 +438,7 @@
4.58 //2-Setting validators
4.59 RIFValidator validator = createFullCoreValidator();
4.60 validator.validate(rl);
4.61 - Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
4.62 + Assert.assertEquals(1, validator.getRifManager().getErrorHandler().getErrors().size());
4.63
4.64 }
4.65 }
4.66 @@ -457,7 +457,7 @@
4.67 //2-Setting validators
4.68 RIFValidator validator = createFullCoreValidator();
4.69 validator.validate(rl);
4.70 - Assert.assertEquals(0, validator.getRifManager().getErrorHandler().getErrors().size());
4.71 + Assert.assertEquals(1, validator.getRifManager().getErrorHandler().getErrors().size());
4.72
4.73 }
4.74 }
4.75 @@ -726,19 +726,5 @@
4.76 }
4.77 }
4.78
4.79 - private RIFValidator createFullCoreValidator() {
4.80 - List<RIFValidatorVisitor> chainRIFValidatorVisitor = new LinkedList<RIFValidatorVisitor>();
4.81 - chainRIFValidatorVisitor.add(new RDFImportsProfilesVisitor());
4.82 - chainRIFValidatorVisitor.add(new RIFBuiltinsIdentificationVisitor());
4.83 - chainRIFValidatorVisitor.add(new CoreSafenessVisitor());
4.84 - //RDF Combination
4.85 - chainRIFValidatorVisitor.add(new RDFCombinationBlankNodeVisitor());
4.86 - chainRIFValidatorVisitor.add(new RDFCombinationConstantEquivalenceVisitor());
4.87 - chainRIFValidatorVisitor.add(new RDFCombinationSubClassVisitor());
4.88 - //OWL Combination
4.89 - chainRIFValidatorVisitor.add(new OWLDLAnnotationVisitor());
4.90 - RIFValidator validator =
4.91 - new CoreValidator(chainRIFValidatorVisitor);
4.92 - return validator;
4.93 - }
4.94 +
4.95 }
5.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/NegativeEntailmentTest/Non-Annotation_Entailment/Non-Annotation_Entailment-premise.rif Wed Nov 11 11:27:45 2009 +0100
5.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/NegativeEntailmentTest/Non-Annotation_Entailment/Non-Annotation_Entailment-premise.rif Wed Nov 11 15:26:53 2009 +0100
5.3 @@ -10,7 +10,10 @@
5.4 <directive>
5.5 <Import>
5.6 <location>
5.7 + <!--
5.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/Non-Annotation_Entailment/Non-Annotation_Entailment-import001.turtle</Const>
5.9 + -->
5.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/NegativeEntailmentTest/Non-Annotation_Entailment/Non-Annotation_Entailment-import001.turtle</Const>
5.11 </location>
5.12 <profile>
5.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#OWL-DL</Const>
6.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/NegativeEntailmentTest/RDF_Combination_SubClass/RDF_Combination_SubClass-import001.nt Wed Nov 11 11:27:45 2009 +0100
6.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/NegativeEntailmentTest/RDF_Combination_SubClass/RDF_Combination_SubClass-import001.nt Wed Nov 11 15:26:53 2009 +0100
6.3 @@ -1,5 +1,7 @@
6.4 @prefix ex: <http://example.org/#> .
6.5 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
6.6 +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
6.7 +
6.8
6.9 ex:a rdf:type ex:C .
6.10 ex:C rdfs:subClassOf ex:D .
6.11 \ No newline at end of file
7.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/NegativeEntailmentTest/RDF_Combination_SubClass/RDF_Combination_SubClass-premise.rif Wed Nov 11 11:27:45 2009 +0100
7.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/NegativeEntailmentTest/RDF_Combination_SubClass/RDF_Combination_SubClass-premise.rif Wed Nov 11 15:26:53 2009 +0100
7.3 @@ -10,7 +10,10 @@
7.4 <directive>
7.5 <Import>
7.6 <location>
7.7 + <!--
7.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_SubClass/RDF_Combination_SubClass-import001.nt</Const>
7.9 + -->
7.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/NegativeEntailmentTest/RDF_Combination_SubClass/RDF_Combination_SubClass-import001.nt</Const>
7.11 </location>
7.12 <profile>
7.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
8.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/IRI_from_RDF_Literal/IRI_from_RDF_Literal-premise.rif Wed Nov 11 11:27:45 2009 +0100
8.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/IRI_from_RDF_Literal/IRI_from_RDF_Literal-premise.rif Wed Nov 11 15:26:53 2009 +0100
8.3 @@ -10,7 +10,11 @@
8.4 <directive>
8.5 <Import>
8.6 <location>
8.7 + <!--
8.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/IRI_from_RDF_Literal/IRI_from_RDF_Literal-import001.nt</Const>
8.9 + -->
8.10 + <Const type="&xs;anyURI">file:////home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/IRI_from_RDF_Literal/IRI_from_RDF_Literal-import001.nt</Const>
8.11 +
8.12 </location>
8.13 <profile>
8.14 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
9.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/OWL_Combination_Vocabulary_Separation_Inconsistency_1/OWL_Combination_Vocabulary_Separation_Inconsistency_1-premise.rif Wed Nov 11 11:27:45 2009 +0100
9.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/OWL_Combination_Vocabulary_Separation_Inconsistency_1/OWL_Combination_Vocabulary_Separation_Inconsistency_1-premise.rif Wed Nov 11 15:26:53 2009 +0100
9.3 @@ -10,7 +10,10 @@
9.4 <directive>
9.5 <Import>
9.6 <location>
9.7 + <!--
9.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/OWL_Combination_Vocabulary_Separation_Inconsistency_1/OWL_Combination_Vocabulary_Separation_Inconsistency_1-import001.turtle</Const>
9.9 + -->
9.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/OWL_Combination_Vocabulary_Separation_Inconsistency_1/OWL_Combination_Vocabulary_Separation_Inconsistency_1-import001.turtle</Const>
9.11 </location>
9.12 <profile>
9.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#OWL-DL</Const>
10.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/OWL_Combination_Vocabulary_Separation_Inconsistency_2/OWL_Combination_Vocabulary_Separation_Inconsistency_2-premise.rif Wed Nov 11 11:27:45 2009 +0100
10.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/OWL_Combination_Vocabulary_Separation_Inconsistency_2/OWL_Combination_Vocabulary_Separation_Inconsistency_2-premise.rif Wed Nov 11 15:26:53 2009 +0100
10.3 @@ -10,7 +10,10 @@
10.4 <directive>
10.5 <Import>
10.6 <location>
10.7 + <!--
10.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/OWL_Combination_Vocabulary_Separation_Inconsistency_2/OWL_Combination_Vocabulary_Separation_Inconsistency_2-import001.turtle</Const>
10.9 + -->
10.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/OWL_Combination_Vocabulary_Separation_Inconsistency_2/OWL_Combination_Vocabulary_Separation_Inconsistency_2-import001.turtle</Const>
10.11 </location>
10.12 <profile>
10.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#OWL-DL</Const>
11.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Blank_Node/RDF_Combination_Blank_Node-premise.rif Wed Nov 11 11:27:45 2009 +0100
11.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Blank_Node/RDF_Combination_Blank_Node-premise.rif Wed Nov 11 15:26:53 2009 +0100
11.3 @@ -10,7 +10,11 @@
11.4 <directive>
11.5 <Import>
11.6 <location>
11.7 + <!--
11.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Blank_Node/RDF_Combination_Blank_Node-import001.nt</Const>
11.9 + -->
11.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Blank_Node/RDF_Combination_Blank_Node-import001.nt</Const>
11.11 +
11.12 </location>
11.13 <profile>
11.14 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#RDF</Const>
12.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_2/RDF_Combination_Constant_Equivalence_2-premise.rif Wed Nov 11 11:27:45 2009 +0100
12.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_2/RDF_Combination_Constant_Equivalence_2-premise.rif Wed Nov 11 15:26:53 2009 +0100
12.3 @@ -10,7 +10,10 @@
12.4 <directive>
12.5 <Import>
12.6 <location>
12.7 + <!--
12.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_2/RDF_Combination_Constant_Equivalence_2-import001.nt</Const>
12.9 + -->
12.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_2/RDF_Combination_Constant_Equivalence_2-import001.nt</Const>
12.11 </location>
12.12 <profile>
12.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
13.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_3/RDF_Combination_Constant_Equivalence_3-premise.rif Wed Nov 11 11:27:45 2009 +0100
13.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_3/RDF_Combination_Constant_Equivalence_3-premise.rif Wed Nov 11 15:26:53 2009 +0100
13.3 @@ -10,7 +10,12 @@
13.4 <directive>
13.5 <Import>
13.6 <location>
13.7 + <!--
13.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_3/RDF_Combination_Constant_Equivalence_3-import001.nt</Const>
13.9 + -->
13.10 +
13.11 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_3/RDF_Combination_Constant_Equivalence_3-import001.nt</Const>
13.12 +
13.13 </location>
13.14 <profile>
13.15 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
14.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_Graph_Entailment/RDF_Combination_Constant_Equivalence_Graph_Entailment-premise.rif Wed Nov 11 11:27:45 2009 +0100
14.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_Graph_Entailment/RDF_Combination_Constant_Equivalence_Graph_Entailment-premise.rif Wed Nov 11 15:26:53 2009 +0100
14.3 @@ -10,7 +10,10 @@
14.4 <directive>
14.5 <Import>
14.6 <location>
14.7 + <!--
14.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_Graph_Entailment/RDF_Combination_Constant_Equivalence_Graph_Entailment-import001.turtle</Const>
14.9 + -->
14.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_Graph_Entailment/RDF_Combination_Constant_Equivalence_Graph_Entailment-import001.turtle</Const>
14.11 </location>
14.12 <profile>
14.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
15.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-import001.nt Wed Nov 11 11:27:45 2009 +0100
15.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-import001.nt Wed Nov 11 15:26:53 2009 +0100
15.3 @@ -1,5 +1,6 @@
15.4 @prefix ex: <http://example.org/#> .
15.5 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
15.6 +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
15.7
15.8 ex:a rdf:type ex:C .
15.9 ex:C rdfs:subClassOf ex:D .
15.10 \ No newline at end of file
16.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-premise.rif Wed Nov 11 11:27:45 2009 +0100
16.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-premise.rif Wed Nov 11 15:26:53 2009 +0100
16.3 @@ -10,7 +10,10 @@
16.4 <directive>
16.5 <Import>
16.6 <location>
16.7 + <!--
16.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-import001.nt</Const>
16.9 + -->
16.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Approved/PositiveEntailmentTest/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-import001.nt</Const>
16.11 </location>
16.12 <profile>
16.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#RDFS</Const>
17.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Constant_1/RDF_Combination_Invalid_Constant_1-input.rif Wed Nov 11 11:27:45 2009 +0100
17.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Constant_1/RDF_Combination_Invalid_Constant_1-input.rif Wed Nov 11 15:26:53 2009 +0100
17.3 @@ -10,7 +10,10 @@
17.4 <directive>
17.5 <Import>
17.6 <location>
17.7 + <!--
17.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Invalid_Constant_1/RDF_Combination_Invalid_Constant_1-import001.turtle</Const>
17.9 + -->
17.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Constant_1/RDF_Combination_Invalid_Constant_1-import001.turtle</Const>
17.11 </location>
17.12 <profile>
17.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
18.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Constant_2/RDF_Combination_Invalid_Constant_2-input.rif Wed Nov 11 11:27:45 2009 +0100
18.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Constant_2/RDF_Combination_Invalid_Constant_2-input.rif Wed Nov 11 15:26:53 2009 +0100
18.3 @@ -10,7 +10,11 @@
18.4 <directive>
18.5 <Import>
18.6 <location>
18.7 + <!--
18.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Invalid_Constant_2/RDF_Combination_Invalid_Constant_2-import001.turtle</Const>
18.9 + -->
18.10 +
18.11 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Constant_2/RDF_Combination_Invalid_Constant_2-import001.turtle</Const>
18.12 </location>
18.13 <profile>
18.14 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
19.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Profiles_1/RDF_Combination_Invalid_Profiles_1-input.rif Wed Nov 11 11:27:45 2009 +0100
19.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Profiles_1/RDF_Combination_Invalid_Profiles_1-input.rif Wed Nov 11 15:26:53 2009 +0100
19.3 @@ -10,7 +10,10 @@
19.4 <directive>
19.5 <Import>
19.6 <location>
19.7 + <!--
19.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Invalid_Profiles_1/RDF_Combination_Invalid_Profiles_1-import001.turtle</Const>
19.9 + -->
19.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Profiles_1/RDF_Combination_Invalid_Profiles_1-import001.turtle</Const>
19.11 </location>
19.12 <profile>
19.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
19.14 @@ -20,7 +23,10 @@
19.15 <directive>
19.16 <Import>
19.17 <location>
19.18 + <!--
19.19 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Invalid_Profiles_1/RDF_Combination_Invalid_Profiles_1-import002.turtle</Const>
19.20 + -->
19.21 + <Const type="&xs;anyURI">/home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/ImportRejectionTest/RDF_Combination_Invalid_Profiles_1/RDF_Combination_Invalid_Profiles_1-import002.turtle</Const>
19.22 </location>
19.23 <profile>
19.24 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#OWL-DL</Const>
20.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_1/RDF_Combination_Constant_Equivalence_1-premise.rif Wed Nov 11 11:27:45 2009 +0100
20.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_1/RDF_Combination_Constant_Equivalence_1-premise.rif Wed Nov 11 15:26:53 2009 +0100
20.3 @@ -10,7 +10,10 @@
20.4 <directive>
20.5 <Import>
20.6 <location>
20.7 + <!--
20.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_1/RDF_Combination_Constant_Equivalence_1-import001.nt</Const>
20.9 + -->
20.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_1/RDF_Combination_Constant_Equivalence_1-import001.nt</Const>
20.11 </location>
20.12 <profile>
20.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
21.1 --- a/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_4/RDF_Combination_Constant_Equivalence_4-premise.rif Wed Nov 11 11:27:45 2009 +0100
21.2 +++ b/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_4/RDF_Combination_Constant_Equivalence_4-premise.rif Wed Nov 11 15:26:53 2009 +0100
21.3 @@ -10,7 +10,10 @@
21.4 <directive>
21.5 <Import>
21.6 <location>
21.7 + <!--
21.8 <Const type="&xs;anyURI">http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_4/RDF_Combination_Constant_Equivalence_4-import001.nt</Const>
21.9 + -->
21.10 + <Const type="&xs;anyURI">file:///home/chema/gforge-proyectos/rifle/rifle/trunk/apps/rifle-validator/src/test/resources/test/Core_11_10_2009/Proposed/PositiveEntailmentTest/RDF_Combination_Constant_Equivalence_4/RDF_Combination_Constant_Equivalence_4-import001.nt</Const>
21.11 </location>
21.12 <profile>
21.13 <Const type="&xs;anyURI">http://www.w3.org/2007/rif-import-profile#Simple</Const>
22.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
22.2 +++ b/trunk/doc/rifle-report-20091111.xml Wed Nov 11 15:26:53 2009 +0100
22.3 @@ -0,0 +1,304 @@
22.4 +<?xml version="1.0" encoding="UTF-8"?>
22.5 +
22.6 +<TestReport xmlns="http://www.w3.org/2009/10/rif-test-results#">
22.7 + <Implementation>
22.8 + <name>RIFLE</name>
22.9 + <version>0.1</version>
22.10 + <website>http://sf.net/apps/mediawiki/rifle</website>
22.11 + <description>
22.12 + Suite of tools for RIF.
22.13 + </description>
22.14 +
22.15 + <Organization>
22.16 + <name>Fundación CTIC</name>
22.17 + <website>http://www.fundacionctic.org</website>
22.18 + </Organization>
22.19 +
22.20 + <Submitter>
22.21 + <name>Luis Polo Paredes</name>
22.22 + <email>luis.polo@fundacionctic.org</email>
22.23 + </Submitter>
22.24 + </Implementation>
22.25 +
22.26 + <TestRun date="2009-11-11">
22.27 + <TestSuite>
22.28 + <version>1.0</version>
22.29 + </TestSuite>
22.30 + <platform>Java(TM) SE Runtime Environment (build 1.6.0_16-b01). Linux 2.6.28-16-generic #55-Ubuntu SMP Tue Oct 20 19:48:24 UTC 2009 i686 GNU/Linux</platform>
22.31 + </TestRun>
22.32 +
22.33 + <TestResult>
22.34 + <testId>All_Builtins</testId>
22.35 + <status>pass</status>
22.36 + <comment>Deprecated</comment>
22.37 + </TestResult>
22.38 +
22.39 + <TestResult>
22.40 + <testId>Builtin_literal-not-identical</testId>
22.41 + <status>pass</status>
22.42 + <comment>Deprecated</comment>
22.43 + </TestResult>
22.44 +
22.45 +
22.46 + <TestResult msec="223">
22.47 + <testId>Builtins_Numeric</testId>
22.48 + <status>pass</status>
22.49 + </TestResult>
22.50 +
22.51 + <TestResult msec="124">
22.52 + <testId>Builtins_PlainLiteral</testId>
22.53 + <status>pass</status>
22.54 + </TestResult>
22.55 +
22.56 + <TestResult>
22.57 + <testId>Builtins_String</testId>
22.58 + <status>pass</status>
22.59 + <comment>Deprecated</comment>
22.60 + </TestResult>
22.61 +
22.62 +
22.63 + <TestResult msec="324">
22.64 + <testId>Builtins_Time</testId>
22.65 + <status>pass</status>
22.66 + </TestResult>
22.67 +
22.68 + <TestResult msec="080">
22.69 + <testId>Builtins_XMLLiteral</testId>
22.70 + <status>pass</status>
22.71 + </TestResult>
22.72 +
22.73 + <TestResult msec="086">
22.74 + <testId>Builtins_anyURI</testId>
22.75 + <status>pass</status>
22.76 + </TestResult>
22.77 +
22.78 +
22.79 + <TestResult msec="109">
22.80 + <testId>Builtins_base64Binary</testId>
22.81 + <status>pass</status>
22.82 + </TestResult>
22.83 +
22.84 +
22.85 + <TestResult msec="070">
22.86 + <testId>Builtins_boolean</testId>
22.87 + <status>pass</status>
22.88 + </TestResult>
22.89 +
22.90 +
22.91 +<TestResult msec="736">
22.92 + <testId>Builtins_List</testId>
22.93 + <status>undecided</status>
22.94 + <comment>Not implemented yet</comment>
22.95 + </TestResult>
22.96 +
22.97 +
22.98 +
22.99 + <TestResult msec="236">
22.100 + <testId>Chaining_strategy_numeric-add_1</testId>
22.101 + <status>undecided</status>
22.102 + </TestResult>
22.103 +
22.104 +
22.105 + <TestResult msec="143">
22.106 + <testId>Chaining_strategy_numeric-subtract_2</testId>
22.107 + <status>undecided</status>
22.108 + </TestResult>
22.109 +
22.110 +
22.111 + <TestResult msec="071">
22.112 + <testId>Core_Safeness</testId>
22.113 + <status>pass</status>
22.114 + </TestResult>
22.115 +
22.116 + <TestResult msec="086">
22.117 + <testId>Core_Safeness_2</testId>
22.118 + <status>pass</status>
22.119 + </TestResult>
22.120 +
22.121 +
22.122 + <TestResult msec="091">
22.123 + <testId>Core_Safeness_3</testId>
22.124 + <status>pass</status>
22.125 + </TestResult>
22.126 +
22.127 +
22.128 +
22.129 +
22.130 +<TestResult msec="111">
22.131 + <testId>Factorial_Forward_Chaining</testId>
22.132 + <status>undecided</status>
22.133 + </TestResult>
22.134 +
22.135 +<TestResult msec="079">
22.136 + <testId>Frame_slots_are_independent</testId>
22.137 + <status>undecided</status>
22.138 + </TestResult>
22.139 +
22.140 +
22.141 +<TestResult msec="069">
22.142 + <testId>Frames</testId>
22.143 + <status>undecided</status>
22.144 + </TestResult>
22.145 +
22.146 +<TestResult msec="125">
22.147 + <testId>Guards_and_subtypes</testId>
22.148 + <status>undecided</status>
22.149 + </TestResult>
22.150 +
22.151 +
22.152 +<TestResult msec="1256">
22.153 + <testId>IRI_from_RDF_Literal</testId>
22.154 + <status>pass</status>
22.155 + <comment>File not found: http://www.w3.org/2005/rules/test/IRI_from_RDF_Literal/IRI_from_RDF_Literal-import001.nt</comment>
22.156 + </TestResult>
22.157 +
22.158 +
22.159 +<TestResult msec="201">
22.160 + <testId>Local_Constant</testId>
22.161 + <status>undecided</status>
22.162 + </TestResult>
22.163 +
22.164 +
22.165 +<TestResult msec="101">
22.166 + <testId>Local_Predicate</testId>
22.167 + <status>undecided</status>
22.168 + </TestResult>
22.169 +
22.170 +<TestResult>
22.171 + <testId>Multiple_Context_Error</testId>
22.172 + <status>undecided</status>
22.173 + <comment>Not implemented yet</comment>
22.174 + </TestResult>
22.175 +
22.176 +
22.177 +<TestResult msec="072">
22.178 + <testId>NestedListsAreNotFlatLists</testId>
22.179 + <status>undecided</status>
22.180 + </TestResult>
22.181 +
22.182 +
22.183 + <TestResult msec="1651">
22.184 + <testId>Non-Annotation Entailment</testId>
22.185 + <status>pass</status>
22.186 + <comment>File not found: http://www.w3.org/2005/rules/test/Non-Annotation_Entailment/Non-Annotation_Entailment-import001.turtle</comment>
22.187 + </TestResult>
22.188 +
22.189 +
22.190 +
22.191 + <TestResult msec="113">
22.192 + <testId>OWL_Combination_Invalid_DL_Formula</testId>
22.193 + <status>undecided</status>
22.194 +<comment>Not syntax validation</comment>
22.195 + </TestResult>
22.196 +
22.197 + <TestResult msec="1701">
22.198 + <testId>OWL_Combination_Vocabulary_Separation_Inconsistency_1</testId>
22.199 + <status>pass</status>
22.200 + <comment>File not found: http://www.w3.org/2005/rules/test/OWL_Combination_Vocabulary_Separation_Inconsistency_1/OWL_Combination_Vocabulary_Separation_Inconsistency_1-import001.turtle</comment>
22.201 + </TestResult>
22.202 +
22.203 +
22.204 + <TestResult msec="1690">
22.205 + <testId>OWL_Combination_Vocabulary_Separation_Inconsistency_2</testId>
22.206 + <status>pass</status>
22.207 + <comment>File not found: http://www.w3.org/2005/rules/test/OWL_Combination_Vocabulary_Separation_Inconsistency_2/OWL_Combination_Vocabulary_Separation_Inconsistency_2-import001.turtle</comment>
22.208 + </TestResult>
22.209 +
22.210 +
22.211 + <TestResult msec="104">
22.212 + <testId>Ordered_Relations</testId>
22.213 + <status>undecided</status>
22.214 + </TestResult>
22.215 +
22.216 +
22.217 + <TestResult msec="1276">
22.218 + <testId>RDF_Combination_Blank_Node</testId>
22.219 + <status>pass</status>
22.220 + <comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_Blank_Node/RDF_Combination_Blank_Node-import001.nt</comment>
22.221 + </TestResult>
22.222 +
22.223 +
22.224 + <TestResult msec="1281">
22.225 + <testId>RDF_Combination_Constant_Equivalence_1</testId>
22.226 + <status>pass</status>
22.227 + <comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_1/RDF_Combination_Constant_Equivalence_1-import001.nt</comment>
22.228 + </TestResult>
22.229 +
22.230 +
22.231 +
22.232 + <TestResult msec="1287">
22.233 + <testId>RDF_Combination_Constant_Equivalence_2</testId>
22.234 + <status>pass</status>
22.235 +<comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_2/RDF_Combination_Constant_Equivalence_2-import001.nt</comment>
22.236 + </TestResult>
22.237 +
22.238 +
22.239 + <TestResult msec="1245">
22.240 + <testId>RDF_Combination_Constant_Equivalence_3</testId>
22.241 + <status>pass</status>
22.242 +<comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_3/RDF_Combination_Constant_Equivalence_3-import001.nt</comment>
22.243 + </TestResult>
22.244 +
22.245 +
22.246 +
22.247 + <TestResult msec="1263">
22.248 + <testId>RDF_Combination_Constant_Equivalence_4</testId>
22.249 + <status>pass</status>
22.250 +<comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_4/RDF_Combination_Constant_Equivalence_4-import001.nt</comment>
22.251 + </TestResult>
22.252 +
22.253 +
22.254 +
22.255 +<TestResult msec="475">
22.256 + <testId>RDF_Combination_Constant_Equivalence_Graph_Entailment</testId>
22.257 + <status>pass</status>
22.258 +<comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_Constant_Equivalence_Graph_Entailment/RDF_Combination_Constant_Equivalence_Graph_Entailment-import001.turtle</comment>
22.259 + </TestResult>
22.260 +
22.261 +<TestResult msec="1328">
22.262 + <testId>RDF_Combination_Invalid_Constant_1</testId>
22.263 + <status>pass</status>
22.264 +<comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_Invalid_Constant_1/RDF_Combination_Invalid_Constant_1-import001.turtle</comment>
22.265 + </TestResult>
22.266 +
22.267 +
22.268 +<TestResult msec="1151">
22.269 + <testId>RDF_Combination_Invalid_Constant_2</testId>
22.270 + <status>pass</status>
22.271 +<comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_Invalid_Constant_2/RDF_Combination_Invalid_Constant_2-import001.turtle</comment>
22.272 + </TestResult>
22.273 +
22.274 +
22.275 +<TestResult msec="1289">
22.276 + <testId>RDF_Combination_Invalid_Profiles_1</testId>
22.277 + <status>pass</status>
22.278 +<comment>Files not found: http://www.w3.org/2005/rules/test/RDF_Combination_Invalid_Profiles_1/RDF_Combination_Invalid_Profiles_1-import001.turtle and http://www.w3.org/2005/rules/test/RDF_Combination_Invalid_Profiles_1/RDF_Combination_Invalid_Profiles_1-import002.turtle</comment>
22.279 + </TestResult>
22.280 +
22.281 +<TestResult msec="1345">
22.282 + <testId>RDF_Combination_SubClass</testId>
22.283 + <status>pass</status>
22.284 + <comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_SubClass/RDF_Combination_SubClass-import001.nt. Validation failed: Prefix is undefined: rdf:type, line 4 col 6 (Add "@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .") .</comment>
22.285 + </TestResult>
22.286 +
22.287 +<TestResult msec="1266">
22.288 + <testId>RDF_Combination_SubClass_2</testId>
22.289 + <status>fail</status>
22.290 +<comment>File not found: http://www.w3.org/2005/rules/test/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-import001.nt. Validation failed: Prefix is undefined: rdf:type, line 4 col 6 (Add "@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .") .</comment>
22.291 + </TestResult>
22.292 +
22.293 +<TestResult>
22.294 + <testId>Multiple_Context_Error</testId>
22.295 + <status>undecided</status>
22.296 + </TestResult>
22.297 +
22.298 +<TestResult>
22.299 + <testId>UCR_4.1a</testId>
22.300 + <status>undecided</status>
22.301 + </TestResult>
22.302 +
22.303 + <TestResult>
22.304 + <testId>UCR_4.7a</testId>
22.305 + <status>undecided</status>
22.306 + </TestResult>
22.307 +</TestReport>