Triple

T12081173
Position Surface form Disambiguated ID Type / Status
Subject Linux kernel hardening E287680 entity
Predicate usesMechanism P1687 FINISHED
Object SELinux E37338 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: SELinux | Statement: [Linux kernel hardening, usesMechanism, SELinux]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: SELinux
Context triple: [Linux kernel hardening, usesMechanism, SELinux]
  • A. SELinux chosen
    SELinux (Security-Enhanced Linux) is a Linux kernel security module that provides a flexible, fine-grained mandatory access control (MAC) framework to enforce strict security policies on systems.
  • B. Linux Security Modules API
    The Linux Security Modules API is a kernel-level framework in Linux that allows the implementation of pluggable security policies and access control mechanisms such as AppArmor and SELinux.
  • C. TOMOYO Linux
    TOMOYO Linux is a security-focused enhancement for the Linux kernel that provides mandatory access control through fine-grained, policy-based restrictions on system behavior.
  • D. AppArmor
    AppArmor is a Linux kernel security module that confines programs to a limited set of resources using per-application security profiles to reduce the impact of vulnerabilities and attacks.
  • E. seL4 microkernel
    The seL4 microkernel is a formally verified, high-assurance operating system kernel designed for strong security and reliability guarantees in safety- and security-critical systems.
  • 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_69d6ab4964708190850585628b287b0c completed April 8, 2026, 7:23 p.m.
NER Named-entity recognition batch_69d904dc98a88190a5873f3fd8e1a0b2 completed April 10, 2026, 2:10 p.m.
NED1 Entity disambiguation (via context triple) batch_69f5f66509208190b7206e78df41c2fe completed May 2, 2026, 1:04 p.m.
Created at: April 8, 2026, 9:48 p.m.