Re: more on a same-syntax extension from RDF(S) to OWL

From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: more on a same-syntax extension from RDF(S) to OWL
Date: Tue, 5 Mar 2002 00:05:17 +0100

> > I agree that http://www.agfa.com/w3c/euler/owl-rules.n3 does not sanction
> > any oneOf consequences.  Therefore, you will not get
> >    John a person .
> > to imply
> >         John a [ owl:oneOf ( John ) ].
> > from http://www.agfa.com/w3c/euler/owl-rules.n3.
> >
> > All this says, however, is that there are desirable inferences that
> > http://www.agfa.com/w3c/euler/owl-rules.n3 does not sanction, i.e.,
> > http://www.agfa.com/w3c/euler/owl-rules.n3 is incomplete.
> 
> good point, I've added
>   { ?L owl:item ?x } log:implies { ?x a [ owl:oneOf ?L ] } .
> so now
>   the-empty-graph
> log:entails
>   :John a [ owl:oneOf ( :Frans :John :Mary ) ] .
> but that still doesn't give us an empty hypothesis to entail
>   _:1 owl:oneOf ( _:2 ) .
> I will think further...

Actually it does, as this is (assuming I've got the _ and : in the right
order) a simple existential version of part of

:John a [ owl:oneOf ( :John ) ]

peter

Received on Monday, 4 March 2002 18:40:04 UTC