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

Re: missing type in OWL-R-Full rule?

From: Alan Wu <alan.wu@Oracle.com>
Date: Tue, 08 Apr 2008 09:31:29 -0400
Message-ID: <47FB73B1.10001@oracle.com>
To: Ivan Herman <ivan@w3.org>
CC: Boris Motik <boris.motik@comlab.ox.ac.uk>, W3C OWL Working Group <public-owl-wg@w3.org>

Ivan,

You are right.

Zhe

Ivan Herman wrote:
> I have already made a fool of myself earlier today with a remark I had 
> on a rule but, well, here I am again with something else. Maybe this 
> time it _is_ a problem and not only a witness of my own incompetence...
>
> The last two rules in the semantics of classes, regarding max 
> cardinality constraints: isn't it necessary to add the extra triple:
>
> T(?u,rdf:type,?x)
>
> to the left side of both rules?
>
>
> Ivan
>
>
Received on Tuesday, 8 April 2008 13:33:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 April 2008 13:33:46 GMT