- 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
[...]
> 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 UTC