Triple

T13443949
Position Surface form Disambiguated ID Type / Status
Subject Kolmogorov–Arnold–Moser theory E320432 entity
Predicate namedAfter P63 FINISHED
Object Jürgen Moser E871403 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: Jürgen Moser | Statement: [Kolmogorov–Arnold–Moser theory, namedAfter, Jürgen Moser]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Jürgen Moser
Context triple: [Kolmogorov–Arnold–Moser theory, namedAfter, Jürgen Moser]
  • A. Jürgen Moser chosen
    Jürgen Moser was a prominent 20th-century mathematician known for his influential work in dynamical systems, Hamiltonian mechanics, and the KAM theory.
  • B. Siegfried Fischbacher
    Siegfried Fischbacher was a German-American magician and entertainer best known as one half of the Las Vegas magic duo Siegfried & Roy, famed for their elaborate illusions involving big cats.
  • C. Reinhold Seeberg
    Reinhold Seeberg was a prominent German Lutheran theologian and church historian known for his influential work on dogmatics and for mentoring figures such as Dietrich Bonhoeffer.
  • D. Wolfgang Polak
    Wolfgang Polak is a computer scientist known for his work in formal methods and as a doctoral advisor to prominent researchers such as Tobias Nipkow.
  • E. Werner Hager
    Werner Hager is an individual notable enough to be recognized as a prominent bearer of the surname Hager.
  • 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_69d80761e6cc8190a90c844589998ecc completed April 9, 2026, 8:09 p.m.
NER Named-entity recognition batch_69dbaee881888190811ddf01bc699864 completed April 12, 2026, 2:40 p.m.
NED1 Entity disambiguation (via context triple) batch_69f739965ef081909e85881ce805bbb5 completed May 3, 2026, 12:03 p.m.
Created at: April 9, 2026, 9:40 p.m.