Updated tests with OWL RL issues

Following the recent discussion about owl:Thing in OWL RL, I have now 
corrected a number of test cases which were wrongly classified as OWL RL. 
WebOnt tests are immutable, I guess, so I just changed their profile flags as 
needed. A few other tests allowed for a simple fix by replacing "owl:Thing" 
with "owl:NamedIndividual". Most affected tests were already approved, and I 
suggest to preserve this status unless there are objections. The list of 
affected tests is below.

Cheers,

Markus


Affected tests that have been repaired using owl:NamedIndividual:

New-Feature-ReflexiveProperty-001
owl2-rl-anonymous-individual
owl2-rl-rules-fp-differentFrom
owl2-rl-rules-ifp-differentFrom
owl2-rl-valid-oneof

Affected tests that have been reclassified to not belong to OWL RL:

WebOnt-AnnotationProperty-001
WebOnt-AnnotationProperty-002
WebOnt-I5.3-006
WebOnt-I5.3-008
WebOnt-I5.3-010
WebOnt-I5.3-011
WebOnt-InverseFunctionalProperty-001
WebOnt-Ontology-001
WebOnt-SymmetricProperty-003
WebOnt-allValuesFrom-001
WebOnt-allValuesFrom-002
WebOnt-disjointWith-001
WebOnt-equivalentClass-001
WebOnt-equivalentProperty-001
WebOnt-equivalentProperty-004
WebOnt-miscellaneous-202
WebOnt-miscellaneous-203
WebOnt-miscellaneous-204
WebOnt-miscellaneous-205
WebOnt-miscellaneous-302
WebOnt-miscellaneous-302-Direct

-- 
Markus Krötzsch
Institute AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
phone +49 (0)721 608 7362           fax +49 (0)721 608 5998
mak@aifb.uni-karlsruhe.de           www  http://korrekt.org
http://semantic-web-book.org  http://semantic-mediawiki.org

Received on Sunday, 16 August 2009 13:46:57 UTC