Small mistype in the OWL-R Full rules

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 UTC