Triple

T8751906
Position Surface form Disambiguated ID Type / Status
Subject Dana Scott E207979 entity
Predicate knownFor P22 FINISHED
Object Scott topology
Scott topology is a mathematical topology on partially ordered sets that captures notions of convergence and continuity central to domain theory and theoretical computer science.
E755389 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: Scott topology | Statement: [Dana Scott, knownFor, Scott topology]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Scott topology
Context triple: [Dana Scott, knownFor, Scott topology]
  • A. Alexandrov–Čech cohomology
    Alexandrov–Čech cohomology is a topological cohomology theory that computes invariants of spaces using inverse limits over open covers, closely related to and often coinciding with sheaf cohomology.
  • B. Moscow school of topology
    The Moscow school of topology was a prominent mathematical tradition centered in Moscow that made foundational contributions to general and algebraic topology in the 20th century.
  • C. Grothendieck topology
    A Grothendieck topology is an abstract framework in category theory that generalizes the notion of open covers in topology to define sheaves on arbitrary categories.
  • D. Stone–Čech compactification
    The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.
  • E. Eilenberg–MacLane spaces
    Eilenberg–MacLane spaces are topological spaces characterized by having a single nontrivial homotopy group, serving as fundamental building blocks in homotopy theory and the definition of cohomology.
  • 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: Scott topology
Triple: [Dana Scott, knownFor, Scott topology]
Generated description
Scott topology is a mathematical topology on partially ordered sets that captures notions of convergence and continuity central to domain theory and theoretical computer science.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Scott topology
Target entity description: Scott topology is a mathematical topology on partially ordered sets that captures notions of convergence and continuity central to domain theory and theoretical computer science.
  • A. Alexandrov–Čech cohomology
    Alexandrov–Čech cohomology is a topological cohomology theory that computes invariants of spaces using inverse limits over open covers, closely related to and often coinciding with sheaf cohomology.
  • B. Moscow school of topology
    The Moscow school of topology was a prominent mathematical tradition centered in Moscow that made foundational contributions to general and algebraic topology in the 20th century.
  • C. Grothendieck topology
    A Grothendieck topology is an abstract framework in category theory that generalizes the notion of open covers in topology to define sheaves on arbitrary categories.
  • D. Stone–Čech compactification
    The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.
  • E. Eilenberg–MacLane spaces
    Eilenberg–MacLane spaces are topological spaces characterized by having a single nontrivial homotopy group, serving as fundamental building blocks in homotopy theory and the definition of cohomology.
  • 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_69ca835cd6b08190bd7c63db92f53c86 completed March 30, 2026, 2:06 p.m.
NER Named-entity recognition batch_69cc5da774f4819099e5bfd12973d946 completed March 31, 2026, 11:49 p.m.
NED1 Entity disambiguation (via context triple) batch_69cf4326d8cc8190900f5f91da6ef6c8 completed April 3, 2026, 4:33 a.m.
NEDg Description generation batch_69cf4462da648190a621397fa88dd4bd completed April 3, 2026, 4:38 a.m.
NED2 Entity disambiguation (via description) batch_69cf454c4d248190a925b15c23af1a24 completed April 3, 2026, 4:42 a.m.
Created at: March 30, 2026, 6:39 p.m.