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>


You are right.


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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:03 UTC