UTV-Ω Ontology — Full Formal Specification

UTV-Ω Ontology

Full formal specification of universal classes, properties, domains, and relations.

This page provides the formal ontological structure underlying the Universal Thermodynamic Canon (UTV-Ω).
It is intended for machine parsing, reasoning, and integration with knowledge systems.

1. Ontology Namespace

{
  "@context": {
    "@vocab": "https://thermodynamicfield.com/ontology#",
    "rdf": "http://www.w3.org/1999/02/22-rdf-syntax-ns#",
    "rdfs": "http://www.w3.org/2000/01/rdf-schema#",
    "owl": "http://www.w3.org/2002/07/owl#",
    "xsd": "http://www.w3.org/2001/XMLSchema#"
  },
  "@id": "https://thermodynamicfield.com/utv-omega-ontology",
  "@type": "owl:Ontology",
  "label": "UTV-Ω Ontology",
  "description": "Universal Thermodynamic Vocabulary ontology definition."
}

2. Core Classes

State

Complete specification of system variables at time t.

StateSpace

Set of all admissible states.
subClassOf: State

Trajectory

Ordered sequence of states.

InvariantSet

Region preserved under system dynamics.

Constraint

Boundary limiting admissible dynamics.

Gradient

Directional derivative in state space.

Flux

Flow induced by a gradient.

Energy

Conserved quantity enabling work.

FreeEnergy

Energy available to perform work under constraints.

Entropy

Measure of state multiplicity.

Dissipation

Irreversible conversion of free energy into entropy.

Attractor

Invariant set toward which trajectories converge.

Basin

Region of state space converging to an attractor.

Transition

Qualitative change in system structure.

Irreversibility

Asymmetry under time reversal due to entropy production.

3. Properties

hasState

Domain: StateSpace
Range: State

flowsAlong

Domain: Gradient
Range: Flux

inducesFlux

Gradient → Flux

belongsToBasin

Domain: State
Range: Basin

convergesTo

Domain: State
Range: Attractor

crossesSeparatrix

Domain: State
Range: Basin

4. Operators (Formal)

Dissipate

Transforms a state by increasing entropy production.

MinimizeFreeEnergy

State → State, subject to constraints.

Converge

State approaches attractor over time.

Escape

State exits a basin boundary.

Stabilize

Strengthens basin stability.

5. Domain & Range Declarations

Every property in this ontology includes explicit domain and range declarations for machine interpretation.

6. Example Formal Axioms

owl:Class rdf:ID="State"/>
owl:Class rdf:ID="StateSpace"/>
owl:ObjectProperty rdf:ID="hasState">

6.1 Reasoning Annotations

This ontology supports automated reasoning over state-space transitions, attractor relationships, and viability constraints.

7. Linking to Machine-Readable Canon

→ Machine-Readable Canon