Proposal to approve tests

Propose approve following tests
cf
http://www.w3.org/2003/08/owl-systems/test-results-out#twicePassedProposed

(I have excluded 
I5.8-016 
backwardCompatibleWith-002
which is still topic of debate)

I exclude the following Full consistency tests
I5.26-003
I5.26-004
I5.26-007
I5.8-014
backwardCompatibleWith-002
disjointWith-004
disjointWith-006



Note Thing-001 is failed by hoolet




[Results] Class-002 levels:Full [PROPOSED] In OWL Full, the triple in the 
premises is synonymous with the triple in the conclusions.

[Results] Class-003 levels:Full [PROPOSED] In OWL Full, the triple in the 
premises is synonymous with the triple in the conclusions.

[Results] Class-006 levels:Full [PROPOSED] This test shows a correct 
application of OWL Full comprehension rules. It also shows that use of 
rdfs:Class instead of owl:Class may make a file fall outside OWL DL.

[Results] I5.21-002 levels:DL, Full [PROPOSED] The construct used here shows 
how to express mutual disjointness between classes with O(N) triples.

[Results] Ontology-001 levels:Lite, Full [PROPOSED] This is a variation of 
equivalentClass-001, showing the use of owl:Ontology triples in the premises 
and conclusions.

[Results] Ontology-004 levels:Lite, Full [PROPOSED] This is a variation of 
equivalentClass-001, showing the use of two owl:Ontology triples in the 
premises.

[Results] SymmetricProperty-002 levels:DL, Full [PROPOSED] Test illustrating 
extensional semantics of owl:SymmetricProperty.

[Results] SymmetricProperty-003 levels:Lite, Full [PROPOSED] A Lite version of 
test 001.

[Results] TransitiveProperty-002 levels:DL, Full [PROPOSED] Test illustrating 
extensional semantics of owl:TransitiveProperty.

[Results] description-logic-206 levels:Full, DL [PROPOSED] DL Test: k_path 
ABox test from DL98 systems comparison. 

[Results] description-logic-663 levels:Full, Lite [PROPOSED] DL Test: k_dum 
ABox test from DL98 systems comparison. 

[Results] oneOf-004 levels:Full, DL [PROPOSED] This test illustrates the use 
of dataRange in OWL DL. This test combines some of the ugliest features of 
XML, RDF and OWL.

[Results] sameAs-001 levels:Full [PROPOSED] Annotation properties refer to a 
class instance. sameAs, in OWL Full, also refers to the class instance.

[Results] AnnotationProperty-001 levels:Lite [PROPOSED] The semantics of 
annotations in the direct semantics strictly distinguishes class valued 
annotations from individual valued annotations.

[Results] Ontology-003 levels:Full [PROPOSED] This is a variation of 
equivalentClass-001, showing the use of owl:Ontology triple only in the 
conclusions.

[Results] Class-001 levels:Full [PROPOSED] In OWL Full every rdfs:Class is an 
owl:Class, in particular rdfs:Class is an owl:Class.

[Results] I5.8-011 levels:Full, Lite [PROPOSED] The empty graph entails that 
xsd:integer and xsd:string are a rdfs:Datatype

[Results] imports-010 levels:Full [PROPOSED] This test specifies the domain 
and range for owl:imports.


[Results] I5.8-013 levels:Lite, Full [PROPOSED] This test illustrates the use 
of a user defined datatype. The informal description has no formal semantics.


[Results] I5.8-015 levels:Lite, Full [PROPOSED] This test illustrates the use 
of a user defined datatype. The informal description has no formal semantics.


[Results] Thing-001 levels:Lite [PROPOSED] The extension of OWL Thing may be 
emtpy.

[Results] backwardCompatibleWith-001 levels:Lite, Full [PROPOSED] An example 
of use.



[Results] imports-012 levels:Lite, Full [PROPOSED] A simple test for infinite 
loops in imports processing code.

[Results] miscellaneous-205 levels:Full, Lite [PROPOSED] This shows that an 
OWL consistency checker which does not support the datatype rdf:XMLLiteral 
should not detect inconsistencies depending on it. This file is inconsistent 
with a datatype theory which supports rdf:XMLLiteral, but consistent in this 
test, which excludes such support.

[Results] description-logic-504 levels:Full, DL [PROPOSED] This is a different 
encoding of test 502.

[Results] miscellaneous-203 levels:Full, Lite [PROPOSED] This shows that 
initial whitespace in an rdf:XMLLiteral is significant within OWL.

[Results] miscellaneous-204 levels:Full, Lite [PROPOSED] This shows a simple 
inconsistency depending on the datatype rdf:XMLLiteral. This file is 
inconsistent with a datatype theory which supports rdf:XMLLiteral, and 
consistent otherwise.

[Results] imports-011 levels:Lite [PROPOSED] A Lite version of test 
imports-001.

Received on Wednesday, 1 October 2003 05:49:02 UTC