@prefix rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:    <http://www.w3.org/2002/07/owl#> .
@prefix xsd:    <http://www.w3.org/2001/XMLSchema#> .

@prefix uih:    <https://nomogenetics.com/ontology/uih#> .
@base           <https://nomogenetics.com/ontology/uih#> .

@prefix dct:    <http://purl.org/dc/terms/> .
@prefix bibo:   <http://purl.org/ontology/bibo/> .
@prefix prov:   <http://www.w3.org/ns/prov#> .
@prefix foaf:   <http://xmlns.com/foaf/0.1/> .
@prefix skos:   <http://www.w3.org/2004/02/skos/core#> .
@prefix schema: <https://schema.org/> .
@prefix wd:     <http://www.wikidata.org/entity/> .

<> a owl:Ontology ;
   dct:title "Universal Information Hydrodynamics Ontology"@en ;
   owl:versionInfo "0.2" ;
   dct:creator "J. R. Dunkley" ;
   dct:date "2025-12-09"^^xsd:date ;
   owl:imports
       <http://purl.org/dc/terms/> ,
       <http://purl.org/ontology/bibo/> ,
       <http://www.w3.org/ns/prov-o#> ,
       <http://xmlns.com/foaf/0.1/> ,
       <http://www.w3.org/2004/02/skos/core#> ;
   rdfs:comment "Core ontology for the Universal Information Hydrodynamics (UIH) programme, unifying K = G + J flows, intrinsic Fisher-Kahler information geometry, operator sector, scalar Fisher halos and hypocoercive renormalisation."@en
.

#################################################################
# Annotation and datatype properties
#################################################################

uih:symbol a owl:DatatypeProperty ;
    rdfs:domain uih:UIHConcept ;
    rdfs:range xsd:string ;
    rdfs:comment "Canonical symbol name for a UIH concept, such as K, G, J, sigma_halo."@en
.

uih:latexSymbol a owl:DatatypeProperty ;
    rdfs:domain uih:UIHConcept ;
    rdfs:range xsd:string ;
    rdfs:comment "LaTeX form of a concept symbol."@en
.

uih:definedInSection a owl:AnnotationProperty ;
    rdfs:comment "Section identifier (human readable) in the primary paper where this concept is defined."@en
.

uih:relatedEquationLabel a owl:AnnotationProperty ;
    rdfs:comment "LaTeX equation labels in the source papers associated with this concept."@en
.

uih:belongsToPaper a owl:AnnotationProperty ;
    rdfs:comment "Primary paper in which this concept receives its first full definition."@en
.

uih:hasUnits a owl:DatatypeProperty ;
    rdfs:domain uih:UIHConcept ;
    rdfs:range xsd:string ;
    rdfs:comment "Human readable units string for a quantity, such as 1/time or dimensionless."@en
.

uih:importanceLevel a owl:DatatypeProperty ;
    rdfs:domain uih:UIHConcept ;
    rdfs:range xsd:string ;
    rdfs:comment "Qualitative importance level of a UIH concept within the programme, such as core, major, or supporting."@en
.

uih:numericValue a owl:DatatypeProperty ;
    rdfs:domain uih:ScalarQuantity ;
    rdfs:range xsd:double ;
    rdfs:comment "Numeric value of a scalar quantity."@en
.

uih:gapValue a owl:DatatypeProperty ;
    rdfs:subPropertyOf uih:numericValue ;
    rdfs:domain uih:FisherGap ;
    rdfs:range xsd:double ;
    rdfs:comment "Numeric Fisher gap value for a slow block."@en
.

uih:hypocoerciveRateValue a owl:DatatypeProperty ;
    rdfs:subPropertyOf uih:numericValue ;
    rdfs:domain uih:HypocoerciveRate ;
    rdfs:range xsd:double ;
    rdfs:comment "Numeric hypocoercive decay rate for a slow block."@en
.

uih:hypocoerciveIndexValue a owl:DatatypeProperty ;
    rdfs:subPropertyOf uih:numericValue ;
    rdfs:domain uih:HypocoerciveIndex ;
    rdfs:range xsd:double ;
    rdfs:comment "Numeric hypocoercive index r for a slow block."@en
.

uih:hasWikidataItem a owl:DatatypeProperty ;
    rdfs:range xsd:string ;
    rdfs:comment "String value of an associated Wikidata Q identifier, such as Q136913087."@en
.

uih:hasZenodoRecord a owl:DatatypeProperty ;
    rdfs:domain uih:UIHArtefact ;
    rdfs:range xsd:string ;
    rdfs:comment "Zenodo record identifier or DOI for an artefact."@en
.

#################################################################
# Core object properties (global and sector scaffolding)
#################################################################

uih:hasStateSpace a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:UIHStateSpace ;
    rdfs:comment "State space on which a UIH generator K acts."@en
.

uih:hasSymmetricPart a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:FisherOperator ;
    rdfs:comment "Symmetric part G of the generator K = G + J."@en
.

uih:hasSkewPart a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:SkewOperator ;
    rdfs:comment "Skew part J of the generator K = G + J."@en
.

uih:inducesFisherMetric a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:FisherOperator ;
    rdfs:range uih:FisherInformationMetric ;
    rdfs:comment "Fisher information metric induced by a Fisher operator G on a state space."@en
.

uih:drivesGradientFlowOf a owl:ObjectProperty ;
    rdfs:domain uih:FisherOperator ;
    rdfs:range uih:FreeEnergyFunctional ;
    rdfs:comment "Free energy functional whose gradient flow in the Fisher metric is generated by G."@en
.

uih:generatesFlow a owl:ObjectProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:UIHFlow ;
    rdfs:comment "Flow of states generated by a UIH generator K."@en
.

uih:actsOnStateSpace a owl:ObjectProperty ;
    rdfs:domain uih:UIHFlow ;
    rdfs:range uih:UIHStateSpace ;
    rdfs:comment "State space on which a given UIH flow acts."@en
.

uih:hasGenerator a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:range uih:UIHGenerator ;
    rdfs:comment "Generator K of a UIH flow or of a UIH system."@en
.

uih:hasReversibleProjection a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UniversalKFlow ;
    rdfs:range uih:MadelungKFlow ;
    rdfs:comment "Reversible Madelung projection of the universal K flow."@en
.

uih:hasMetriplecticProjection a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UniversalKFlow ;
    rdfs:range uih:MetriplecticKFlow ;
    rdfs:comment "Metriplectic projection of the universal K flow."@en
.

uih:hasOperatorProjection a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UniversalKFlow ;
    rdfs:range uih:DensitySectorKFlow ;
    rdfs:comment "Operator and density sector projection of the universal K flow."@en
.

uih:hasScalarGravityProjection a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UniversalKFlow ;
    rdfs:range uih:ScalarGravityKFlow ;
    rdfs:comment "Scalar gravity projection of the universal K flow."@en
.

uih:belongsToSector a owl:ObjectProperty ;
    rdfs:domain uih:UIHConcept ;
    rdfs:range uih:UIHSector ;
    rdfs:comment "Marks the primary UIH sector (geometry, operator, gravity, RG, experiments) to which a concept belongs."@en
.

#################################################################
# Metriplectic properties
#################################################################

uih:hasWeightedHMinusOneGeometry a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:FisherOperator ;
    rdfs:range uih:WeightedHMinusOneGeometry ;
    rdfs:comment "Weighted H^{-1} geometry associated with a Fisher operator G."@en
.

uih:hasMetriplecticStructure a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:MetriplecticStructure ;
    rdfs:comment "Metriplectic structure (G, J, F) associated with a UIH generator."@en
.

uih:hasEntropyClock a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:range uih:EntropyClock ;
    rdfs:comment "Entropy clock associated with a generator or slow block."@en
.

uih:hasEntropyProductionRate a owl:ObjectProperty ;
    rdfs:domain uih:UIHFlow ;
    rdfs:range uih:EntropyProductionRate ;
    rdfs:comment "Entropy production rate associated with a given UIH flow."@en
.

#################################################################
# Operator sector properties
#################################################################

uih:hasDensitySectorGenerator a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:GKLSSystem ;
    rdfs:range uih:DensitySectorGenerator ;
    rdfs:comment "Real density sector generator associated with a GKLS system."@en
.

uih:hasBKMMetric a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:GKLSSystem ;
    rdfs:range uih:BKMMetric ;
    rdfs:comment "Bogoliubov Kubo Mori metric for a GKLS system."@en
.

uih:hasComplexStructure a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHStateSpace ;
    rdfs:range uih:ComplexStructure ;
    rdfs:comment "Complex structure on the active mode manifold of a UIH state space."@en
.

uih:hasSymplecticForm a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHStateSpace ;
    rdfs:range uih:SymplecticForm ;
    rdfs:comment "Symplectic form on the active mode manifold of a UIH state space."@en
.

uih:formsKahlerTriple a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHStateSpace ;
    rdfs:range uih:KahlerTriple ;
    rdfs:comment "Kahler triple (g, Omega, I) on the active modes of a UIH state space."@en
.

uih:hasFisherStructure a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHStateSpace ;
    rdfs:range uih:FisherStructure ;
    rdfs:comment "Intrinsic Fisher structure B on a UIH state space, defined by metric and symplectic form."@en
.

uih:untwistsToKahlerTriple a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:FisherStructure ;
    rdfs:range uih:KahlerTriple ;
    rdfs:comment "Kahler triple obtained by untwisting a neutral Fisher structure on the active modes."@en
.

uih:hasInformationCurrent a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:InformationCurrent ;
    rdfs:comment "Information current associated with a UIH generator K in the Fisher-Kahler geometry."@en
.

uih:realisedOnDevice a owl:ObjectProperty ;
    rdfs:domain uih:UIHSystem ;
    rdfs:range uih:QuantumDevice ;
    rdfs:comment "Quantum device on which a UIH system is realised."@en
.

uih:wasReconstructedOnDevice a owl:ObjectProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:QuantumDevice ;
    rdfs:comment "Quantum device on which a generator was reconstructed via tomography."@en
.

uih:isReconstructionOf a owl:ObjectProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:UIHGenerator ;
    rdfs:comment "Noisy reconstructed generator is a reconstruction of an ideal generator."@en
.

uih:hasSpectrometer a owl:ObjectProperty ;
    rdfs:domain uih:UIHSystem ;
    rdfs:range uih:UIHOperatorSpectrometer ;
    rdfs:comment "Universality spectrometer associated with a UIH system."@en
.

#################################################################
# Scalar gravity properties
#################################################################

uih:hasBaryonicDensity a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:BaryonicSystem ;
    rdfs:range uih:BaryonicDensityField ;
    rdfs:comment "Baryonic density field associated with a baryonic system."@en
.

uih:hasPotentialField a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:BaryonicSystem ;
    rdfs:range uih:PotentialField ;
    rdfs:comment "Newtonian potential field associated with a baryonic system."@en
.

uih:hasScalarSector a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:range uih:ScalarFisherSector ;
    rdfs:comment "Scalar Fisher sector associated with a system or generator."@en
.

uih:hasHaloProfile a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:GalaxyDiscSystem ;
    rdfs:range uih:FisherScalarHalo ;
    rdfs:comment "Fisher scalar halo profile for a galaxy disc system."@en
.

uih:hasDiscFisherGeometry a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:GalaxyDiscSystem ;
    rdfs:range uih:DiscFisherGeometry ;
    rdfs:comment "Disc Fisher geometry associated with a galaxy disc system."@en
.

uih:hasRunningFisherCoupling a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:range uih:RunningFisherCoupling ;
    rdfs:comment "Running Fisher coupling profile alpha(r) for a disc geometry or scalar sector."@en
.

uih:hasScalarAction a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:ScalarFisherSector ;
    rdfs:range uih:ScalarActionFunctional ;
    rdfs:comment "Scalar action functional associated with a scalar Fisher sector."@en
.

uih:hasBogomolnyDecomposition a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:ScalarActionFunctional ;
    rdfs:range uih:BogomolnyDecomposition ;
    rdfs:comment "Bogomolny decomposition associated with a scalar action functional."@en
.

uih:hasBPSSolutionManifold a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:ScalarActionFunctional ;
    rdfs:range uih:BPSSolutionManifold ;
    rdfs:comment "BPS solution manifold associated with a scalar action."@en
.

uih:memberOfBPSSolutionManifold a owl:ObjectProperty ;
    rdfs:domain uih:FisherScalarHalo ;
    rdfs:range uih:BPSSolutionManifold ;
    rdfs:comment "Halo that lies on a BPS solution manifold for a given baryonic load."@en
.

uih:hasBPSSaturationParameter a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:GalaxyDiscSystem ;
    rdfs:range uih:BPSSaturationParameter ;
    rdfs:comment "BPS saturation parameter associated with a galaxy disc system."@en
.

uih:hasUnderlyingFisherOperator a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:DiscFisherGeometry ;
    rdfs:range uih:FisherOperator ;
    rdfs:comment "Fisher operator underlying a disc Fisher geometry."@en
.

uih:underliesDiscGeometry a owl:ObjectProperty ;
    rdfs:domain uih:FisherOperator ;
    rdfs:range uih:DiscFisherGeometry ;
    rdfs:comment "Disc Fisher geometry underlain by a given Fisher operator."@en
.

uih:hasFisherTemperature a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:GalaxyDiscSystem ;
    rdfs:range uih:FisherTemperature ;
    rdfs:comment "Fisher temperature or inverse temperature parameter controlling halo phase structure for a galaxy disc system."@en
.

uih:hasFisherSusceptibility a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:GalaxyDiscSystem ;
    rdfs:range uih:FisherSusceptibility ;
    rdfs:comment "Fisher susceptibility or heat capacity-like response parameter C for a galaxy disc system."@en
.

uih:hasFisherSpectrometer a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:GalaxyDiscSystem ;
    rdfs:range uih:FisherGalaxySpectrometer ;
    rdfs:comment "Fisher spectrometer constructed from the second variation of the scalar free energy for a galaxy."@en
.

#################################################################
# RG properties
#################################################################

uih:hasSlowBlock a owl:ObjectProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:SlowBlock ;
    rdfs:comment "Slow block associated with a UIH generator."@en
.

uih:hasFisherGap a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:SlowBlock ;
    rdfs:range uih:FisherGap ;
    rdfs:comment "Fisher gap associated with a slow block."@en
.

uih:hasHypocoerciveRate a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:SlowBlock ;
    rdfs:range uih:HypocoerciveRate ;
    rdfs:comment "Hypocoercive decay rate associated with a slow block."@en
.

uih:hasHypocoerciveIndex a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:SlowBlock ;
    rdfs:range uih:HypocoerciveIndex ;
    rdfs:comment "Hypocoercive index r associated with a slow block."@en
.

uih:hasRGMap a owl:ObjectProperty ;
    rdfs:domain uih:UIHGenerator ;
    rdfs:range uih:RGMap ;
    rdfs:comment "RG map associated with a UIH generator."@en
.

uih:actsOnSlowBlock a owl:ObjectProperty ;
    rdfs:domain uih:RGMap ;
    rdfs:range uih:SlowBlock ;
    rdfs:comment "Slow block a renormalisation map acts on."@en
.

uih:hasRGLevel a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:SlowBlock ;
    rdfs:range uih:RGLevel ;
    rdfs:comment "RG level label associated with a slow block."@en
.

uih:nextLevel a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:RGLevel ;
    rdfs:range uih:RGLevel ;
    rdfs:comment "Immediate next RG level in a discrete RG hierarchy."@en
.

uih:hasRGFlow a owl:ObjectProperty ;
    rdfs:range uih:RGFlow ;
    rdfs:comment "RG flow associated with a generator or slow block."@en
.

uih:hasInitialBlock a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:RGFlow ;
    rdfs:range uih:SlowBlock ;
    rdfs:comment "Initial slow block of an RG flow."@en
.

uih:hasFinalBlock a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:RGFlow ;
    rdfs:range uih:SlowBlock ;
    rdfs:comment "Final slow block considered in an RG flow."@en
.

uih:realisedByBlocks a owl:ObjectProperty ;
    rdfs:domain uih:RGFlow ;
    rdfs:range uih:SlowBlock ;
    rdfs:comment "Slow blocks that participate in an RG flow."@en
.

uih:hasUIHFingerprint a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:SlowBlock ;
    rdfs:range uih:UIHFingerprint ;
    rdfs:comment "UIH fingerprint associated with a slow block."@en
.

uih:fingerprintHasFisherGap a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHFingerprint ;
    rdfs:range uih:FisherGap ;
    rdfs:comment "Fisher gap component of a UIH fingerprint."@en
.

uih:fingerprintHasHypocoerciveIndex a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:UIHFingerprint ;
    rdfs:range uih:HypocoerciveIndex ;
    rdfs:comment "Hypocoercive index component of a UIH fingerprint."@en
.

uih:fingerprintHasCurvatureScale a owl:ObjectProperty ;
    rdfs:domain uih:UIHFingerprint ;
    rdfs:range uih:ScalarQuantity ;
    rdfs:comment "Curvature or Fisher scale component of a UIH fingerprint."@en
.

uih:belongsToUniversalityClass a owl:ObjectProperty ;
    rdfs:domain uih:SlowBlock ;
    rdfs:range uih:UIHUniversalityClass ;
    rdfs:comment "Universality class a slow block belongs to."@en
.

uih:characterisedByFingerprint a owl:ObjectProperty ;
    rdfs:domain uih:UIHUniversalityClass ;
    rdfs:range uih:UIHFingerprint ;
    rdfs:comment "Canonical fingerprint that characterises a universality class."@en
.

uih:flowsToAttractorClass a owl:ObjectProperty ;
    rdfs:domain uih:RGFlow ;
    rdfs:range uih:UIHAttractorClass ;
    rdfs:comment "Attractor class approached by an RG flow."@en
.

uih:underliesSlowBlock a owl:ObjectProperty ;
    rdfs:domain uih:FisherOperator ;
    rdfs:range uih:SlowBlock ;
    rdfs:comment "Slow block whose symmetric part is given by this Fisher operator."@en
.

uih:hasHypocoerciveCFunction a owl:ObjectProperty , owl:FunctionalProperty ;
    rdfs:domain uih:RGFlow ;
    rdfs:range uih:HypocoerciveCFunction ;
    rdfs:comment "Hypocoercive C function associated with an RG flow."@en
.

#################################################################
# Profile / function properties
#################################################################

uih:hasRadialProfile a owl:ObjectProperty ;
    rdfs:domain uih:ScalarFisherSector ;
    rdfs:range uih:RadialProfile ;
    rdfs:comment "Radial profile associated with a scalar sector or disc Fisher geometry."@en
.

uih:hasScaleProfile a owl:ObjectProperty ;
    rdfs:domain uih:RGFlow ;
    rdfs:range uih:RGScaleProfile ;
    rdfs:comment "Scale profile associated with an RG flow, such as r(level)."@en
.

#################################################################
# Meta level properties (papers, code, datasets, diagnostics)
#################################################################

uih:hasCorePaper a owl:ObjectProperty ;
    rdfs:domain uih:ResearchProgramme ;
    rdfs:range uih:Paper ;
    rdfs:comment "Core paper belonging to the UIH research programme."@en
.

uih:hasCoreConcept a owl:ObjectProperty ;
    rdfs:domain uih:ResearchProgramme ;
    rdfs:range uih:UIHConcept ;
    rdfs:comment "Core concept belonging to the UIH research programme."@en
.

uih:introducesConcept a owl:ObjectProperty ;
    rdfs:domain uih:Paper ;
    rdfs:range uih:UIHConcept ;
    rdfs:comment "Concept first introduced by a paper."@en
.

uih:extendsConcept a owl:ObjectProperty ;
    rdfs:domain uih:Paper ;
    rdfs:range uih:UIHConcept ;
    rdfs:comment "Concept extended or generalised by a paper."@en
.

uih:testsConcept a owl:ObjectProperty ;
    rdfs:domain uih:Paper ;
    rdfs:range uih:UIHConcept ;
    rdfs:comment "Concept tested numerically or experimentally in a paper."@en
.

uih:hasCodeArchive a owl:ObjectProperty ;
    rdfs:domain uih:Paper ;
    rdfs:range uih:CodeArchive ;
    rdfs:comment "Code archive associated with a paper."@en
.

uih:isCodeArchiveFor a owl:ObjectProperty ;
    rdfs:domain uih:CodeArchive ;
    rdfs:range uih:Paper ;
    rdfs:comment "Paper served by a code archive."@en
.

uih:containsScript a owl:ObjectProperty ;
    rdfs:domain uih:CodeArchive ;
    rdfs:range uih:CodeArchiveScript ;
    rdfs:comment "Script contained in a code archive."@en
.

uih:implementsConcept a owl:ObjectProperty ;
    rdfs:domain uih:CodeArchiveScript ;
    rdfs:range uih:UIHConcept ;
    rdfs:comment "Concept implemented or numerically realised by a code archive script."@en
.

uih:implementsDiagnostic a owl:ObjectProperty ;
    rdfs:domain uih:CodeArchiveScript ;
    rdfs:range uih:Diagnostic ;
    rdfs:comment "Diagnostic implemented by a code archive script."@en
.

uih:usesDataset a owl:ObjectProperty ;
    rdfs:domain uih:Experiment ;
    rdfs:range uih:Dataset ;
    rdfs:comment "Dataset used by an experiment."@en
.

uih:realisesDiagnostic a owl:ObjectProperty ;
    rdfs:domain uih:Experiment ;
    rdfs:range uih:Diagnostic ;
    rdfs:comment "Diagnostic realised in an experiment."@en
.

uih:estimatesConcept a owl:ObjectProperty ;
    rdfs:domain uih:Experiment ;
    rdfs:range uih:UIHConcept ;
    rdfs:comment "Concept estimated or measured in an experiment."@en
.

uih:diagnosesConcept a owl:ObjectProperty ;
    rdfs:domain uih:Diagnostic ;
    rdfs:range uih:UIHConcept ;
    rdfs:comment "Concept diagnosed by a diagnostic."@en
.

uih:aboutConcept a owl:ObjectProperty ;
    rdfs:domain uih:UIHTheorem ;
    rdfs:range uih:UIHConcept ;
    rdfs:comment "Concept or concepts a theorem is about."@en
.

uih:assumesAxiom a owl:ObjectProperty ;
    rdfs:domain uih:UIHTheorem ;
    rdfs:range uih:UIHAxiom ;
    rdfs:comment "Axioms assumed by a theorem."@en
.

uih:provedIn a owl:ObjectProperty ;
    rdfs:domain uih:UIHTheorem ;
    rdfs:range uih:Paper ;
    rdfs:comment "Paper in which a theorem is proved."@en
.

uih:usesDiagnostic a owl:ObjectProperty ;
    rdfs:domain uih:UIHTheorem ;
    rdfs:range uih:Diagnostic ;
    rdfs:comment "Diagnostic used in the operational content of a theorem, if any."@en
.

#################################################################
# Classes: core, sectors, geometry seed
#################################################################

### Core and high level

uih:UIHEntity a owl:Class ;
    rdfs:comment "Root class for all entities in the UIH ontology."@en
.

uih:UIHConcept a owl:Class ;
    rdfs:subClassOf uih:UIHEntity ;
    rdfs:comment "Abstract mathematical or physical concept in the UIH programme."@en
.

uih:UIHArtefact a owl:Class ;
    rdfs:subClassOf uih:UIHEntity ;
    rdfs:comment "Concrete artefact such as a paper, code archive, dataset, or experiment."@en
.

uih:UIHSector a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Sector label for grouping UIH concepts, such as geometry, operator, scalar gravity, RG, or experiments."@en
.

uih:ResearchProgramme a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Research programme entity, such as Universal Information Hydrodynamics."@en
.

uih:UIHStateSpace a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "State space on which UIH generators act."@en
.

uih:DensityPhaseStateSpace a owl:Class ;
    rdfs:subClassOf uih:UIHStateSpace ;
    rdfs:comment "State space of density phase pairs (rho, S) in the Madelung picture."@en
.

uih:UIHState a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Individual state in a UIH state space."@en
.

uih:DensityPhaseState a owl:Class ;
    rdfs:subClassOf uih:UIHState ;
    rdfs:comment "Density phase state (rho, S) in a density phase state space."@en
.

uih:UIHGenerator a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:label "UIH generator"@en ;
    skos:altLabel "Dunkley-Fisher operator"@en ;
    rdfs:comment "Real generator K acting on a UIH state space, split as K = G + J."@en ;
    owl:sameAs wd:Q136988110 ;
    uih:hasWikidataItem "Q136988110"
.

uih:FisherOperator a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Symmetric Fisher operator G generating gradient flow in a Fisher metric."@en
.

uih:SkewOperator a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Skew operator J generating reversible flow in a UIH system."@en
.

uih:UIHFlow a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Flow of states generated by a UIH generator K."@en
.

uih:FisherInformationMetric a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Fisher information metric induced by G on a state or density space."@en
.

uih:FreeEnergyFunctional a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Free energy functional whose gradient flow in the Fisher metric is generated by G."@en
.

uih:UniversalKFlow a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Abstract universal K flow from which reversible, metriplectic, operator and scalar gravity projections are derived."@en
.

uih:MadelungKFlow a owl:Class ;
    rdfs:subClassOf uih:UniversalKFlow ;
    rdfs:comment "Reversible Madelung K flow on (rho, S) under Dubrovin Novikov axioms."@en
.

uih:MetriplecticKFlow a owl:Class ;
    rdfs:subClassOf uih:UniversalKFlow ;
    rdfs:comment "Metriplectic K flow including irreversible channel in the entropy geometry sector."@en
.

uih:DensitySectorKFlow a owl:Class ;
    rdfs:subClassOf uih:UniversalKFlow ;
    rdfs:comment "Density sector K flow realised as Markov, Fokker Planck or GKLS density dynamics."@en
.

uih:ScalarGravityKFlow a owl:Class ;
    rdfs:subClassOf uih:UniversalKFlow ;
    rdfs:comment "Scalar gravity K flow realising the Fisher halo sector."@en
.

uih:FisherCompatibleGenerator a owl:Class ;
    rdfs:subClassOf uih:UIHGenerator ;
    rdfs:comment "Generator whose symmetric part is a Fisher operator inducing a Fisher metric and driving gradient flow of a free energy."@en ;
    owl:equivalentClass [
        a owl:Class ;
        owl:intersectionOf (
            uih:UIHGenerator
            [ a owl:Restriction ;
              owl:onProperty uih:hasSymmetricPart ;
              owl:someValuesFrom uih:FisherOperator
            ]
            [ a owl:Restriction ;
              owl:onProperty uih:inducesFisherMetric ;
              owl:someValuesFrom uih:FisherInformationMetric
            ]
            [ a owl:Restriction ;
              owl:onProperty uih:drivesGradientFlowOf ;
              owl:someValuesFrom uih:FreeEnergyFunctional
            ]
        )
    ]
.

#################################################################
# Geometry sector classes: Fisher and Fisher-Kahler structures
#################################################################

uih:FisherStructure a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Neutral Fisher structure B on a UIH state space, defined by the pair (g, Omega) and acting as B = g^{-1} Omega on tangent vectors."@en
.

uih:FisherKahlerStructure a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Fisher-Kahler structure obtained by untwisting a neutral Fisher structure on the active modes to a Kahler triple (h, Omega, I)."@en
.

uih:InformationCurrent a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Information current associated with the unified generator K = G + J when viewed in the intrinsic Fisher-Kahler information geometry."@en
.

uih:FisherChannel a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Spectral information channel defined by the Fisher-Kahler structure and the decomposition of the unified generator K into eigenmodes."@en
.

uih:ExponentChannel a owl:Class ;
    rdfs:subClassOf uih:FisherChannel ;
    rdfs:comment "Distinguished Fisher channel whose hypocoercive scaling exponent takes the value identified in the two-channel RG construction."@en
.

#################################################################
# Metriplectic classes
#################################################################

uih:MetriplecticStructure a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Metriplectic structure (G, J, F) combining symmetric and skew channels for a UIH generator."@en
.

uih:WeightedHMinusOneGeometry a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Weighted H^{-1} geometry induced by G on densities in the entropy geometry sector."@en
.

uih:EntropyClock a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Entropy clock built from the Fisher gap, giving intrinsic relaxation time."@en
.

uih:EntropyProductionRate a owl:Class ;
    rdfs:subClassOf uih:ScalarQuantity ;
    rdfs:comment "Entropy production rate along a UIH flow."@en
.

uih:CostEntropyInequality a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Cost entropy inequality linking Fisher gradient cost to entropy decay."@en
.

uih:CurvatureCoercivityInequality a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Curvature coercivity inequality bounding decay in terms of curvature."@en
.

#################################################################
# Operator sector classes
#################################################################

uih:UIHSystem a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Abstract system with a state space and a UIH generator."@en
.

uih:MarkovSystem a owl:Class ;
    rdfs:subClassOf uih:UIHSystem ;
    rdfs:comment "Finite state Markov system in UIH form."@en
.

uih:FokkerPlanckSystem a owl:Class ;
    rdfs:subClassOf uih:UIHSystem ;
    rdfs:comment "System with Fokker Planck generator realised as a UIH generator on densities."@en
.

uih:GKLSSystem a owl:Class ;
    rdfs:subClassOf uih:UIHSystem ;
    rdfs:comment "Quantum system with GKLS generator whose real block is in UIH form."@en
.

uih:QuantumDevice a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Quantum hardware device, such as an IBM backend or other platform."@en
.

uih:MarkovStateSpace a owl:Class ;
    rdfs:subClassOf uih:UIHStateSpace ;
    rdfs:comment "Finite dimensional state space of probability vectors for a Markov system."@en
.

uih:FokkerPlanckStateSpace a owl:Class ;
    rdfs:subClassOf uih:UIHStateSpace ;
    rdfs:comment "State space of densities for a Fokker Planck system."@en
.

uih:GKLSStateSpace a owl:Class ;
    rdfs:subClassOf uih:UIHStateSpace ;
    rdfs:comment "State space of density matrices for a GKLS system."@en
.

uih:BKMMetric a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Bogoliubov Kubo Mori metric on the space of density matrices."@en
.

uih:ComplexStructure a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Complex structure operator on the active mode manifold."@en
.

uih:SymplecticForm a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Symplectic form on the active mode manifold."@en
.

uih:KahlerTriple a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Triple (g, Omega, I) giving a Kahler structure on the active modes."@en
.

uih:DensitySectorGenerator a owl:Class ;
    rdfs:subClassOf uih:UIHGenerator ;
    rdfs:comment "UIH generator restricted to the density sector of a GKLS system."@en
.

uih:UIHOperatorSpectrometer a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "UIH universality spectrometer implemented via cross coherence diagnostics."@en
.

uih:FisherJarzynskiRelation a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Information theoretic Jarzynski type relation linking Fisher free energy differences to non equilibrium work statistics in UIH flows."@en
.

uih:BKMSpeedLimit a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Quantum speed limit bound expressed in terms of the BKM metric along GKLS or UIH flows."@en
.

#################################################################
# Scalar gravity classes
#################################################################

uih:BaryonicSystem a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "System with baryonic matter, such as a galaxy."@en
.

uih:BaryonicDensityField a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Baryonic density field rho_b(x) for a system."@en
.

uih:GalaxyDiscSystem a owl:Class ;
    rdfs:subClassOf uih:BaryonicSystem ;
    rdfs:comment "Disc galaxy system with observed rotation curve and disc radius."@en
.

uih:PotentialField a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Newtonian potential field Phi(x) associated with a baryonic system."@en
.

uih:ScalarField a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Generic real scalar field sigma(x) used in the scalar Fisher sector."@en
.

uih:ScalarFisherSector a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Scalar Fisher sector built from the same Fisher operator and density, with a Fisher type action."@en
.

uih:FisherScalarHalo a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Halo profile sigma_halo(r) solving the Fisher scalar equation for given baryons."@en
.

uih:DiscFisherGeometry a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Disc Fisher field geometry with local precision operator and constant mode area law."@en
.

uih:RadialProfile a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Function of radial coordinate r, for example alpha(r) or halo density."@en
.

uih:RunningFisherCoupling a owl:Class ;
    rdfs:subClassOf uih:RadialProfile ;
    rdfs:comment "Running Fisher coupling profile alpha(r) controlling scalar sector strength."@en
.

uih:DiscAreaLaw a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Concept that constant mode Fisher information scales with disc area plus boundary corrections."@en
.

uih:ScalarActionFunctional a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Scalar action functional of sigma and its gradient in the Fisher scalar sector."@en
.

uih:BernoulliBoundedEntropyFunctional a owl:Class ;
    rdfs:subClassOf uih:ScalarActionFunctional ;
    rdfs:comment "Bernoulli bounded entropy functional for the scalar field sigma, whose cold limit reproduces the Fisher BPS action and yields a bounded entropy correction."@en
.

uih:BogomolnyDecomposition a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Bogomolny decomposition of the scalar action into squares plus a boundary term."@en
.

uih:BPSSolutionManifold a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Manifold of scalar field configurations that saturate the Bogomolny bound for fixed baryons."@en
.

uih:BPSSaturatedHalo a owl:Class ;
    rdfs:subClassOf uih:FisherScalarHalo ;
    rdfs:comment "Halo that exactly saturates the Bogomolny bound for given baryonic loading."@en ;
    owl:equivalentClass [
        a owl:Class ;
        owl:intersectionOf (
            uih:FisherScalarHalo
            [ a owl:Restriction ;
              owl:onProperty uih:memberOfBPSSolutionManifold ;
              owl:someValuesFrom uih:BPSSolutionManifold
            ]
        )
    ]
.

uih:NearlyBPSSaturatedGalaxy a owl:Class ;
    rdfs:subClassOf uih:GalaxyDiscSystem ;
    rdfs:comment "Galaxy disc system whose BPS saturation parameter lies close to one, classified by external scripts."@en
.

uih:FisherTemperature a owl:Class ;
    rdfs:subClassOf uih:ScalarQuantity ;
    rdfs:comment "Fisher temperature or inverse temperature parameter controlling halo phase structure and cusp core transitions."@en
.

uih:FisherSusceptibility a owl:Class ;
    rdfs:subClassOf uih:ScalarQuantity ;
    rdfs:comment "Fisher susceptibility C, with units of inverse velocity squared, encoding the response of the scalar sector to baryonic loading."@en
.

uih:BPSSaturationParameter a owl:Class ;
    rdfs:subClassOf uih:ScalarQuantity ;
    rdfs:comment "Dimensionless saturation parameter measuring proximity of a halo to the BPS bound."@en
.

uih:FisherGalaxySpectrometer a owl:Class ;
    rdfs:subClassOf uih:UIHOperatorSpectrometer ;
    rdfs:comment "Fisher spectrometer for galaxies, built from the second variation of the scalar free energy around a halo solution."@en
.

uih:FisherHaloPhaseDiagnostic a owl:Class ;
    rdfs:subClassOf uih:Diagnostic ;
    rdfs:comment "Diagnostic for identifying compressed and cored Fisher halo phases and their dependence on Fisher temperature and susceptibility."@en
.

uih:CompressedFisherHalo a owl:Class ;
    rdfs:subClassOf uih:FisherScalarHalo ;
    rdfs:comment "Fisher halo configuration on the compressed branch of the Fisher scalar phase diagram."@en
.

uih:CoredFisherHalo a owl:Class ;
    rdfs:subClassOf uih:FisherScalarHalo ;
    rdfs:comment "Fisher halo configuration on the cored branch of the Fisher scalar phase diagram."@en
.

#################################################################
# RG classes
#################################################################

uih:ScalarQuantity a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Scalar invariant quantity with a numeric value and units."@en
.

uih:FisherGap a owl:Class ;
    rdfs:subClassOf uih:ScalarQuantity ;
    rdfs:comment "Fisher spectral gap lambda_F of minus G on a slow block."@en
.

uih:HypocoerciveRate a owl:Class ;
    rdfs:subClassOf uih:ScalarQuantity ;
    rdfs:comment "Effective hypocoercive decay rate lambda_hyp on a slow block."@en
.

uih:HypocoerciveIndex a owl:Class ;
    rdfs:subClassOf uih:ScalarQuantity ;
    rdfs:label "Hypocoercive index"@en ;
    rdfs:comment "Dimensionless hypocoercive index r = lambda_hyp / lambda_F on a slow block."@en ;
    owl:sameAs wd:Q137123907 ;
    uih:hasWikidataItem "Q137123907"
.

uih:SlowBlock a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Slow block or coarse grained sector where gaps, rates and indices are defined."@en
.

uih:RGMap a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Fisher compatible renormalisation map acting on a generator or block."@en
.

uih:RGLevel a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Discrete RG scale level label."@en
.

uih:RGFlow a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Flow through RG levels under repeated RG maps."@en
.

uih:UIHFingerprint a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Compressed triple of invariants, such as (lambda_F, r, curvature scale), attached to a slow block."@en
.

uih:UIHUniversalityClass a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Universality class of UIH slow sectors."@en
.

uih:UIHAttractorClass a owl:Class ;
    rdfs:subClassOf uih:UIHUniversalityClass ;
    rdfs:comment "Universality class representing the Fisher single current attractor."@en
.

uih:PureFisherBlock a owl:Class ;
    rdfs:subClassOf uih:SlowBlock ;
    rdfs:comment "Slow block in the pure Fisher class, with hypocoercive index equal to one."@en
.

uih:RGScaleProfile a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Function of RG level or scale, such as r(level)."@en
.

uih:HypocoerciveCFunction a owl:Class ;
    rdfs:subClassOf uih:ScalarQuantity ;
    rdfs:comment "Hypocoercive C function along an RG flow, playing the role of a C function for Fisher compatible renormalisation."@en
.

#################################################################
# Meta level classes: artefacts, diagnostics, axioms, theorems
#################################################################

uih:Paper a owl:Class ;
    rdfs:subClassOf uih:UIHArtefact , bibo:Article ;
    rdfs:comment "Scholarly article in the UIH programme."@en
.

uih:CodeArchive a owl:Class ;
    rdfs:subClassOf uih:UIHArtefact ;
    rdfs:comment "Code archive collection associated with a UIH paper."@en
.

uih:CodeArchiveScript a owl:Class ;
    rdfs:subClassOf uih:UIHArtefact ;
    rdfs:comment "Individual script within a UIH code archive."@en
.

uih:Dataset a owl:Class ;
    rdfs:subClassOf uih:UIHArtefact , prov:Entity ;
    rdfs:comment "Dataset used in experiments, such as SPARC NPZ or IBM tomography data."@en
.

uih:Experiment a owl:Class ;
    rdfs:subClassOf uih:UIHArtefact , prov:Activity ;
    rdfs:comment "Experimental or numerical activity applying diagnostics to systems and datasets."@en
.

uih:Diagnostic a owl:Class ;
    rdfs:subClassOf uih:UIHConcept ;
    rdfs:comment "Diagnostic concept used to read or test a UIH structure."@en
.

uih:EqualityDialDiagnostic a owl:Class ;
    rdfs:subClassOf uih:Diagnostic ;
    rdfs:comment "Cost entropy equality dial diagnostic for Fisher gradient rays."@en
.

uih:CurvatureDiagnostic a owl:Class ;
    rdfs:subClassOf uih:Diagnostic ;
    rdfs:comment "Curvature coercivity diagnostic in the entropy geometry sector."@en
.

uih:KahlerDefectDiagnostic a owl:Class ;
    rdfs:subClassOf uih:Diagnostic ;
    rdfs:comment "Diagnostic for deviations from exact Kahler structure in the operator sector."@en
.

uih:SpectrometerDiagnostic a owl:Class ;
    rdfs:subClassOf uih:Diagnostic ;
    rdfs:comment "Universality spectrometer diagnostic based on cross coherence."@en
.

uih:BPSSaturationDiagnostic a owl:Class ;
    rdfs:subClassOf uih:Diagnostic ;
    rdfs:comment "Diagnostic measuring BPS saturation distribution across SPARC galaxies."@en
.

uih:HypocoerciveDiagnostic a owl:Class ;
    rdfs:subClassOf uih:Diagnostic ;
    rdfs:comment "Diagnostic for hypocoercive index and RG C function."@en
.

uih:UIHAxiomOrTheorem a owl:Class ;
    rdfs:subClassOf uih:UIHEntity ;
    rdfs:comment "Root class for named axioms and theorems in the UIH programme."@en
.

uih:UIHAxiom a owl:Class ;
    rdfs:subClassOf uih:UIHAxiomOrTheorem ;
    rdfs:comment "Named axiom in the UIH framework."@en
.

uih:UIHTheorem a owl:Class ;
    rdfs:subClassOf uih:UIHAxiomOrTheorem ;
    rdfs:comment "Named theorem in the UIH framework."@en
.

#################################################################
# Sector individuals
#################################################################

uih:Sector_Geometry a uih:UIHSector ;
    rdfs:label "Geometry sector"@en ;
    rdfs:comment "Intrinsic Fisher-Kahler information geometry sector of UIH, built from Fisher structures, Kähler triples and information currents."@en
.

uih:Sector_Operator a uih:UIHSector ;
    rdfs:label "Operator sector"@en ;
    rdfs:comment "Operator and density sector of UIH, including Markov, Fokker-Planck and GKLS systems, BKM geometry and universality spectrometers."@en
.

uih:Sector_Gravity a uih:UIHSector ;
    rdfs:label "Scalar gravity sector"@en ;
    rdfs:comment "Scalar Fisher halo gravity sector, where a Fisher scalar field couples to baryons and reproduces galaxy rotation curves."@en
.

uih:Sector_RG a uih:UIHSector ;
    rdfs:label "RG sector"@en ;
    rdfs:comment "Hypocoercive renormalisation sector tracking slow blocks, Fisher gaps, hypocoercive indices and C functions."@en
.

uih:Sector_Experiments a uih:UIHSector ;
    rdfs:label "Experiments and diagnostics sector"@en ;
    rdfs:comment "Experimental, numerical and diagnostic layer, including datasets, experiments and spectrometer diagnostics."@en
.

#################################################################
# Project and author
#################################################################

uih:UIH_Programme a uih:ResearchProgramme , schema:CreativeWork ;
    rdfs:label "Universal Information Hydrodynamics"@en ;
    dct:title "Universal Information Hydrodynamics"@en ;
    owl:sameAs wd:Q136913087 ;
    uih:hasWikidataItem "Q136913087" ;
    rdfs:comment "Research programme for Universal Information Hydrodynamics, unifying K = G + J flows across intrinsic Fisher-Kahler geometry, operator dynamics, scalar Fisher halos and hypocoercive renormalisation."@en
.

uih:JRDunkley a foaf:Person , schema:Person ;
    foaf:name "J. R. Dunkley" ;
    owl:sameAs wd:Q136892720 ;
    uih:hasWikidataItem "Q136892720"
.

#################################################################
# Paper individuals
#################################################################

uih:Paper_ConverseMadelungQuestion a uih:Paper ;
    dct:title "The Converse Madelung Question"@en ;
    bibo:doi "arXiv:2511.03552" ;
    schema:url "https://arxiv.org/abs/2511.03552"^^xsd:anyURI ;
    schema:url "https://nomogenetics.com/papers/2511.03552v2.pdf"^^xsd:anyURI ;
    dct:creator uih:JRDunkley ;
    owl:sameAs wd:Q136955981 ;
    uih:hasWikidataItem "Q136955981"
.

uih:Paper_ConverseMadelungAnswer a uih:Paper ;
    dct:title "The Converse Madelung Answer"@en ;
    bibo:doi "10.5281/zenodo.17643885" ;
    schema:url "https://nomogenetics.com/papers/Madelung_Answer_rev1.pdf"^^xsd:anyURI ;
    dct:creator uih:JRDunkley ;
    owl:sameAs wd:Q136956351 ;
    uih:hasWikidataItem "Q136956351"
.

uih:Paper_UniversalInformationHydrodynamics a uih:Paper ;
    dct:title "Universal Information Hydrodynamics"@en ;
    bibo:doi "10.5281/zenodo.17651781" ;
    schema:url "https://nomogenetics.com/papers/Universal_Information_Hydrodynamics-Nov'25.pdf"^^xsd:anyURI ;
    dct:creator uih:JRDunkley ;
    owl:sameAs wd:Q136956367 ;
    uih:hasWikidataItem "Q136956367"
.

uih:Paper_FisherKahlerGeometry a uih:Paper ;
    dct:title "Intrinsic Fisher-Kähler Information Geometry"@en ;
    bibo:doi "10.5281/zenodo.17779841" ;
    schema:url "https://nomogenetics.com/papers/geometry-v1.pdf"^^xsd:anyURI ;
    dct:creator uih:JRDunkley ;
    owl:sameAs wd:Q137215007 ;
    uih:hasWikidataItem "Q137215007"
.

uih:Paper_HypocoerciveRenormalisation a uih:Paper ;
    dct:title "Hypocoercive Renormalisation"@en ;
    bibo:doi "10.5281/zenodo.17751078" ;
    schema:url "https://nomogenetics.com/papers/Hypocoercive_Renormalisation_rev-1.pdf"^^xsd:anyURI ;
    dct:creator uih:JRDunkley ;
    owl:sameAs wd:Q137117576 ;
    uih:hasWikidataItem "Q137117576"
.

uih:Paper_EmergentFisherHalos a uih:Paper ;
    dct:title "Emergent Fisher Halos from Information Geometry"@en ;
    bibo:doi "10.5281/zenodo.17701223" ;
    schema:url "https://nomogenetics.com/papers/Emergent_Fisher_Halos_from_Information_Geometry_rev-1.pdf"^^xsd:anyURI ;
    dct:creator uih:JRDunkley ;
    owl:sameAs wd:Q136956377 ;
    uih:hasWikidataItem "Q136956377"
.

# Connect programme to core papers

uih:UIH_Programme
    uih:hasCorePaper uih:Paper_ConverseMadelungQuestion ,
                     uih:Paper_ConverseMadelungAnswer ,
                     uih:Paper_UniversalInformationHydrodynamics ,
                     uih:Paper_FisherKahlerGeometry ,
                     uih:Paper_EmergentFisherHalos ,
                     uih:Paper_HypocoerciveRenormalisation
.

#################################################################
# Code archive individuals
#################################################################

uih:CodeArchive_MadelungQuestion a uih:CodeArchive ;
    dct:title "Madelung Question Code Archive"@en ;
    schema:url "https://github.com/feuras/Madelung-Question-Code-Archive"^^xsd:anyURI ;
    bibo:doi "10.5281/zenodo.17507179" ;
    owl:sameAs wd:Q136892855 ;
    uih:hasWikidataItem "Q136892855" ;
    uih:hasZenodoRecord "10.5281/zenodo.17507179" ;
    uih:isCodeArchiveFor uih:Paper_ConverseMadelungQuestion
.

uih:CodeArchive_MadelungAnswer a uih:CodeArchive ;
    dct:title "Madelung Answer Code Archive"@en ;
    schema:url "https://github.com/feuras/metriplectic"^^xsd:anyURI ;
    bibo:doi "10.5281/zenodo.17581557" ;
    owl:sameAs wd:Q136892890 ;
    uih:hasWikidataItem "Q136892890" ;
    uih:hasZenodoRecord "10.5281/zenodo.17581557" ;
    uih:isCodeArchiveFor uih:Paper_ConverseMadelungAnswer
.

uih:CodeArchive_UIHOperator a uih:CodeArchive ;
    dct:title "Universal Information Hydrodynamics Code Archive"@en ;
    schema:url "https://github.com/feuras/uhi_archive"^^xsd:anyURI ;
    bibo:doi "10.5281/zenodo.17651171" ;
    owl:sameAs wd:Q136892877 ;
    uih:hasWikidataItem "Q136892877" ;
    uih:hasZenodoRecord "10.5281/zenodo.17651171" ;
    uih:isCodeArchiveFor uih:Paper_UniversalInformationHydrodynamics
.

uih:CodeArchive_FisherHalos a uih:CodeArchive ;
    dct:title "Emergent Fisher Halos from Information Geometry Code Archive"@en ;
    schema:url "https://github.com/feuras/uih_grav"^^xsd:anyURI ;
    bibo:doi "10.5281/zenodo.17701223" ;
    owl:sameAs wd:Q137111835 ;
    uih:hasWikidataItem "Q137111835" ;
    uih:hasZenodoRecord "10.5281/zenodo.17701223" ;
    uih:isCodeArchiveFor uih:Paper_EmergentFisherHalos
.

uih:CodeArchive_HypocoerciveRG a uih:CodeArchive ;
    dct:title "Hypocoercive Renormalisation Code Archive"@en ;
    schema:url "https://github.com/feuras/Hypocoercive-Renormalisation-Code-Archive"^^xsd:anyURI ;
    bibo:doi "10.5281/zenodo.17752088" ;
    owl:sameAs wd:Q137117766 ;
    uih:hasWikidataItem "Q137117766" ;
    uih:hasZenodoRecord "10.5281/zenodo.17752088" ;
    uih:isCodeArchiveFor uih:Paper_HypocoerciveRenormalisation
.

# Link papers back to archives

uih:Paper_ConverseMadelungQuestion uih:hasCodeArchive uih:CodeArchive_MadelungQuestion .
uih:Paper_ConverseMadelungAnswer uih:hasCodeArchive uih:CodeArchive_MadelungAnswer .
uih:Paper_UniversalInformationHydrodynamics uih:hasCodeArchive uih:CodeArchive_UIHOperator .
uih:Paper_EmergentFisherHalos uih:hasCodeArchive uih:CodeArchive_FisherHalos .
uih:Paper_HypocoerciveRenormalisation uih:hasCodeArchive uih:CodeArchive_HypocoerciveRG .

#################################################################
# Topic individuals
#################################################################

uih:DunkleyFisherGravityTopic a uih:UIHConcept , skos:Concept ;
    skos:prefLabel "Dunkley-Fisher gravity"@en ;
    skos:altLabel "Fisher halo gravity"@en ,
                  "Fisher-halo gravity"@en ;
    owl:sameAs wd:Q137122761 ;
    uih:hasWikidataItem "Q137122761" ;
    rdfs:comment "Weak-field gravitational theory in which a scalar Fisher halo field, built from information geometry, couples to baryonic discs and reproduces galaxy rotation curves via a disc area law and near-BPS saturation."@en
.

uih:HypocoerciveRenormalisationTopic a uih:UIHConcept , skos:Concept ;
    skos:prefLabel "Hypocoercive renormalisation"@en ;
    skos:altLabel "Hypocoercive renormalization"@en ,
                  "Hypocoercive RG"@en ;
    owl:sameAs wd:Q137123639 ;
    uih:hasWikidataItem "Q137123639" ;
    rdfs:comment "Fisher-compatible renormalisation group framework that tracks hypocoercive mixing of symmetric and skew channels in a UIH generator using Fisher gaps and hypocoercive indices across slow blocks."@en
.

uih:FisherHaloTopic a skos:Concept ;
    skos:prefLabel "Fisher halo"@en ;
    owl:sameAs wd:Q137045787 ;
    uih:hasWikidataItem "Q137045787"
.

uih:FisherKahlerGeometryTopic a uih:UIHConcept , skos:Concept ;
    skos:prefLabel "Intrinsic Fisher-Kähler information geometry"@en ;
    skos:altLabel "Fisher-Kähler geometry"@en ;
    owl:sameAs wd:Q137215007 ;
    uih:hasWikidataItem "Q137215007" ;
    rdfs:comment "Topic covering the intrinsic Fisher-Kähler information geometry that underlies the UIH programme, built from Fisher structures, neutral metrics and Kähler triples."@en
.

# Connect FisherScalarHalo class symbolically to the topic

uih:FisherScalarHalo
    uih:symbol "sigma_halo" ;
    uih:latexSymbol "\\sigma_{\\mathrm{halo}}"
.

#################################################################
# Theorem individuals (high level)
#################################################################

uih:UIHTheorem_ConverseMadelungAnswer a uih:UIHTheorem ;
    rdfs:label "Converse Madelung answer theorem"@en ;
    rdfs:comment "Theorem asserting that every conservative Madelung flow arises from a complex wavefunction, characterising the reversible K flow on density-phase space."@en ;
    uih:aboutConcept uih:UIHGenerator , uih:MadelungKFlow ;
    uih:provedIn uih:Paper_ConverseMadelungAnswer
.

uih:UIHTheorem_FreemanLawFromFisherHalos a uih:UIHTheorem ;
    rdfs:label "Freeman law from Fisher halos"@en ;
    rdfs:comment "Theorem showing that the Fisher scalar halo sector reproduces Freeman's central surface brightness law via the disc Fisher area law and near-BPS saturation for exponential discs."@en ;
    uih:aboutConcept uih:DiscAreaLaw , uih:ScalarFisherSector , uih:FisherScalarHalo ;
    uih:provedIn uih:Paper_EmergentFisherHalos
.

uih:UIHTheorem_SingleCurrentAttractor a uih:UIHTheorem ;
    rdfs:label "Single current attractor theorem"@en ;
    rdfs:comment "Theorem describing the Fisher single current attractor class for hypocoercive renormalisation flows, governed by the UIH fingerprint invariants."@en ;
    uih:aboutConcept uih:UIHAttractorClass , uih:UIHFingerprint , uih:HypocoerciveIndex ;
    uih:provedIn uih:Paper_HypocoerciveRenormalisation
.

uih:UIHTheorem_HypocoerciveUniversality a uih:UIHTheorem ;
    rdfs:label "Hypocoercive universality classification"@en ;
    rdfs:comment "Theorem classifying slow blocks into hypocoercive universality classes labelled by Fisher gaps, hypocoercive indices and curvature scales, providing a UIH fingerprint for RG flows."@en ;
    uih:aboutConcept uih:UIHUniversalityClass , uih:UIHFingerprint , uih:SlowBlock ;
    uih:provedIn uih:Paper_HypocoerciveRenormalisation
.

uih:UIHTheorem_FisherJarzynski a uih:UIHTheorem ;
    rdfs:label "Fisher-Jarzynski relation"@en ;
    rdfs:comment "Theorem expressing a Jarzynski-type equality in the UIH framework, linking Fisher free energy differences to non-equilibrium work statistics along K flows."@en ;
    uih:aboutConcept uih:FisherJarzynskiRelation , uih:FreeEnergyFunctional , uih:UIHFlow ;
    uih:provedIn uih:Paper_UniversalInformationHydrodynamics
.

#################################################################
# Sector membership for key concepts
#################################################################

uih:FisherStructure uih:belongsToSector uih:Sector_Geometry .
uih:FisherKahlerStructure uih:belongsToSector uih:Sector_Geometry .
uih:InformationCurrent uih:belongsToSector uih:Sector_Geometry .
uih:FisherChannel uih:belongsToSector uih:Sector_Geometry .
uih:ExponentChannel uih:belongsToSector uih:Sector_Geometry .
uih:FisherInformationMetric uih:belongsToSector uih:Sector_Geometry .
uih:UIHStateSpace uih:belongsToSector uih:Sector_Geometry .

uih:UIHSystem uih:belongsToSector uih:Sector_Operator .
uih:MarkovSystem uih:belongsToSector uih:Sector_Operator .
uih:FokkerPlanckSystem uih:belongsToSector uih:Sector_Operator .
uih:GKLSSystem uih:belongsToSector uih:Sector_Operator .
uih:BKMMetric uih:belongsToSector uih:Sector_Operator .
uih:UIHOperatorSpectrometer uih:belongsToSector uih:Sector_Operator .
uih:FisherJarzynskiRelation uih:belongsToSector uih:Sector_Operator .
uih:BKMSpeedLimit uih:belongsToSector uih:Sector_Operator .

uih:ScalarFisherSector uih:belongsToSector uih:Sector_Gravity .
uih:FisherScalarHalo uih:belongsToSector uih:Sector_Gravity .
uih:DiscFisherGeometry uih:belongsToSector uih:Sector_Gravity .
uih:RunningFisherCoupling uih:belongsToSector uih:Sector_Gravity .
uih:DiscAreaLaw uih:belongsToSector uih:Sector_Gravity .
uih:BernoulliBoundedEntropyFunctional uih:belongsToSector uih:Sector_Gravity .
uih:FisherTemperature uih:belongsToSector uih:Sector_Gravity .
uih:FisherSusceptibility uih:belongsToSector uih:Sector_Gravity .
uih:FisherGalaxySpectrometer uih:belongsToSector uih:Sector_Gravity .
uih:FisherHaloPhaseDiagnostic uih:belongsToSector uih:Sector_Gravity .

uih:SlowBlock uih:belongsToSector uih:Sector_RG .
uih:UIHFingerprint uih:belongsToSector uih:Sector_RG .
uih:UIHUniversalityClass uih:belongsToSector uih:Sector_RG .
uih:UIHAttractorClass uih:belongsToSector uih:Sector_RG .
uih:HypocoerciveCFunction uih:belongsToSector uih:Sector_RG .
uih:RGFlow uih:belongsToSector uih:Sector_RG .
uih:RGMap uih:belongsToSector uih:Sector_RG .

uih:Dataset uih:belongsToSector uih:Sector_Experiments .
uih:Experiment uih:belongsToSector uih:Sector_Experiments .
uih:Diagnostic uih:belongsToSector uih:Sector_Experiments .
uih:SpectrometerDiagnostic uih:belongsToSector uih:Sector_Experiments .
uih:BPSSaturationDiagnostic uih:belongsToSector uih:Sector_Experiments .
uih:HypocoerciveDiagnostic uih:belongsToSector uih:Sector_Experiments .

#################################################################
# Importance levels and core concept registration
#################################################################

uih:UIHGenerator uih:importanceLevel "core" .
uih:FisherOperator uih:importanceLevel "core" .
uih:FisherInformationMetric uih:importanceLevel "core" .
uih:FisherStructure uih:importanceLevel "core" .
uih:FisherKahlerStructure uih:importanceLevel "core" .
uih:InformationCurrent uih:importanceLevel "core" .
uih:ScalarFisherSector uih:importanceLevel "core" .
uih:FisherScalarHalo uih:importanceLevel "core" .
uih:FisherGap uih:importanceLevel "core" .
uih:HypocoerciveIndex uih:importanceLevel "core" .
uih:UIHFingerprint uih:importanceLevel "major" .
uih:UIHUniversalityClass uih:importanceLevel "major" .
uih:DiscAreaLaw uih:importanceLevel "major" .
uih:FisherTemperature uih:importanceLevel "major" .

uih:UIH_Programme
    uih:hasCoreConcept uih:UIHGenerator ,
                       uih:FisherOperator ,
                       uih:FisherInformationMetric ,
                       uih:FisherStructure ,
                       uih:FisherKahlerStructure ,
                       uih:InformationCurrent ,
                       uih:ScalarFisherSector ,
                       uih:FisherScalarHalo ,
                       uih:FisherGap ,
                       uih:HypocoerciveIndex ,
                       uih:UIHFingerprint ,
                       uih:UIHUniversalityClass ,
                       uih:DunkleyFisherGravityTopic ,
                       uih:HypocoerciveRenormalisationTopic ,
                       uih:FisherKahlerGeometryTopic
.