Triple

T17150049
Position Surface form Disambiguated ID Type / Status
Subject Arthur Prior E416195 entity
Predicate influenced P9 FINISHED
Object Dov Gabbay
Dov Gabbay is an Israeli logician and computer scientist known for his influential work in non-classical logics, temporal logic, and the foundations of artificial intelligence.
 E1252072 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: Dov Gabbay | Statement: [Arthur Prior, influenced, Dov Gabbay]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Dov Gabbay
Context triple: [Arthur Prior, influenced, Dov Gabbay]
  • A. Shmuel Safra
    Shmuel Safra is an Israeli theoretical computer scientist known for his influential work in computational complexity theory, including foundational contributions to probabilistically checkable proofs and hardness of approximation.
  • B. Nahman Avigad
    Nahman Avigad was a prominent Israeli archaeologist known for his excavations in Jerusalem’s Jewish Quarter and major contributions to the study of Second Temple period remains.
  • C. Oded Kotler
    Oded Kotler is an Israeli actor and theater director known for his prominent roles in film and stage as well as his influential work in Israeli performing arts.
  • D. Ben Rappaport
    Ben Rappaport is an American actor best known for his starring role in the NBC sitcom "Outsourced" and appearances in series such as "The Good Wife" and "Mr. Robot."
  • E. Yehoshua Bar-Hillel
    Yehoshua Bar-Hillel was an Israeli mathematician, philosopher, and pioneering logician best known for his foundational work in formal linguistics and machine translation.
  • 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: Dov Gabbay
Triple: [Arthur Prior, influenced, Dov Gabbay]
Generated description
Dov Gabbay is an Israeli logician and computer scientist known for his influential work in non-classical logics, temporal logic, and the foundations of artificial intelligence.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: Dov Gabbay
Target entity description: Dov Gabbay is an Israeli logician and computer scientist known for his influential work in non-classical logics, temporal logic, and the foundations of artificial intelligence.
  • A. Shmuel Safra
    Shmuel Safra is an Israeli theoretical computer scientist known for his influential work in computational complexity theory, including foundational contributions to probabilistically checkable proofs and hardness of approximation.
  • B. Nahman Avigad
    Nahman Avigad was a prominent Israeli archaeologist known for his excavations in Jerusalem’s Jewish Quarter and major contributions to the study of Second Temple period remains.
  • C. Oded Kotler
    Oded Kotler is an Israeli actor and theater director known for his prominent roles in film and stage as well as his influential work in Israeli performing arts.
  • D. Ben Rappaport
    Ben Rappaport is an American actor best known for his starring role in the NBC sitcom "Outsourced" and appearances in series such as "The Good Wife" and "Mr. Robot."
  • E. Yehoshua Bar-Hillel
    Yehoshua Bar-Hillel was an Israeli mathematician, philosopher, and pioneering logician best known for his foundational work in formal linguistics and machine translation.
  • 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_69d886d279c081909f8ff1f743ddeb69 completed April 10, 2026, 5:12 a.m.
NER Named-entity recognition batch_69e3f4067470819084aa233c4c4a6d4f completed April 18, 2026, 9:13 p.m.
NED1 Entity disambiguation (via context triple) batch_6a01415b1d7c81908d000b0362042687 completed May 11, 2026, 2:39 a.m.
NEDg Description generation batch_6a0141b73e008190be8aa85dec1ba517 completed May 11, 2026, 2:40 a.m.
NED2 Entity disambiguation (via description) batch_6a01421d159c819096efc46fa08a48b9 completed May 11, 2026, 2:42 a.m.
Created at: April 10, 2026, 5:36 a.m.