Subsumption Axiom

Any two entities or two relations in any schema can be said to include one or the other. This is done with the Insert menu item, and also with the class/association context menu item, which also works relating classes in different schemas. There are two limitations on inter-schema subsumption axioms, in comparison with intra-schema Isa relationships:



Pablo Fillottrani 2010-08-17