Triple
T11961903
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Johann Radon |
E284687
|
entity |
| Predicate | hasConceptNamedAfter |
P3325
|
FINISHED |
| Object |
Radon space
A Radon space is a topological space in which every finite Borel measure is inner regular, meaning the measure of any Borel set can be approximated from within by compact subsets.
|
E956301
|
NE FINISHED |
How this triple was built (4 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: Radon space | Statement: [Johann Radon, hasConceptNamedAfter, Radon space]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Radon space Context triple: [Johann Radon, hasConceptNamedAfter, Radon space]
-
A.
Tychonoff space
A Tychonoff space is a topological space that is both completely regular and Hausdorff, forming a central class in general topology with strong separation and embedding properties.
-
B.
Noetherian space
A Noetherian space is a topological space in which every descending chain of closed subsets stabilizes, mirroring the finiteness conditions of Noetherian rings in algebra.
-
C.
Lindelöf space
A Lindelöf space is a topological space in which every open cover has a countable subcover, generalizing a key compactness property.
-
D.
Baire space
Baire space is a fundamental topological space—typically the set of all infinite sequences of natural numbers with the product topology—that serves as a central object in descriptive set theory and general topology.
-
E.
Stone–Čech compactification
The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.
- 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: Radon space Triple: [Johann Radon, hasConceptNamedAfter, Radon space]
Generated description
A Radon space is a topological space in which every finite Borel measure is inner regular, meaning the measure of any Borel set can be approximated from within by compact subsets.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Radon space Target entity description: A Radon space is a topological space in which every finite Borel measure is inner regular, meaning the measure of any Borel set can be approximated from within by compact subsets.
-
A.
Tychonoff space
A Tychonoff space is a topological space that is both completely regular and Hausdorff, forming a central class in general topology with strong separation and embedding properties.
-
B.
Noetherian space
A Noetherian space is a topological space in which every descending chain of closed subsets stabilizes, mirroring the finiteness conditions of Noetherian rings in algebra.
-
C.
Lindelöf space
A Lindelöf space is a topological space in which every open cover has a countable subcover, generalizing a key compactness property.
-
D.
Baire space
Baire space is a fundamental topological space—typically the set of all infinite sequences of natural numbers with the product topology—that serves as a central object in descriptive set theory and general topology.
-
E.
Stone–Čech compactification
The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.
- F. None of above. chosen
Provenance (5 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_69d6ab2eaeb881909f7914758f859413 |
completed | April 8, 2026, 7:23 p.m. |
| NER | Named-entity recognition | batch_69d9037848f481908276716675464464 |
completed | April 10, 2026, 2:04 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69f4592fa9a48190a0450e3d0c57c4d3 |
completed | May 1, 2026, 7:41 a.m. |
| NEDg | Description generation | batch_69f4645ef63881909b46937f73d637a3 |
completed | May 1, 2026, 8:29 a.m. |
| NED2 | Entity disambiguation (via description) | batch_69f465be4db08190882898a17d077019 |
completed | May 1, 2026, 8:35 a.m. |
Created at: April 8, 2026, 9:45 p.m.