Re: TEST, SEM: test cases for dark triples

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Mon, 22 Apr 2002 10:32:20 -0400
• To: jjc@hplb.hpl.hp.com
• Cc: www-webont-wg@w3.org
• Message-Id: <20020422103220Y.pfps@research.bell-labs.com>

From: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Subject: TEST, SEM: test cases for dark triples
Date: Thu, 18 Apr 2002 13:45:16 +0100


> So far, we have had a variety of student/employee entailments from Peter in
> January; I suggest demonstrating those by two:
> A:
>    John isa student
>    John isa employee
> entailing
>    John isa (intersectionOf [student employee])

For starters, let's please not use isa.

peter

PS:  More-substantive comments to follow.

Received on Monday, 22 April 2002 10:33:37 UTC