- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Tue, 23 Apr 2002 17:32:01 +0200
- To: pfps@research.bell-labs.com
- Cc: "jjc" <jjc@hplb.hpl.hp.com>, "www-webont-wg" <www-webont-wg@w3.org>
> > [...] > > > > > 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 > 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? OK I see, this is making no sense; take my above example it is the subject of that xx:functionOf which is a class is there a name for such functions? -- Jos
Received on Tuesday, 23 April 2002 11:33:36 UTC