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: Mon, 22 Apr 2002 11:29:50 -0400
To: jjc@hplb.hpl.hp.com
Cc: www-webont-wg@w3.org
Message-Id: <20020422112950O.pfps@research.bell-labs.com>
Here is another test case

R:

     John rdf:type Person .
     Bill rdf:type Person .
     John child Bill .
entailing
     John rdf:type _:1 .
     _:1 rdf:type daml:Restriction .
     _:1 rdf:onProperty child .
     _:1 rdf:hasClass :_1 .

This is a very different situation from that in Jeremy's cases, even case C.

peter
Received on Monday, 22 April 2002 11:31:34 GMT

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