Re: TEST, SEM: test cases for dark triples

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