【正文】
ate belongs to the ProposeandRevise method ontology. 任務(wù)和方法本體 Type/Terminology of Ontology ? For task seems to be domain specific, knowledge representation might call for an ontology that describes knowledge at higher levels of generality. Figure 1: The IFF Foundation Ontology Architecture (with dependencies) (from IFF Metalevel Object level Upper Lower Top Information Flow Framework Category Theory Ontology namespaces: categories, functors, natural transformations, adjunctions, colimits and limits, Kan extensions, monads, topoi Upper Core Ontology namespaces: classes, functions。 (binary) relations and endorelations。 graphs and graph morphisms。 etc. Upper Classification Ontology namespaces: orders, monotonic functions, order bimodules, adjoint pairs, Galois connections, concept lattices, concept morphisms, plete lattices, plete adjoints, plete homomorphisms, classifications, etc. functional/relational infomorphisms, bonds, bonding pairs Top Core Ontology (one namespace) collections, functions, (binary) relations, limits and colimits Model Theory Ontology namespaces: sets, functions, (binary) relations, classifications, spans and hypergraphs, models, 1storder interpretations, etc. Ontology Ontology name pace : type languages and their morphisms, expressions, theories and their morphisms, models and model infomorphisms, prologics, logics and logic infomorphisms, truth, etc. Upper Ontology? Upper Ontology? Upper Ontologym ? Domain Ontology? Domain Ontology? Domain Ontologyp ? Middle Ontology? Middle Ontology? Middle Ontologyn ? Upper Ontology and Domain Ontology in IFF General Concepts 本體范圍 Ontology range ? Ontology range in abstraction (very general terms that form the foundation for knowledge representation in all domains) to domain specific terms (. terms that are restricted to specific knowledge domains). – . space, time, parts, and subparts all domains – mulfunction engineering or biological domain – hepatitis medicine