Re: Proposal to make certain ontology properties of OWL 2 Full into annotation properties

On Mon, Jun 22, 2009 at 8:21 AM, Michael Schneider<schneid@fzi.de> wrote:
> Hi!
>
> While creating a testsuite for OWL 2 RL and OWL 2 Full, I realized that there is probably a mismatch between the two languages regarding annotation properties, which would formally lead to unsoundness of the RL ruleset w.r.t. the RDF-Based Semantics.
>
> In Section 4.3 of the Profiles Spec, rule "prp-ap" of Table 5 results in a triple
>
>    ap rdf:type owl:AnnotationProperty
>
> "for every built-in annotation property ap of OWL 2 RL".
>
> I guess that these "built-in annotation properties" are meant to be those listed in Section 5.5 of the Structural Spec. Now, under the RDF-Based Semantics several of the built-in annotation properties listed in the Structural Spec are /not/ in class owl:AnnotationProperty, but are of type owl:OntologyProperty (an example is owl:priorVersion). This mismatch has been discussed in the past (in the discussion about the QRG), but hasn't yet lead to real technical issues, so I did not see any need for action so far. But now, I think something needs to be done.
>
> Note, however, that just changing the ontology properties into annotation properties would formally break backwards compatibility of OWL 2 Full, which would be a bad idea for a CR document. So I propose a more conservative change.
>
> PROPOSED: All ontology properties of the RDF-Based Semantics that are listed as annotation properties in Sec. 5.5 of the Structural Specification are /additionally/ made into annotation properties (instances of class owl:AnnotationProperty) in the RDF-Based Semantics.
>
This will make owl:OntologyProperty, same as owl:owl:distinctMembers
and owl:DataRange, be kept only for backward compatibility.  In the
Map2RDF document, owl:OntologyProperty is always replaced by
owl:AnnotationProperty in parsing. I general, I think your proposal
makes sense.

And l believe after this fix, the following triple will be always true
in every OWL 2 Full ontology:

owl:OntologyProperty rdfs:subclassOf rdf:type owl:AnnotationProperty

> This change would just be enough to fix the concrete technical problem, and would also be enough to bring the so far different notions of annotation properties between DL and Full in line, most probably without having any unforeseeable semantic side effects.
>
> I would consider this just to be a "typical bugfix" for a Call-for-Implementation phase. It's a small issue, and the problem actually occurred when I was trying to "implement" testcases that work both for Full and RL.
>
> This change would exclusively have an effect on the RDF-Based Semantics document. (Although maybe the QRG can be reworded a bit after the change, since there would not be any need to talk about ontology properties anymore. This has to be checked by the authors of the QRG.)
>
Even after the fix, QRG may still mention owl:OntologyProperty in the
appendix, follow the example of four other "deprecated" terms.

Jie

> I suggest to vote on this change on the next TC.
>
> 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
> =======================================================================
>
>
>



-- 
Jie Bao
http://www.cs.rpi.edu/~baojie

Received on Monday, 22 June 2009 18:55:02 UTC