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

Re: Abstract Classes

From: Thomas B. Passin <tpassin@comcast.net>
Date: Thu, 12 Feb 2004 09:11:16 -0500
Message-ID: <402B8984.90100@comcast.net>
To: rdf-logic <www-rdf-logic@w3.org>

Eric Jain wrote:

>>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?
That condition is impossible to fulfil,  because for any subset of S 
that contains x, you can form another subset of S  that does not contain 
it just by removing x from the members.

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

That would only be feasible for small sets (did you mean "set" of 
"class" here?).  Maybe  you could explain what you are actually trying 
to accomplish here - it can probably be done some other way. Your 
description does not make sense, and I suspect it does not reflect what 
you are really after.


Tom P
Received on Thursday, 12 February 2004 09:09:58 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:41 UTC