Triple

T9699935
Position Surface form Disambiguated ID Type / Status
Subject Luca Cardelli E234748 entity
Predicate coAuthorOf P2389 FINISHED
Object A Theory of Objects
A Theory of Objects is a foundational book in theoretical computer science that develops a rigorous mathematical framework for understanding object-oriented programming and type systems.
E815059 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: A Theory of Objects | Statement: [Luca Cardelli, coAuthorOf, A Theory of Objects]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: A Theory of Objects
Context triple: [Luca Cardelli, coAuthorOf, A Theory of Objects]
  • A. On the Theory of Objective Mind
    "On the Theory of Objective Mind" is a philosophical work that explores how shared, externalized structures of thought and culture constitute an objective dimension of mind beyond individual subjectivity.
  • B. The Architecture of Theories
    The Architecture of Theories is an 1891 philosophical essay by Charles Sanders Peirce that outlines his evolutionary, realist, and scientific approach to metaphysics and the structure of scientific theories.
  • C. The Problem of Realization
    The Problem of Realization is a section of Rosa Luxemburg’s Marxist economic work that examines how capitalist production can be converted into money through sales, focusing on the difficulties of realizing surplus value in capitalist markets.
  • D. The Givenness of Things
    The Givenness of Things is a collection of essays by Marilynne Robinson that explores theology, philosophy, and humanism through reflective, intellectually rigorous prose.
  • E. The Varieties of Reference
    The Varieties of Reference is a highly influential work of analytic philosophy in which Gareth Evans develops a detailed theory of reference, perception, and singular thought.
  • 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: A Theory of Objects
Triple: [Luca Cardelli, coAuthorOf, A Theory of Objects]
Generated description
A Theory of Objects is a foundational book in theoretical computer science that develops a rigorous mathematical framework for understanding object-oriented programming and type systems.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: A Theory of Objects
Target entity description: A Theory of Objects is a foundational book in theoretical computer science that develops a rigorous mathematical framework for understanding object-oriented programming and type systems.
  • A. On the Theory of Objective Mind
    "On the Theory of Objective Mind" is a philosophical work that explores how shared, externalized structures of thought and culture constitute an objective dimension of mind beyond individual subjectivity.
  • B. The Architecture of Theories
    The Architecture of Theories is an 1891 philosophical essay by Charles Sanders Peirce that outlines his evolutionary, realist, and scientific approach to metaphysics and the structure of scientific theories.
  • C. The Problem of Realization
    The Problem of Realization is a section of Rosa Luxemburg’s Marxist economic work that examines how capitalist production can be converted into money through sales, focusing on the difficulties of realizing surplus value in capitalist markets.
  • D. The Givenness of Things
    The Givenness of Things is a collection of essays by Marilynne Robinson that explores theology, philosophy, and humanism through reflective, intellectually rigorous prose.
  • E. The Varieties of Reference
    The Varieties of Reference is a highly influential work of analytic philosophy in which Gareth Evans develops a detailed theory of reference, perception, and singular thought.
  • 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_69ca84cb580c8190a7e5f4b3bcdaf2a4 completed March 30, 2026, 2:12 p.m.
NER Named-entity recognition batch_69cd9d6eab0c8190abac1b009d625975 completed April 1, 2026, 10:34 p.m.
NED1 Entity disambiguation (via context triple) batch_69d1912a551c8190bd6b48790f117f71 completed April 4, 2026, 10:31 p.m.
NEDg Description generation batch_69d193d8dd7c819094ca47105c3135e6 completed April 4, 2026, 10:42 p.m.
NED2 Entity disambiguation (via description) batch_69d1943d67988190aac089266d2d4abc completed April 4, 2026, 10:44 p.m.
Created at: March 30, 2026, 8:18 p.m.