W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2008

Small mistype in the OWL-R Full rules

From: Ivan Herman <ivan@w3.org>
Date: Tue, 08 Apr 2008 13:15:23 +0200
Message-ID: <47FB53CB.2060109@w3.org>
To: Boris Motik <boris.motik@comlab.ox.ac.uk>
CC: W3C OWL Working Group <public-owl-wg@w3.org>
Boris,

(I am looking at the current version on the wiki, you may have an 
updated editorial version already somewhere...)

Table 2, axioms about properties, 5th rule on reflexive properties:

T(?x, ?y, ?z) should be T(?x, ?p, ?z)

(I guess...)

Ivan

-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf


Received on Tuesday, 8 April 2008 11:16:18 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 April 2008 11:16:18 GMT