Re: Abstract Classes from Eric Jain on 2004-02-12 (www-rdf-logic@w3.org from February 2004)

From: Eric Jain <Eric.Jain@isb-sib.ch>
Date: Thu, 12 Feb 2004 12:44:49 +0100
To: <drew.mcdermott@yale.edu>
Cc: "rdf-logic" <www-rdf-logic@w3.org>
Message-ID: <001f01c3f15d$9f071580$c300000a@caliente>

> If x is an element of set S, it's pointless to try to
> find a set S' such that x elt S' and S' subset S.

I guess there isn't a way to state that every x that is an element of
set S must also belong to any subset of S?

Perhaps I could use owl:unionOf to explicitely lists all subclasses of
S, but this is not a very satisfactory solution...

Received on Thursday, 12 February 2004 06:45:16 UTC