Triple

T11958700
Position Surface form Disambiguated ID Type / Status
Subject Annex D (Real-Time Systems) E284615 entity
Predicate hasFullName P16 FINISHED
Object Real-Time Systems Annex E284615 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: Real-Time Systems Annex | Statement: [Annex D (Real-Time Systems), hasFullName, Real-Time Systems Annex]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Real-Time Systems Annex
Context triple: [Annex D (Real-Time Systems), hasFullName, Real-Time Systems Annex]
  • A. Annex D (Real-Time Systems) chosen
    Annex D (Real-Time Systems) is a specialized section of the Ada language standard that defines features and semantics for building deterministic, high-integrity real-time applications.
  • B. Real-Time System Executive for the PDP-11
    Real-Time System Executive for the PDP-11 is a family of multi-user, multitasking real-time operating systems developed by Digital Equipment Corporation for its PDP-11 minicomputers.
  • C. Time-Triggered Architecture
    Time-Triggered Architecture is a deterministic, time-driven computing and communication framework used in safety-critical real-time systems to ensure predictable and reliable operation.
  • D. Software Engineering with Ada
    Software Engineering with Ada is a foundational textbook that applies modern software engineering principles and object-oriented design techniques to the Ada programming language, widely used in safety-critical and real-time systems.
  • E. “seL4: Formal Verification of an OS Kernel”
    “seL4: Formal Verification of an OS Kernel” is a landmark research paper that presents the first formally verified, general-purpose microkernel, demonstrating end-to-end mathematical proofs of its functional correctness and security properties.
  • 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_69d6ab2db38c8190b1f0ed6663ef8ada completed April 8, 2026, 7:23 p.m.
NER Named-entity recognition batch_69d903681a00819098c2b5260e2ef834 completed April 10, 2026, 2:04 p.m.
NED1 Entity disambiguation (via context triple) batch_69f459210d1c8190953cd01da3d2ad04 completed May 1, 2026, 7:41 a.m.
Created at: April 8, 2026, 9:45 p.m.