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

Typo in Syntax 9.3.1

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Sun, 10 May 2009 14:25:21 -0400
Message-ID: <29af5e2d0905101125u60cbbfc9ja397684f867208f8@mail.gmail.com>
To: W3C OWL Working Group <public-owl-wg@w3.org>
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" )
Received on Sunday, 10 May 2009 18:26:17 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:12 UTC