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

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

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 04 Mar 2002 18:32:20 -0500
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org
Message-Id: <20020304183220T.pfps@research.bell-labs.com>
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 GMT

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