Requirements

  • enables domain ontologies to capture the distinctions, overlap, and temporality of their physical, social, mental/conceptual, and representational/digital modalities without encumbering them with restrictions or too much complexity
  • supports class-like entities (types) as individuals... "instances" meaning classes as semantically rich components, mixins, traits, relator-types,
    • interface with traditional RDFS/OWL Classes
      • as subClasses
      • as instances properties/relations
  • rich Events support

Intensional vs Extensional

Immutability