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

RE: Typo in Syntax 9.3.1

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Sun, 10 May 2009 21:27:30 +0200
To: "'Alan Ruttenberg'" <alanruttenberg@gmail.com>, "'W3C OWL Working Group'" <public-owl-wg@w3.org>
Message-ID: <7B038C26F3E84DFFBFE2C5B024649237@wolf>
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" )

 

 
Received on Sunday, 10 May 2009 19:29:21 UTC

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