Triple

T36625499
Position Surface form Disambiguated ID Type / Status
Subject SMT-COMP E904157 entity
Predicate isTypicallyAffiliatedWith P629 FINISHED
Object CAV conference LITERAL 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: CAV conference | Statement: [SMT-COMP, isTypicallyAffiliatedWith, CAV conference]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: isTypicallyAffiliatedWith
Context triple: [SMT-COMP, isTypicallyAffiliatedWith, CAV conference]
  • A. commonAffiliation
    Indicates that two or more entities share the same organizational, institutional, or group affiliation.
  • B. holderAffiliation
    Indicates that a holder (such as a person or organization) is affiliated with, or belongs to, a particular group, institution, or entity.
  • C. organizationAssociatedWith chosen
    Indicates that there is a formal or recognized connection or affiliation between an organization and another entity.
  • D. possibleAffiliation
    Indicates that there is a potential or uncertain organizational, group, or institutional association between the entities, but the affiliation is not confirmed.
  • E. loreAffiliation
    Indicates a relationship where an entity is associated with, belongs to, or is aligned with a particular group, faction, or organization within a fictional or narrative lore.
  • F. None of above.

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_69f76e6ae750819096911e6e2d4d12c5 completed May 3, 2026, 3:48 p.m.
NER Named-entity recognition batch_69fb2e940d5c8190bceae77daf4ef512 completed May 6, 2026, 12:05 p.m.
PD Predicate disambiguation batch_69f9fec70bd881909c658a3c5020318b completed May 5, 2026, 2:29 p.m.
Created at: May 3, 2026, 4:11 p.m.