Triple
T20690865
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Donaldson invariants |
E508544
|
entity |
| Predicate | hasVariant |
P455
|
FINISHED |
| Object | Donaldson series |
—
|
NE NERFINISHED |
How this triple was built (3 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: Donaldson series | Statement: [Donaldson invariants, hasVariant, Donaldson series]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Donaldson series Context triple: [Donaldson invariants, hasVariant, Donaldson series]
-
A.
Donaldson
Donaldson is a surname of Scottish origin borne by various notable individuals, including athletes, politicians, and academics.
-
B.
Dodson
Dodson is a surname of English origin borne by various notable individuals across fields such as politics, sports, and the arts.
-
C.
Dons
Dons is the nickname for the University of San Francisco's men's basketball team, a program known for its historic success including multiple national championships in the 1950s.
-
D.
Dons
Dons is the commonly used nickname for Doncaster R.L.F.C., a professional rugby league club based in Doncaster, South Yorkshire, England.
-
E.
Dons
Dons is a common nickname for the Essendon Football Club, a professional Australian rules football team in the Australian Football League.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Donaldson series Target entity description: The Donaldson series is a generating function that encodes all Donaldson invariants of a smooth four-manifold into a single formal power series.
-
A.
Donaldson
Donaldson is a surname of Scottish origin borne by various notable individuals, including athletes, politicians, and academics.
-
B.
Dodson
Dodson is a surname of English origin borne by various notable individuals across fields such as politics, sports, and the arts.
-
C.
Dons
Dons is the nickname for the University of San Francisco's men's basketball team, a program known for its historic success including multiple national championships in the 1950s.
-
D.
Dons
Dons is the commonly used nickname for Doncaster R.L.F.C., a professional rugby league club based in Doncaster, South Yorkshire, England.
-
E.
Dons
Dons is a common nickname for the Essendon Football Club, a professional Australian rules football team in the Australian Football League.
- F. None of above. chosen
Provenance (2 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_69e0b4c1ed408190b72dd26b1e33f8a1 |
completed | April 16, 2026, 10:06 a.m. |
| NER | Named-entity recognition | batch_69e6c10d83548190a52b9ef84c8f9205 |
completed | April 21, 2026, 12:13 a.m. |
Created at: April 16, 2026, 12:08 p.m.