Triple

T11016146
Position Surface form Disambiguated ID Type / Status
Subject The Calculus of Computation E260370 entity
Predicate hasAuthor P4244 FINISHED
Object Aaron R. Bradley
Aaron R. Bradley is a computer scientist and author known for his work in formal methods and verification, including coauthoring the textbook "The Calculus of Computation."
E900197 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: Aaron R. Bradley | Statement: [The Calculus of Computation, hasAuthor, Aaron R. Bradley]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Aaron R. Bradley
Context triple: [The Calculus of Computation, hasAuthor, Aaron R. Bradley]
  • A. Joshua V. Himes
    Joshua V. Himes was a 19th-century American clergyman and publisher who became a leading promoter and organizer of William Miller’s apocalyptic teachings and the broader Millerite Adventist movement.
  • B. Michael G. Rhodes
    Michael G. Rhodes is an American business executive and financial services leader who serves as the chief executive officer of Discover Financial Services.
  • C. Donovan W. Carter
    Donovan W. Carter is an American actor best known for playing NFL defensive tackle Vernon Littlefield on the HBO comedy-drama series "Ballers."
  • D. Timothy J. Roemer
    Timothy J. Roemer is an American politician and diplomat, a former U.S. congressman from Indiana who later served as U.S. Ambassador to India.
  • E. Nicholas Fallin
    Nicholas Fallin is the ambitious yet morally conflicted corporate lawyer-turned-child-advocate portrayed by Simon Baker on the television drama "The Guardian."
  • 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: Aaron R. Bradley
Triple: [The Calculus of Computation, hasAuthor, Aaron R. Bradley]
Generated description
Aaron R. Bradley is a computer scientist and author known for his work in formal methods and verification, including coauthoring the textbook "The Calculus of Computation."
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Aaron R. Bradley
Target entity description: Aaron R. Bradley is a computer scientist and author known for his work in formal methods and verification, including coauthoring the textbook "The Calculus of Computation."
  • A. Joshua V. Himes
    Joshua V. Himes was a 19th-century American clergyman and publisher who became a leading promoter and organizer of William Miller’s apocalyptic teachings and the broader Millerite Adventist movement.
  • B. Michael G. Rhodes
    Michael G. Rhodes is an American business executive and financial services leader who serves as the chief executive officer of Discover Financial Services.
  • C. Donovan W. Carter
    Donovan W. Carter is an American actor best known for playing NFL defensive tackle Vernon Littlefield on the HBO comedy-drama series "Ballers."
  • D. Timothy J. Roemer
    Timothy J. Roemer is an American politician and diplomat, a former U.S. congressman from Indiana who later served as U.S. Ambassador to India.
  • E. Nicholas Fallin
    Nicholas Fallin is the ambitious yet morally conflicted corporate lawyer-turned-child-advocate portrayed by Simon Baker on the television drama "The Guardian."
  • 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_69d6aa9687448190b28d353b1b6a610e completed April 8, 2026, 7:20 p.m.
NER Named-entity recognition batch_69d797a558a08190bdb5779faa9adf05 completed April 9, 2026, 12:12 p.m.
NED1 Entity disambiguation (via context triple) batch_69e374d371ec8190aba9e77346c6e876 completed April 18, 2026, 12:10 p.m.
NEDg Description generation batch_69e37ab6ca788190ac41f9494ad9a47f completed April 18, 2026, 12:36 p.m.
NED2 Entity disambiguation (via description) batch_69e37c9439fc8190a69cfb1a13da4c19 completed April 18, 2026, 12:44 p.m.
Created at: April 8, 2026, 9:25 p.m.