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

Re: TEST, SEM: test cases for dark triples

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>
Message-ID: <OF114F85C5.6294BCEA-ONC1256BA4.00542112@agfa.be>

> > [...]
> >
> > > 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 GMT

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