  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