|  Showing that one class does not subsume another.
|
|  ( Something that apparently cannot be done in RDF. )



some-item is in some-classB but not in some-classA
--------------------------------------------------
that-classA does not subsume that-classB


some-classA and some-classB are named differently
some-item is a member of that-classA
not : that-item is a member of that-classB
--------------------------------------------------
that-item is in that-classA but not in that-classB


some-item is a member of some-class
------------------------------------
there is a class named that-class


there is a class named some-classA-name
there is a class named some-classB-name
that-classA-name is not equal that-classB-name
----------------------------------------------------------
that-classA-name and that-classB-name are named differently


this-item is a member of this-class
===================================
 D                       Class 1
 E                       Class 1
 E                       Class 2
 F                       Class 2
 D                       Class 3