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

Re: TEST, SEM: test cases for dark triples

From: <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 23 Apr 2002 16:28:07 +0200
To: pfps@research.bell-labs.com
Cc: jjc@hplb.hpl.hp.com, www-webont-wg@w3.org
Message-Id: <OFE5190CB1.76D5F4C8-ONC1256BA4.0037FE92@bayer-ag.com>

[...]

> > OWL-entails
> >
> >   :John a ( owl:Restriction _:x owl:onProperty :child owl:hasClass _:x ) .

[...]

> 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

--
Jos

>> --
>> Jos
>
>peter
Received on Tuesday, 23 April 2002 10:58:57 GMT

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