RE: Typo in Syntax 9.3.1

Thanks - I've corrected the error.

 

Regards,

 

            Boris

 

  _____  

From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On
Behalf Of Alan Ruttenberg
Sent: 10 May 2009 20:25
To: W3C OWL Working Group
Subject: Typo in Syntax 9.3.1

 

Report courtesy of Melanie Courtot.
-Alan


---------- Forwarded message ----------
From: Melanie Courtot <mcourtot@gmail.com>
Subject: tiny typo?


In the example:

 

9.3.1 Data Subproperties
...

Consider the ontology consisting of the following axioms.
       SubDataPropertyOf( a:hasLastName a:hasName )    A last name of someone is
his/her name as well.
       DataPropertyAssertion( a:hasLastName a:Peter "Griffin" )        Peter's
last name is "Griffin".
       RDF: a:hasLastName rdfs:subPropertyOf a:hasName .       A last name of
someone is his/her name as well.
       a:Peter a:hasLastName "Griffin" .       Peter's last name is "Griffin".

Since a:hasLastName is a subproperty of a:hasName, each individual connected by
the former property to a literal is also connected by the latter property to the
same literal. Therefore, this ontology entails that a:Peter is connected to
"Peter" through a:hasName; that is, the ontology entails the following
assertion:
        DataPropertyAssertion( a:hasName a:Peter "Peter" )


Should be, as the literal used in the above declaration is "Griffin" and not
"Peter":

Since a:hasLastName is a subproperty of a:hasName, each individual connected by
the former property to a literal is also connected by the latter property to the
same literal. Therefore, this ontology entails that a:Peter is connected to
"Griffin" through a:hasName; that is, the ontology entails the following
assertion:
        DataPropertyAssertion( a:hasName a:Peter "Griffin" )