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

ISSUE 4.6 EquivalentTo

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 GMT

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