ISSUE 4.6 EquivalentTo from Jeremy Carroll on 2002-06-20 (www-webont-wg@w3.org from June 2002)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 20 Jun 2002 17:51:43 +0100
To: <www-webont-wg@w3.org>
Message-ID: <CEECKEAMDAJDDEDGJNBEKECLCAAA.jjc@hpl.hp.com>

This is about classes as instances ...


test case (with neutral names).

Premise:

<a> <prop> <r1> .
<a> <prop> <r2> .
<prop> <owl:cardinality> "1" .
<r1> <owl:subClassOf> <c> .


Entails:

<r2> <owl:subClassOf> <c> .


Make this concrete:
  <a> represents a database column
  <prop> is give the database type 


Jeremy

Received on Thursday, 20 June 2002 12:51:50 UTC