Triple

T6455902
Position Surface form Disambiguated ID Type / Status
Subject Nicolaus Bernoulli E141991 entity
Predicate correspondedWith P4768 FINISHED
Object Gottfried Wilhelm Leibniz E16370 NE FINISHED

How this triple was built (2 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: Gottfried Wilhelm Leibniz | Statement: [Nicolaus Bernoulli, correspondedWith, Gottfried Wilhelm Leibniz]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Gottfried Wilhelm Leibniz
Context triple: [Nicolaus Bernoulli, correspondedWith, Gottfried Wilhelm Leibniz]
  • A. Gottfried Wilhelm Leibniz chosen
    Gottfried Wilhelm Leibniz was a 17th-century German polymath and philosopher who co-invented calculus and made foundational contributions to logic, metaphysics, and mathematics.
  • B. Wissenschaftsgemeinschaft Gottfried Wilhelm Leibniz
    Wissenschaftsgemeinschaft Gottfried Wilhelm Leibniz is a German association of independent research institutes spanning various scientific disciplines, jointly funded by federal and state governments.
  • C. Christian Wolff
    Christian Wolff was an 18th-century German rationalist philosopher whose systematic and rigorous approach to metaphysics and logic significantly shaped the development of Enlightenment thought and influenced Immanuel Kant.
  • D. René Descartes
    René Descartes was a 17th-century French philosopher, mathematician, and scientist, often called the "father of modern philosophy" and known for works such as "Meditations on First Philosophy" and the dictum "Cogito, ergo sum."
  • E. Johann Heinrich Lambert
    Johann Heinrich Lambert was an 18th-century German-Swiss polymath of the Enlightenment, renowned for his pioneering work in mathematics, physics, astronomy, and philosophy, including the first rigorous proof of the irrationality of π.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 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_69c008d2f91c8190a8178767a35e08fc completed March 22, 2026, 3:20 p.m.
NER Named-entity recognition batch_69c069d4d588819090e8a56c46c0bfe9 completed March 22, 2026, 10:14 p.m.
NED1 Entity disambiguation (via context triple) batch_69c64bdc4e808190a7c24b963ab0aa30 completed March 27, 2026, 9:20 a.m.
Created at: March 22, 2026, 4:48 p.m.