Applications

UCF/GUTT™ is a formally verified relational ontology with active commercial and research programs. This page presents two kinds of evidence: independent third-party work demonstrating that relational ontology is productive in real-world systems, and selected outcomes from UCF/GUTT™'s own flagship chemistry program. All technical material — formal definitions, theorem statements, proof files, derivations, and methodological detail — is locked. Substantive engagement is available only under written license.

The following are third-party computational frameworks, developed without reference to UCF/GUTT™, that nonetheless converge on the same foundational principle: relations as primary, entities as derivative. They are presented here because they validate the philosophical position underlying UCF/GUTT™, not because they implement or depend on UCF/GUTT™ itself.

The paper Functional Collection Programming with Semi-Ring Dictionaries introduces a unified abstraction in which relations, multisets, and tensors are treated as instances of the same algebraic structure, enabling cross-domain optimization across relational algebra and linear algebra. The authors report 2× speedups over SciPy in sparse linear algebra workloads. The work demonstrates that treating tensors and relations as a single domain rather than separate ones produces measurable computational advantage — a result that supports the broader relational program without validating any particular formalization.

The paper Modeling Nested Relational Structures for Knowledge Graph Reasoning extends knowledge graph embeddings to handle nested facts — relations between relations — using hypercomplex matrices, achieving 14–17% mean reciprocal rank improvement over baseline methods. The work demonstrates that first-order logic is empirically insufficient and that hierarchical relational structure carries predictive information that flat models miss.

These papers strongly support the position that relational ontology is productive across domains and that nested, hierarchical relational structure captures something real about computational systems. They do not validate UCF/GUTT™'s specific formalism, nor do they prove UCF/GUTT™ is necessary or optimal. They establish that the foundational intuition is correct. The burden of demonstrating UCF/GUTT™'s particular contribution — formal verification, cross-domain unification, foundational clarity — rests on its own deliverables.

UCF/GUTT™'s chemistry program demonstrates that thermodynamic properties of molecules are inherent in their relational geometry — derivable from structure alone, without empirical fitting or calibration to experimental databases.

For an arbitrary molecule specified by its geometry, the program produces standard molar entropy S°(T) at specified temperature; heat capacity Cp°(T) curves where applicable; standard enthalpy ΔH°(T) where applicable; equilibrium constants K(T) for reactions whose reactants and products can be specified; temperature-sensitivity profiles for equilibrium composition under varying conditions; and thermodynamic tables in formats suitable for downstream simulation tools. The single input is molecular geometry — atomic positions. The only constants used are universal physical constants. No fitting, no calibration, no reference to experimental databases.

The program has been tested on approximately 450 compounds spanning the major branches of chemistry: simple inorganics, ionic compounds, metal and inorganic oxides, alkanes, cycloalkanes, alkenes, alkynes, allenes and cumulenes, aromatic and heterocyclic compounds, alcohols, ethers, aldehydes, ketones, carboxylic acids, esters, amines, amides, nitriles, nitro compounds, sulfur and phosphorus compounds, silicon and halogenated compounds, peroxides, organometallics, coordination complexes, strained ring systems, terpenes and natural products, carbohydrates, amino acids, nucleobases and nucleosides, lipids and fatty acids, vitamins and cofactors, pharmaceuticals, dyes and pigments, surfactants, ionic liquids, energetic materials, polymers and monomers, radicals and reactive species, and additional industrial-relevant compounds including refrigerants, plasticizers, flame retardants, and agricultural chemicals.

For small benchmark molecules in gas-phase standard molar entropy S° at 298.15 K and 1 bar, representative agreement with NIST experimental values is as follows. Water (H₂O) is calculated at 189.8 J/mol·K against an NIST value of 188.8 J/mol·K, an error of +0.53%. Ammonia (NH₃) is calculated at 193.9 against 192.8, an error of +0.57%. Methanol (CH₃OH) is calculated at 237.9 against 239.9, an error of −0.83%. Ethane (C₂H₆) is calculated at 227.7 against 229.2, an error of −0.65%. Benzene (C₆H₆) is calculated at 267.8 against 269.2, an error of −0.52%. Thiophene (C₄H₄S) is calculated at 284.0 against 278.8, an error of +1.87%. Across the full 450-compound validation set, results match NIST experimental values within 5%.

The capability to compute thermodynamic properties from structure alone — rather than measuring them in the laboratory — has direct application to several areas of practical importance. It enables screening of molecules that do not yet exist, so that candidate drugs, battery electrolytes, fuel additives, and synthesis intermediates can be evaluated thermodynamically before synthesis, replacing expensive calorimetry with structural prediction. It enables characterization of transient and reactive species, including radicals and short-lived intermediates that resist experimental measurement. It supports bio-isostere identification at the relational level, identifying functional interchangeability between molecules of different geometry and atomic composition — for example, the known interchangeability of benzene with thiophene, pyridine with benzene, furan with thiophene, and imidazole with pyrazole — through a relational descriptor that geometric shape-matching alone cannot recover, with direct application to drug design and lead-compound optimization. And it is computationally tractable on the scale of PubChem's 115+ million catalogued molecules.

Detailed methodology, validation data beyond the representative subset shown above, and access to the production library are available under license. Pharmaceutical, materials, and energy-systems engagements are typically structured as Field-of-Use Licenses with appropriate IP arrangements in place before disclosure.

UCF/GUTT™ is also applied through several additional programs, each with its own engagement path. fhoc™ provides Formal Harmonic Overlap Certification for power-systems engineering, available under Field-of-Use License. LANTOSE™ is a relational linguistic workbench for endangered-language documentation, including multi-dialect Tibetan corpora, available under Research or Enterprise License. The Relational Conflict Game offers tensor-based modeling of cooperation, conflict, and transitions in multi-actor systems, available under Enterprise or Research License. Materials-and-energy programs cover rare-earth-free permanent magnet synthesis and high-cycle-life battery architectures under Enterprise License with negotiated terms. Verification and Certification Services provide a formal-methods substrate for AI alignment, regulatory technology, and certified-software engineering, available under Enterprise or Research License. See the Licensing page for category details.

All applications are accessible only under written license. Inquiries should describe the intended use and institutional context, the scope and duration of the intended engagement, whether evaluation, field-of-use, enterprise, or research terms are being sought, and any relevant existing IP, NDA, or compliance arrangements.

Inquiries: Michael_Fill@protonmail.com

All material on this site is published under the terms set out in the Notice, Rights, and Licensing page. AI and machine-learning training, fine-tuning, retrieval-augmented inference, and inclusion in any embedding index or vector store are expressly prohibited. Sovereign, governmental, and institutional use requires written license. Reproduction, derivation, translation, re-notation, and re-derivation under alternative names or notations are not permitted without prior written agreement.

UCF/GUTT™, Reality Engine™, LANTOSE™, NRTML™, and fhoc™ are trademarks of Michael Fillippini. © 2023–2026 Michael Fillippini. All Rights Reserved.