Triple
T18527873
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Planet Hulk |
E452764
|
entity |
| Predicate | inkers |
P36861
|
FINISHED |
| Object | Jeffrey Huet |
—
|
NE NERFINISHED |
How this triple was built (3 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: Jeffrey Huet | Statement: [Planet Hulk, inkers, Jeffrey Huet]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Jeffrey Huet Context triple: [Planet Hulk, inkers, Jeffrey Huet]
-
A.
Gilles Dowek
Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
-
B.
Yves Bertot
Yves Bertot is a French computer scientist known for his work on formal methods and the Coq proof assistant.
-
C.
Gérard Berry
Gérard Berry is a prominent French computer scientist known for his pioneering work in programming languages, formal methods, and synchronous programming.
-
D.
Xavier Leroy
Xavier Leroy is a French computer scientist best known for his work on the OCaml programming language and the formally verified CompCert C compiler.
-
E.
Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Jeffrey Huet Target entity description: Jeffrey Huet is a comic book inker known for his work on major Marvel titles, including the "Planet Hulk" storyline.
-
A.
Gilles Dowek
Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
-
B.
Yves Bertot
Yves Bertot is a French computer scientist known for his work on formal methods and the Coq proof assistant.
-
C.
Gérard Berry
Gérard Berry is a prominent French computer scientist known for his pioneering work in programming languages, formal methods, and synchronous programming.
-
D.
Xavier Leroy
Xavier Leroy is a French computer scientist best known for his work on the OCaml programming language and the formally verified CompCert C compiler.
-
E.
Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
- F. None of above. chosen
Provenance (2 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_69d8d387b5548190aa030dad2cb4947e |
completed | April 10, 2026, 10:40 a.m. |
| NER | Named-entity recognition | batch_69e533f9bd1081909743b24e290b7dfe |
completed | April 19, 2026, 7:58 p.m. |
Created at: April 10, 2026, 11:37 a.m.