MIN Class Catalog (v1.1.0)

This catalog reflects the classes in min.ttl.

Complete class list

Class	Parent	Branch	Direct instantiation	Core role
min:Entity	-	Root	No (conceptual root)	Absolute root of MIN
min:Nexus	min:Entity	Nexus	No (branch root)	Actual, causally effective entities
min:Object	min:Nexus	Nexus	Yes	materielle Persistenz
min:Process	min:Nexus	Nexus	Yes	Veränderung
min:Data	min:Nexus	Nexus	Yes	informationelles Artefakt
min:Agent	min:Entity	Cross-category	Yes	selektive Handlungsfähigkeit
min:Boundary	min:Nexus	Nexus	Yes	Grenzphänomene
min:Forma	min:Entity	Forma	No (branch root)	Formal determinants
min:Lex	min:Forma	Forma	Yes	universelle Gültigkeit
min:Structura	min:Forma	Forma	Yes	formale Struktur
min:Possibile	min:Forma	Forma	Yes	Möglichkeitsraum
min:Norma	min:Forma	Forma	Yes	Anforderung
min:Institutio	min:Forma	Forma	Yes	kollektive Anerkennung
min:Epistemicum	min:Forma	Forma	Yes	epistemische Haltung
min:EpistemicStatus	-	Enum	No (enum class)	Controlled vocabulary for epistemic standing
min:ConfidenceType	-	Enum	No (enum class)	Controlled vocabulary for confidence kind
min:MetaTerm	min:Institutio	Forma	Yes	ontologieinterner Beschreibungsterm
min:OntologyArtifact	min:Data	Nexus	Yes	ontologisches Data-Artefakt

Hierarchy

Entity ("Das, was existiert.")
├── Nexus ("Das, was etwas bewirkt.")
│   ├── Object ("Das, was da ist.")
│   ├── Process ("Das, was geschieht.")
│   ├── Data ("Das, was beschreibt.")
│   └── Boundary ("Das, was dazwischen entsteht.")
├── Forma ("Das, was bestimmt.")
│   ├── Lex ("Das, was immer gilt.")
│   ├── Structura ("Das, was die Wirklichkeit formalisiert.")
│   ├── Possibile ("Das, was sein könnte.")
│   ├── Norma ("Das, was gelten soll.")
│   ├── Institutio ("Das, was anerkannt wird.")
│   │   └── MetaTerm (ontologieinterner Beschreibungsterm)
│   └── Epistemicum ("Das, was fuer wahr gehalten wird.")
├── Agent ("Das, was handelt.")
└── (Data branch also contains:)
    └── OntologyArtifact (ontologisches Data-Artefakt)

Per-class details

min:Entity

• Role: absolute ontology root.
• Formal axiom: Entity ≡ Nexus ⊔ Forma.
• Structural axiom: at least one identifier (min:hasIdentifier minCardinality 1).

min:Nexus

• Role: root for actual, causally effective entities.
• Modeling note: instantiate one of its subclasses (Object, Process, Data, Boundary).

min:Object

• Role: materielle Persistenz — "Das, was da ist."
• Key relations: undergoes, hasComponent, actsOn/affectedBy, hasBoundary, typifiedBy.
• Example: Object section.

min:Process

• Role: Veränderung — "Das, was geschieht."
• Structural axioms: at least one hasInput and one hasOutput.
• Example: Process section.

min:Data

• Role: informationelles Artefakt — "Das, was beschreibt."
• Key relations: describes, generatedBy, encodes.
• Example: Data section.

min:Agent

• Role: selektive Handlungsfähigkeit — "Das, was handelt."
• Structural axioms: at least one performs relation to a Process; must be co-typed as Nexus or Forma.
• Key relations: performs, controls, actsOn, owns, constitutes, recognizes.
• Example: Agent section.

min:Boundary

• Role: Grenzphänomene — "Das, was dazwischen entsteht."
• Structural axiom: minimum two bounds links.
• Key relations: bounds / hasBoundary.
• Example: Boundary section.

min:Forma

• Role: root for formal determinants.
• Modeling note: instantiate one of its subclasses (Lex, Structura, Possibile, Norma, Institutio, Epistemicum).

min:Lex

• Role: universelle Gültigkeit — "Das, was immer gilt."
• Key relations: governs, constrains, realizedBy, originatedBy.
• Example: Lex section.

min:Structura

• Role: formale Struktur — "Das, was die Wirklichkeit formalisiert."
• Key relations: formalizes, realizedBy, originatedBy.
• Example: Structura section.

min:Possibile

• Role: Möglichkeitsraum — "Das, was sein könnte."
• Key relations: concerns, alternativeTo, realizedBy (when realized).
• Example: Possibile section.

min:Norma

• Role: Anforderung — "Das, was gelten soll."
• Key relations: evaluates, constrains, encodedBy, originatedBy.
• Example: Norma section.

min:Institutio

• Role: kollektive Anerkennung — "Das, was anerkannt wird."
• Key relations: constitutedBy, recognizedBy, typifies, comprises.
• Example: Institutio section.

min:Epistemicum

• Role: epistemische Haltung — "Das, was fuer wahr gehalten wird."
• Epistemic stance of an agent towards a state of affairs.
• Key relations: heldBy (optional), about (required), supportedBy, underminedBy, hasEpistemicStatus (required, functional), hasConfidenceType, hasConfidence.
• Agent-free instances model institutionalized epistemic states ("This dataset is verified").
• Example: Epistemicum section.

min:EpistemicStatus

• Role: controlled vocabulary for epistemic standing.
• Individuals: ES_Hypothetical, ES_Confirmed, ES_Refuted, ES_Contested, ES_Axiomatic.
• Used via hasEpistemicStatus (functional, exactly one per Epistemicum).

min:ConfidenceType

• Role: controlled vocabulary for the kind of confidence behind a numeric value.
• Individuals: CT_Subjective, CT_Statistical, CT_Bayesian, CT_Heuristic.
• Used via hasConfidenceType (functional, required when hasConfidence is present).

Forma classification guide

Is it violable?
  Yes → Norma
  No  → Does it hold universally and without exception?
    Yes → Lex
    No  → Is it purely formal, without empirical content?
      Yes → Structura
      No  → Does it exist only through collective recognition?
        Yes → Institutio
        No  → Does it describe something that has not occurred?
          Yes → Possibile
          No  → Is it an epistemic stance (something held to be true)?
            Yes → Epistemicum
            No  → Modeling problem — possibly a missing category.

Disjointness and overlap rules

• min:Object, min:Process, min:Data, min:Boundary are pairwise disjoint.
• min:Agent is intentionally not disjoint from those Nexus subclasses and can overlap with min:Institutio.
• min:Lex, min:Structura, min:Possibile, min:Norma, min:Institutio, min:Epistemicum are pairwise disjoint.
• min:Nexus and min:Forma are disjoint.