1. Defining Abstractions, Sets, Collections, Types, and Categories
- Abstractions involve simplifying complex domains by grouping entities based on shared characteristics. For example, the abstraction ontology in identifies four principles: classification (grouping by properties), generalization (hierarchical inheritance), composition (part-whole relationships), and grouping (collections of entities).
- Sets are defined by their elements or cardinality (numerical properties), where an entity is recognized as a set if it contains explicit information about its members .
- Collections are groups of individuals or instances, often organized as natural units without requiring a shared defining characteristic. They are used to structure data into functional or thematic groups .
- Types and Categories distinguish between individuals (specific entities) and universals (general classes). For instance, substantial universals (e.g., “human” as a kind) and non-substantial universals (e.g., properties like “redness”) form foundational categories .
2. Space and Time in Ontological Representations
- Physical entities (substantial particulars like objects) inherently exist in space and time, as emphasized in the four-category ontology . Their spatiotemporal properties define their identity and interactions.
- Collections may also be spatially or functionally organized, such as systems grouped by fixed use (e.g., a building’s HVAC components modeled as a collection in the Brick Ontology) .
- Temporal aspects are often implicit in dynamic systems but can be explicitly modeled through events or processes tied to physical entities .