NeXO ontology alignment
Algorithms AIMech:NeXOOntologyAlignment DRAFT
Aliases: AlignOntology
An iterative ontology-alignment algorithm that combines shared-terminal set overlap with parent and child neighborhood similarities, then greedily selects one-to-one term correspondences while rejecting reversed ancestor relations.
Identity Notes & Concept Scope
Compared all 442 pinned AIO and 666 native IDs, names, aliases and scoped synonyms for the three candidates and their publication identifiers; no normalized identity match. Ignored- and hidden-inclusive fixed-string searches of the recovery, older discovery and original Documents checkouts returned 26, 0, 0 lines. All matches were read and are prior source/discovery context, with no existing maintained identity. Semantic assessment covered 44 AIO and 260 native definitions: 41 AIO and 228 native rows were unchanged from earlier reading; three additional AIO and 32 additional native definitions were read. Fourteen complete annotated AIO node/edge/generated contexts and the candidate-specific native records were inspected. Retain the gene-set and topology-based alignment algorithm described in the 2013 NeXO methods. AlignOntology is an author-attributed software name; no exact conformance claim about later code is made. It differs from constructing an ontology, learning generative flows, matching dictionary atoms and language-model value alignment.
Claims & Grounded Evidence
5 Claims
Mechanism
#intrinsic-and-relational-scores
The initial term-pair scores are Jaccard overlaps of their assigned gene sets. Later iterations combine three quarters intrinsic similarity with one quarter relational similarity. Relational similarity compares parent and child neighborhoods using the previous score matrix; each neighborhood comparison greedily chooses unique pairs and normalizes their summed scores. The root has a separate child-only rule.
Mechanism
#constrained-greedy-alignment
Each iteration sorts term pairs by score and accepts them greedily when neither term is already used and the proposed pair creates no reversed ancestor-descendant correspondence with an accepted pair. Processing stops when all terms of one ontology are matched or only scores below the stated threshold remain. These uniqueness and no-crisscross constraints do not require exact equality of gene sets or a full graph isomorphism.
Limitation
#greedy-optimality-boundary
The first greedy pass need not maximize total admissible similarity. A finite sibling-term example with Jaccard matrix [[1/2,1/3],[1/3,0]] selects the unique highest pair for a total of one half, whereas the two cross-pairs total two thirds without violating uniqueness or ancestor constraints. This assesses a first pass only; it does not predict the final iterated alignment or the author implementation.
Scope
#iteration-and-conventions
The source returns an alignment when it matches any previously encountered alignment. This repetition rule does not require successive score matrices to converge or successive mappings to agree. The printed formulas also leave empty-neighborhood, mixed root/non-root and tie conventions to implementation. No occurrence of a cycle in author code or general failure to terminate is asserted.
Scope
#alignment-calibration
The paper estimates false discovery from randomized ontologies and uses size-dependent score thresholds, with a stated alignment FDR below ten percent in each size group. This is a separate calculation from the five-percent thresholds in functional-enrichment comparisons. Alignment scores, semantic identity and experimentally supported biological function remain distinct.
⚠️ Curated Limitations & Negative Results
- The record covers the algorithm described in the 2013 NeXO paper. Michael Kramer’s AlignOntology landing page attributes the software to that paper, but its later code revisions were not audited and are not assumed equivalent in every detail.
- Comparable terminal identities are required for meaningful gene-set overlap. Missing or inconsistent annotations and shared evaluation inputs can affect scores and matches.
- Greedy local and global matching is not a maximum-weight assignment or a semantic equivalence proof. The finite counterexample concerns k=0 only, with a common matched root and sibling terms.
- Repeated-mapping termination differs from convergence of the numeric similarities. The source does not fully specify empty parent/child sets, mixed root status or tie ordering.
- No author implementation, experimental dataset or supplementary archive was audited or executed. Finite curator calculations assess printed formulas and bounded examples, not benchmark replication or global optimality. The record remains DRAFT.
Artificial Intelligence Ontology (AIO) Grounding
Explicit AIO Snapshot Assessment: No Match
Rationale: No suitable pinned AIO mapping was found for the specific ontology-correspondence procedure. The bounded assessment distinguishes alignment from clustering, hierarchical classification, metric representation learning, conditional-dependence modeling and language-model value alignment.
Search Scope: All 442 pinned AIO and 666 native identities; ignored- and hidden-inclusive searches of three checkouts; 44 AIO and 260 native semantic definitions; fourteen complete annotated AIO contexts and inspected native neighbors.
| Examined AIO Candidate | Rejection Reason |
|---|---|
AIO:HierarchicalClustering
|
The method aligns terms in two existing hierarchies; it does not cluster observations into a new hierarchy. |
AIO:UnsupervisedClustering
|
Constrained cross-ontology correspondences do not partition an unlabeled data set into clusters. |
AIO:HierarchicalClassification
|
The procedure does not learn a predictor for preassigned hierarchical labels. |
AIO:MetricLearning
|
It uses prescribed set-overlap and recursive neighborhood scores, rather than learning the deep-neural metric representation defined by this pinned target. |
AIO:MachineLearningTask
|
This particular symbolic correspondence algorithm does not establish the general data-learning task as an equivalent identity or necessary algorithm parent. |
AIO:MathematicalFunction
|
The stateful iterative matching procedure is not identified by this generic mathematical-function category. |
AIO:ProbabilisticGraphicalModel
|
Its ontology DAGs represent term relations, not conditional dependencies between random variables. |
AIO:EthicalLLM
|
Ontology alignment is unrelated to the value-alignment synonym of an ethical language model. |
AIO:MarkovChain
|
Repeated similarity updates and stopping on a repeated mapping do not define a stochastic transition model. |
Evidence Sources & Primary Literature
1 Source| Source ID | Publication / Document | Type / Access | Reference & Checksum |
|---|---|---|---|
dutkowski2013
|
Janusz Dutkowski, Michael Kramer, Michal A Surma, Rama Balakrishnan, J Michael Cherry, Nevan J Krogan, Trey Ideker
|
primary paper
full_text
|
ID: doi:10.1038/nbt.2463
sha256:77571ca2fa83…
|
Curation Provenance
Curator: Codex
Method: ai_assisted
Model: GPT-6
Created: 2026-10-14T01:04:46Z
Updated: 2026-10-14T01:04:46Z
Source File:
data/curated/NeXOOntologyAlignment.yaml