Triple

T7338471
Position Surface form Disambiguated ID Type / Status
Subject Jones polynomial E169187 entity
Predicate categorifiedBy P77174 FINISHED
Object Khovanov homology
Khovanov homology is a powerful link invariant in knot theory that lifts the Jones polynomial to a graded homology theory, providing stronger topological information than the polynomial alone.
E656685 NE FINISHED

How this triple was built (5 steps)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Khovanov homology | Statement: [Jones polynomial, categorifiedBy, Khovanov homology]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Khovanov homology
Context triple: [Jones polynomial, categorifiedBy, Khovanov homology]
  • A. Witten–Reshetikhin–Turaev invariant
    The Witten–Reshetikhin–Turaev invariant is a quantum invariant of 3-manifolds and links derived from Chern–Simons theory and quantum groups, playing a central role in low-dimensional topology and quantum topology.
  • B. Jones polynomial
    The Jones polynomial is a powerful knot invariant in topology that assigns to each knot or link a Laurent polynomial, enabling the distinction of many knots that are indistinguishable by classical invariants.
  • C. Donaldson invariants
    Donaldson invariants are sophisticated topological invariants of smooth four-dimensional manifolds derived from moduli spaces of anti-self-dual connections, central to the study of 4-manifold differential topology.
  • D. HOMFLY-PT polynomial
    The HOMFLY-PT polynomial is a powerful knot and link invariant in knot theory that generalizes both the Alexander and Jones polynomials.
  • E. Kazhdan–Lusztig theory
    Kazhdan–Lusztig theory is a framework in representation theory and algebraic geometry that studies Hecke algebras and their bases via Kazhdan–Lusztig polynomials, with deep connections to the representation theory of Lie algebras and geometry of Schubert varieties.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Khovanov homology
Triple: [Jones polynomial, categorifiedBy, Khovanov homology]
Generated description
Khovanov homology is a powerful link invariant in knot theory that lifts the Jones polynomial to a graded homology theory, providing stronger topological information than the polynomial alone.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Khovanov homology
Target entity description: Khovanov homology is a powerful link invariant in knot theory that lifts the Jones polynomial to a graded homology theory, providing stronger topological information than the polynomial alone.
  • A. Witten–Reshetikhin–Turaev invariant
    The Witten–Reshetikhin–Turaev invariant is a quantum invariant of 3-manifolds and links derived from Chern–Simons theory and quantum groups, playing a central role in low-dimensional topology and quantum topology.
  • B. Jones polynomial
    The Jones polynomial is a powerful knot invariant in topology that assigns to each knot or link a Laurent polynomial, enabling the distinction of many knots that are indistinguishable by classical invariants.
  • C. Donaldson invariants
    Donaldson invariants are sophisticated topological invariants of smooth four-dimensional manifolds derived from moduli spaces of anti-self-dual connections, central to the study of 4-manifold differential topology.
  • D. HOMFLY-PT polynomial
    The HOMFLY-PT polynomial is a powerful knot and link invariant in knot theory that generalizes both the Alexander and Jones polynomials.
  • E. Kazhdan–Lusztig theory
    Kazhdan–Lusztig theory is a framework in representation theory and algebraic geometry that studies Hecke algebras and their bases via Kazhdan–Lusztig polynomials, with deep connections to the representation theory of Lie algebras and geometry of Schubert varieties.
  • F. None of above. chosen
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: categorifiedBy
Context triple: [Jones polynomial, categorifiedBy, Khovanov homology]
  • A. canonicalCategory
    Indicates that an entity is assigned to its primary or standard category within a classification system.
  • B. areClassifiedBy
    Indicates that entities are assigned to one or more categories, types, or classes according to a specified classification scheme.
  • C. categoryDefinedBy
    Indicates that a category is established, characterized, or delimited according to a specific defining criterion, rule, or source.
  • D. reclassifiedBy
    Indicates that an entity’s classification or category has been changed by a specific agent or authority.
  • E. categoryDistinguishedFrom
    Indicates that one category is explicitly distinguished from another, clarifying that they are separate and should not be confused.
  • F. None of above. chosen

Provenance (7 batches)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69c68a57710481909f0c1f3c6ebdb6f2 completed March 27, 2026, 1:47 p.m.
NER Named-entity recognition batch_69c6f347f25081908e6086d4073295f5 completed March 27, 2026, 9:14 p.m.
NED1 Entity disambiguation (via context triple) batch_69c7ef266fd0819096cf3ece3fff6b90 completed March 28, 2026, 3:09 p.m.
NEDg Description generation batch_69c7efa4f5148190842f30988cbea94c completed March 28, 2026, 3:11 p.m.
NED2 Entity disambiguation (via description) batch_69c7f0092bac819080ded1863f99290a completed March 28, 2026, 3:13 p.m.
PD Predicate disambiguation batch_69c6f028fd748190b2ea5c3081958a42 completed March 27, 2026, 9:01 p.m.
PDg Predicate description generation batch_69c6f3463d0481908aed9ed43a8ac6a8 completed March 27, 2026, 9:14 p.m.
Created at: March 27, 2026, 3:04 p.m.