Re: TEST, SEM: test cases for dark triples from Peter F. Patel-Schneider on 2002-04-22 (www-webont-wg@w3.org from April 2002)

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 UTC