更改

=====包含的包容层次 Subsumptive containment hierarchy=====

=====包容层次结构 Subsumptive containment hierarchy=====

A ''[[Category theory|subsumptive]]'' containment hierarchy is a classification of object classes from the general to the specific. Other names for this type of hierarchy are "taxonomic hierarchy" and "[[is-a|IS-A]] hierarchy".<ref name="Lehmann"/><ref name="ibm">{{cite web|url=http://publib.boulder.ibm.com/infocenter/wtxdoc/v8r2m0/index.jsp?topic=/com.ibm.websphere.dtx.md.doc/concepts/c_map_design_Compositional_Hierarchy.htm|archive-url=https://archive.today/20130103052727/http://publib.boulder.ibm.com/infocenter/wtxdoc/v8r2m0/index.jsp?topic=/com.ibm.websphere.dtx.md.doc/concepts/c_map_design_Compositional_Hierarchy.htm|url-status=dead|archive-date=3 January 2013|title=Compositional hierarchy|work=WebSphere Transformation Extender Design Studio|accessdate=9 October 2009}}</ref><ref name="sys model">{{cite book|chapter=An advanced modeling environment based on a hybrid AI-OR approach|chapterurl=https://books.google.com/books?id=ds2eIQ6XZy0C&pg=PA366|pages=366–75|last=Funke|first=Birger|last2=Sebastian|first2=Hans-Jürgen|title=Systems modelling and optimization: proceedings of the 18th IFIP TC7 conference|volume=396|series=Research notes in mathematics series|editor1-last=Polis|editor1-first=Michael P.|editor2-last=Dontchev|editor2-first=Asen L.|editor3-last=Kall|editor3-first=Peter|editor4-last=Lascieka|editor4-first=Irena|editor5-last=Olbrot|editor5-first=Andrzej W.|publisher=[[CRC Press]]|year=1999|isbn=978-0-8493-0607-5}}</ref> The last term describes the relationship between each level—a lower-level object "is a" member of the higher class. The taxonomical structure outlined above is a subsumptive containment hierarchy. Using again the example of Linnaean taxonomy, it can be seen that an object that is part of the level ''Mammalia'' "is a" member of the level ''Animalia''; more specifically, a human "is a" primate, a primate "is a" mammal, and so on. A subsumptive hierarchy can also be defined abstractly as a hierarchy of "[[concept]]s".<ref name="sys model"/> For example, with the Linnaean hierarchy outlined above, an entity name like ''Animalia'' is a way to group all the species that fit the [[wikt:conceptualization|conceptualization]] of an animal.

A ''[[Category theory|subsumptive]]'' containment hierarchy is a classification of object classes from the general to the specific. Other names for this type of hierarchy are "taxonomic hierarchy" and "[[is-a|IS-A]] hierarchy".<ref name="Lehmann"/><ref name="ibm">{{cite web|url=http://publib.boulder.ibm.com/infocenter/wtxdoc/v8r2m0/index.jsp?topic=/com.ibm.websphere.dtx.md.doc/concepts/c_map_design_Compositional_Hierarchy.htm|archive-url=https://archive.today/20130103052727/http://publib.boulder.ibm.com/infocenter/wtxdoc/v8r2m0/index.jsp?topic=/com.ibm.websphere.dtx.md.doc/concepts/c_map_design_Compositional_Hierarchy.htm|url-status=dead|archive-date=3 January 2013|title=Compositional hierarchy|work=WebSphere Transformation Extender Design Studio|accessdate=9 October 2009}}</ref><ref name="sys model">{{cite book|chapter=An advanced modeling environment based on a hybrid AI-OR approach|chapterurl=https://books.google.com/books?id=ds2eIQ6XZy0C&pg=PA366|pages=366–75|last=Funke|first=Birger|last2=Sebastian|first2=Hans-Jürgen|title=Systems modelling and optimization: proceedings of the 18th IFIP TC7 conference|volume=396|series=Research notes in mathematics series|editor1-last=Polis|editor1-first=Michael P.|editor2-last=Dontchev|editor2-first=Asen L.|editor3-last=Kall|editor3-first=Peter|editor4-last=Lascieka|editor4-first=Irena|editor5-last=Olbrot|editor5-first=Andrzej W.|publisher=[[CRC Press]]|year=1999|isbn=978-0-8493-0607-5}}</ref> The last term describes the relationship between each level—a lower-level object "is a" member of the higher class. The taxonomical structure outlined above is a subsumptive containment hierarchy. Using again the example of Linnaean taxonomy, it can be seen that an object that is part of the level ''Mammalia'' "is a" member of the level ''Animalia''; more specifically, a human "is a" primate, a primate "is a" mammal, and so on. A subsumptive hierarchy can also be defined abstractly as a hierarchy of "[[concept]]s".<ref name="sys model"/> For example, with the Linnaean hierarchy outlined above, an entity name like ''Animalia'' is a way to group all the species that fit the [[wikt:conceptualization|conceptualization]] of an animal.