How would we define a set that contains itself within a knowledge ontology?
I am thinking that set membership would probably inherit from a generic base class of total containment from which both physical containment and conceptual containment are derived.
- total containment
- physical containment
- conceptual containment
- set containment