Triple
T7051476
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Centre for Mathematical Sciences, University of Cambridge |
E163975
|
entity |
| Predicate | hasPart |
P35
|
FINISHED |
| Object |
mathematics library
The mathematics library at the University of Cambridge’s Centre for Mathematical Sciences is a specialized academic library supporting advanced research and study in pure and applied mathematics.
|
E638885
|
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: mathematics library | Statement: [Centre for Mathematical Sciences, University of Cambridge, hasPart, mathematics library]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: mathematics library Context triple: [Centre for Mathematical Sciences, University of Cambridge, hasPart, mathematics library]
-
A.
Mathematics
"Mathematics" is a politically charged hip-hop track by Mos Def that critiques social injustice, systemic inequality, and the statistical realities of urban life.
-
B.
Mathematike Syntaxis
Mathematike Syntaxis, better known by its later Arabic-derived title Almagest, is Ptolemy’s foundational astronomical treatise that systematically presents the geocentric model of the cosmos and dominated Western and Islamic astronomy for over a millennium.
-
C.
MathInf
MathInf is the Faculty of Mathematics and Computer Science at Heidelberg University, encompassing education and research in mathematics, computer science, and related fields.
-
D.
LinearAlgebra
LinearAlgebra is Julia’s standard library module providing core functionality for vectors, matrices, and advanced linear algebra operations.
-
E.
OpenMath
OpenMath is a standard for representing the semantic meaning of mathematical expressions in a structured, machine-readable form to enable reliable exchange between computer programs.
- 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: mathematics library Triple: [Centre for Mathematical Sciences, University of Cambridge, hasPart, mathematics library]
Generated description
The mathematics library at the University of Cambridge’s Centre for Mathematical Sciences is a specialized academic library supporting advanced research and study in pure and applied mathematics.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: mathematics library Target entity description: The mathematics library at the University of Cambridge’s Centre for Mathematical Sciences is a specialized academic library supporting advanced research and study in pure and applied mathematics.
-
A.
Mathematics
"Mathematics" is a politically charged hip-hop track by Mos Def that critiques social injustice, systemic inequality, and the statistical realities of urban life.
-
B.
Mathematike Syntaxis
Mathematike Syntaxis, better known by its later Arabic-derived title Almagest, is Ptolemy’s foundational astronomical treatise that systematically presents the geocentric model of the cosmos and dominated Western and Islamic astronomy for over a millennium.
-
C.
MathInf
MathInf is the Faculty of Mathematics and Computer Science at Heidelberg University, encompassing education and research in mathematics, computer science, and related fields.
-
D.
LinearAlgebra
LinearAlgebra is Julia’s standard library module providing core functionality for vectors, matrices, and advanced linear algebra operations.
-
E.
OpenMath
OpenMath is a standard for representing the semantic meaning of mathematical expressions in a structured, machine-readable form to enable reliable exchange between computer programs.
- 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_69c68861678881909961ddf4d779f750 |
completed | March 27, 2026, 1:38 p.m. |
| NER | Named-entity recognition | batch_69c6e2500570819087200013d859cfe6 |
completed | March 27, 2026, 8:02 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69c78891bc5081909db384a35b45df4a |
completed | March 28, 2026, 7:51 a.m. |
| NEDg | Description generation | batch_69c7893f85588190b1ed983f00ea2532 |
completed | March 28, 2026, 7:54 a.m. |
| NED2 | Entity disambiguation (via description) | batch_69c78b0fe83481909cad77ce740b81d5 |
completed | March 28, 2026, 8:02 a.m. |
Created at: March 27, 2026, 2:37 p.m.