

small remark on OWL Guide

From: edhel <edhell@mail.ru>
Date: Sat, 27 Sep 2003 22:42:08 +0800
Message-ID: <000801c38505$8834acb0$36bcfa50@ed>
<rdf:Description about="http://www.w3.org/TR/2003/CR-owl-guide-20030818/">

In chapter 3.3. Property Characteristics written:
If a property, P1, is tagged as the owl:inverseOf P2, then for all x, y, and z: 

P1(x,y) iff P2(y,x)

Note that the syntax for owl:inverseOf takes a property name as an argument. A iff B means (A implies B) and (B implies A). 


1) imho it is better to write simply "for all x and y" (without z)
2) but below in explanation of InverseFunctionalProperty  there is written vice versa "for all x and y" but need x,y,z
3) "IFF" was explained here, but already was used above

edhel, Russia
Received on Saturday, 27 September 2003 11:51:24 GMT
