Re: Implementation of Resolutions on owl.owl Namespace Document and RDF-Based Semantics

Thanks Michael!

I have produced a draft response to Holger [1]. Let me know if there  
are any comments on the owl.owl proposal or on the response; in  
default of such comments I will send the reply within the next couple  
of days.

Ian



On 11 Aug 2009, at 19:58, Michael Schneider wrote:

> Hi!
>
> As decided on our last TC, I have changed my original proposal for  
> owl.owl in
>
>   <http://www.w3.org/2007/OWL/wiki/Owl2DotOwlDevel>
>
> in two ways:
>
> * Resolution: <http://www.w3.org/2007/OWL/meeting/ 
> 2009-08-05#resolution_3>.
>
>   The classes owl:Thing, owl:Class, and owl:ObjectProperty
>   are now used in some cases when plausible instead of
>   rdfs:Resource, rdfs:Class, and rdf:Property,
>   following the practice in the original owl.owl
>   The original proposal together with the proposed changes
>   (starting with "#?") is given at
>   <http://www.w3.org/2007/OWL/wiki/index.php? 
> title=Owl2DotOwlDevel&oldid=25120>.
>
> * Resolution: <http://www.w3.org/2007/OWL/meeting/ 
> 2009-08-05#resolution_4>
>
>   Treatment for the RDFS annotation properties has been removed,
>   i.e. owl.owl only treats the OWL 2 vocabulary now.
>
> There is a lot of heading text there now, telling about the status  
> of the development and deviations from the original owl.owl, and  
> such. The deviations have largely reduced compared to my original  
> proposal, but some are still relevant.
>
> The changes are in the following diff:
>
>   <http://www.w3.org/2007/OWL/wiki/index.php? 
> title=Owl2DotOwlDevel&diff=25170&oldid=25120>
>
> I have also updated Section 6.4 of the RDF-Based Semantics  
> accordingly:
>
>   <http://www.w3.org/2007/OWL/wiki/RDF- 
> Based_Semantics#A_Set_of_Axiomatic_Triples>
>
> The "relevant" triples in the owl.owl draft (the rdf:type,  
> rdfs:subClassOf, rdfs:domain and rdfs:range triples, but /not/ the  
> labels, comments and rdfs:isDefinedBy triples) now coincide with  
> the "axiomatic triples" given in Table 6.1 and Table 6.2 in the RDF- 
> Based Semantics in the cited section. Practically, this means that  
> one can copy the triples from these two tables, add the necessary  
> namespace prefixes to the top of the file, and translate them into  
> RDF/XML. So owl.owl will be basically backed by one of our documents.
>
> Btw: I have also updated my OWL 2 Full testsuite accordingly, but  
> none of the WG-approved tests are affected by the performed change  
> to owl.owl. So, no need to worry. :)
>
> Best,
> 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
> ====================================================================== 
> =
>

Received on Tuesday, 11 August 2009 19:52:06 UTC