W3C home > Mailing lists > Public > public-owl-wg@w3.org > February 2009

Re: [LC response] To Zhe Wu Re: OWL 2 LC Comments

From: Zhe Wu <alan.wu@oracle.com>
Date: Fri, 20 Feb 2009 12:38:23 -0500
Message-ID: <499EEA8F.9070408@oracle.com>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
CC: public-owl-wg@w3.org
Hi Peter,

Thanks for the response. I will pass it on and let the WG know if Oracle 
is happy with this response.

Zhe

Peter F. Patel-Schneider wrote:
> [On public-owl-wg, as the initial message was there.]
>
> Dear Zhe,
>
> Thank you for your message
>   http://lists.w3.org/Archives/Public/public-owl-wg/2009Jan/0083.html
> on the OWL 2 Web Ontology Language last call drafts.
>  
> Your message contains multiple sections, affecting more than one
> document, and will thus generate multiple replies.  This response
> is for sections 1, 2, 5, and 6, which affect the mapping from the
> functional syntax to RDF graphs as well as a simple typographical
> problem in the Profiles document.
>
> *********************
> 1. very minor printing issues - OWL 2 Profiles printout (using Firefox)
> has a weird "span" code in Section 6.3 DataIntersectionOf :=
> 'IntersectionOf' '(' <span class="nontDataRange</span> 
> *********************
>
> This has been fixed.
>
> The diffs are:
> http://www.w3.org/2007/OWL/wiki/index.php?title=Profiles&diff=17615&oldid=17330
>
>
> *********************
> 5. In the RDF mapping document, is it possible to keep OWL 2 vocabulary
>    a bit smaller by replacing owl:minQualifiedCardinality with the
>    existing owl:minCardinality?  Same idea applies to
>    owl:qualifiedCardinality, owl:maxQualifiedCardinality.  After all,
>    owl:onClass is there to differentiate the qualified vs.
>    non-qualified case.
> *********************
>
> The problem here has to do with monotonicity of the RDF semantics.
> Consider a qualified min cardinality translation, i.e., something like
> MinCardinality(2 ex:p ex:C), which translates into
>
> 	_:x rdf:type owl:Restriction 
> 	_:x owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger
> 	_:x owl:onProperty ex:p
> 	_:x owl:onClass ex:C
>
> If this suggestion was made the translation would instead be
>
> 	_:x rdf:type owl:Restriction 
> 	_:x owl:minCardinality "2"^^xsd:nonNegativeInteger
> 	_:x owl:onProperty ex:p
> 	_:x owl:onClass ex:C
>
> However, this contains the three-triple translation of MinCardinality(2
> ex:p), and The RDF semantic will pick this up, and augment the meaning
> of the above four triples with the meaning for MinCardinality(2 ex:p).
>
> For minimum cardinality things are not so bad, because MinCardinality(2
> ex:p ex:C) implies MinCardinality(2 ex:p).  However for Cardinality and
> MaxCardinality this is not the case, and an incorrect meaning will be
> determined.
>
> This kind of problem has been known ever since the original Web Ontology
> Working Group.  The RDF mapping document does not contain all the
> rationale for the various choices in the mapping, so no change is
> envisioned in response to this part of your comment.
>
>
> *********************
> 2. very minor typo
>     RDF mapping document has a typo in Section 2.2. s/auhtor/author/.
>
> 6. In Section 2.2 of RDF mapping document, are we missing a translation?
>    It is unclear how the second example in 2.2 is translated into
>    triples.  The AnnotationAssertion in Table 1 has three parameters and
>    that example has only two parameters for AnnotationAssertion.
> *********************
>
> The second example in Section 2.2 is
>
> 	AnnotationAssertion( a:Peter
> 	    Annotation(
> 	       Annotation( a:author a:Seth_MacFarlane )
> 	       rdfs:label "Peter Griffin"
> 	    )
> 	) 
>
> This is not syntactically correct.  The example was not correctly
> changed from a previous syntax for annotation assertions.  The correct
> example is
>
> 	AnnotationAssertion( 
> 	       Annotation( a:author a:Seth_MacFarlane )
> 	       rdfs:label a:Peter "Peter Griffin"
> 	) 
>
> namely a singly-annotated annotation assertion.
>
> Thank you for pointing out this error.  You also point out the
> mis-typing of a:author in the example.
>
> The document has been changed to fix these editorial mistakes.  The diffs
> can be found at
> http://www.w3.org/2007/OWL/wiki/index.php?title=Mapping_to_RDF_Graphs&diff=18172&oldid=18155
>
> Please acknowledge receipt of this email to
> <mailto:public-owl-comments@w3.org> (replying to this email should
> suffice). In your acknowledgment please let us know whether or not you
> are satisfied with the working group's response to your comment. 
>
> Regards,
> Peter F. Patel-Schneider
> on behalf of the W3C OWL Working Group 
>
>   
Received on Friday, 20 February 2009 17:39:04 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 20 February 2009 17:39:04 GMT