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" )