- 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
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 UTC