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

Re: TEST, SEM: test cases for dark triples

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 23 Apr 2002 11:41:15 -0400
To: jos.deroo.jd@belgium.agfa.com
Cc: jjc@hplb.hpl.hp.com, www-webont-wg@w3.org
Message-Id: <20020423114115K.pfps@research.bell-labs.com>
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 GMT

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