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.