W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2004

Re: Abstract Classes

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

> 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 GMT

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