Re: TEST, SEM: test cases for dark triples

From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: TEST, SEM: test cases for dark triples
Date: Tue, 23 Apr 2002 17:32:01 +0200

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

But how does this help to tell me what the () in the entailment is?
You appear to be adding undocumented extensions to N3.

peter

Received on Tuesday, 23 April 2002 11:41:35 UTC