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

Re: TEST, SEM: test cases for dark triples

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 23 Apr 2002 11:05:05 -0400
To: jos.deroo.jd@belgium.agfa.com
Cc: jjc@hplb.hpl.hp.com, www-webont-wg@w3.org
Message-Id: <20020423110505G.pfps@research.bell-labs.com>
From: jos.deroo.jd@belgium.agfa.com
Subject: Re: TEST, SEM: test cases for dark triples
Date: Tue, 23 Apr 2002 16:28:07 +0200

> 
> [...]
> 
> > > OWL-entails
> > >
> > >   :John a ( owl:Restriction _:x owl:onProperty :child owl:hasClass _:x ) .
> 
> [...]
> 
> > I am confused as to what this syntax means.  Could you translate it back to
> > RDF?  In particular, does this mean that Person ends up with a restriction
> > on it, or is Person itself a restriction?
> 
> we actually just tried to express a restriction as a
> functional term but we had better said something like
> 
>   { ?s ?p ?o . ?o a ?C } log:implies { ?s a [ xx:functionOf ( ?p ?C ) ] } .
> 
> or some such
> and the () are indeed regular owl lists
> sorry about the confusion
> 
> --
> Jos
> 
> >> --
> >> Jos
> >
> >peter
> 

If the ( ) in the entailment is a list construct then I am even more
confused.  How can

	   _:1 owl:first owl:Restriction .
	   _:1 owl:rest _:2 .
	   _:2 owl:first _:x .
	   _:2 owl:rest _:3 .
	   _:3 owl:first owl:onProperty .
	   ....

be a class?

peter
Received on Tuesday, 23 April 2002 11:07:29 GMT

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