3 new testcases due to the resolution of the "ontology properties as annotation properties" proposal

Hi!

After implementing the resolution to make 3 ontology properties into annotation properties, it became necessary to extend the testsuite for the OWL 2 RL/RDF rules, which I had uploaded last week, because the suite still missed testcases for the new 3 annotation properties. 

It's clear that these 3 test cases should be part of the testsuite as well. There is nothing special about them compared to the already existing testcases for annotation properties, such as rdfs:seeAlso. They have simply not yet been uploaded to the Wiki due to a pending resolution.

I have now created these testcases. Again, I have checked them against Ivan's reasoner, which again succeeded on them.

So I have now uploaded these three testcases as well to the test wiki, copycatting the encoding style for the testcase

  <http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/Rdfbased-sem-prop-seealso-type>

I have also added the "proposed" flag with the date of 14th July, since this would have been the date if we would have made our resolution earlier. But maybe this should be changed.

Here are the 3 testcases:

  <http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/Rdfbased-sem-prop-backwardcompatiblewith-type-annot>
  <http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/Rdfbased-sem-prop-incompatiblewith-type-annot>
  <http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/Rdfbased-sem-prop-priorversion-type-annot>

I believe that we do not need any further resolution on approving these test cases, since we already have the following two resolutions:

  * the approval of the uploaded testsuite as a whole, and

  * the resolution to make the three ontology properties into annotation properties.

Best,
Michael

>-----Original Message-----
>From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org]
>On Behalf Of Michael Schneider
>Sent: Thursday, July 16, 2009 10:48 AM
>To: W3C OWL Working Group
>Subject: Implementation of WG resolution on ontology properties as
>annotation properties
>
>Hi!
>
>I have implemented yesterday's resolution to make certain ontology
>properties in the RDF-Based Semantics into annotation properties
>according to my proposal in
>
>  <http://lists.w3.org/Archives/Public/public-owl-wg/2009Jun/0095.html>
>
>The affected terms were:
>
>  * owl:priorVersion
>  * owl:backwardCompatibleWith
>  * owl:incompatibleWith
>
>It is now true that the set of annotation properties in the RDF-Based
>Semantics equals the set of annotation properties defined in the
>Structural Spec, as listed in
>
>  <http://www.w3.org/2007/OWL/wiki/Syntax#Annotation_Properties>
>
>Here is the diff:
>
>  <http://www.w3.org/2007/OWL/wiki/index.php?title=RDF-
>Based_Semantics&diff=24829&oldid=24826>
>
>Cheers,
>Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
=======================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================