- From: Markus Krötzsch <mak@aifb.uni-karlsruhe.de>
- Date: Sun, 16 Aug 2009 15:46:10 +0200
- To: "'W3C OWL Working Group'" <public-owl-wg@w3.org>
- Message-Id: <200908161546.18211.mak@aifb.uni-karlsruhe.de>
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