W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

Re: TEST, SEM: test cases for dark triples

From: <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 29 Apr 2002 15:39:22 +0200
To: pfps@research.bell-labs.com
Cc: jjc@hplb.hpl.hp.com, www-webont-wg@w3.org
Message-Id: <OF6B18E986.D50DE152-ONC1256BAA.004A6F30@bayer-ag.com>

[...]

> However, in the following situation
>
> i p o1.
> o1 a C1 .
>
> the rule
>
> { ?s ?p ?o . ?o a ?C } log:implies { ?s a [ owl:restrictionOf ( ?p ?C ) ] } .
>
> produces
>
> i a  [ owl:restrictionOf ( p C1 ) ] .
>
> This is definitly *not* what would follow from a standard DL value
> restriction.

I completely agree and drop that rule *immediately*
and just keep

{ ?s ?p ?o . ?s a [ owl:restrictionOf ( ?p ?C ) ] } log:implies { ?o a ?C } .

--
Jos
Received on Monday, 29 April 2002 09:41:42 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT