- 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