---
title: "Obligatory-attribute misses are machine-readable gap signals in knowledge graphs"
type: "claim"
status: "seedling"
audit_status: "verified-verbatim | 2026-09-11 audit (claude-fable-5-1, cross-model check; writer unknown): arXiv:2305.05403 abstract re-fetched and the PDF read via extract_pdf (sha256 280bfaef…, 42 pp., v2 of 2023-12-06, TLS verified): source_quote EXACT (§3.2: 'we look at the ratio of instances of the class that have the predicate in the KB'); 'if this ratio changes when we go into subclasses' EXACT ('We then check if this ratio changes when we go into subclasses of the target class, or into intersections of the target class with other classes'); 'obligatory attributes' is the paper's own term ('A first hint on missing objects comes from obligatory attributes'); authors and v1 date 2023-05-09 confirmed. One mechanism clarification appended in the body (original sentence kept): the paper's criterion for obligatoriness is ratio *invariance* under subclassing — 'If the ratio changes, then a theorem tells us (under a number of assumptions) that the predicate cannot be obligatory' — not a high-ratio threshold; the note's 95%/5% sentence is its own illustration, not the paper's rule. The survey attributes the method to its ref. [61] (a prior paper), so the mechanism is secondary within a Tier-1 survey. Note carried no verified_verbatim field despite the status — this append is the first direct re-read."
source_sha: "280bfaefa02b48eebbce34debbe52803f5d5819a9a561eac0cbf99c35326c100"
source_url: "https://arxiv.org/abs/2305.05403"
source_title: "Completeness, Recall, and Negation in Open-World Knowledge Bases: A Survey"
source_author: "Simon Razniewski, Hiba Arnaout, Shrestha Ghosh, Fabian Suchanek"
source_date: "2023-05-09T00:00:00.000Z"
source_quote: "the ratio of instances of the class that have the predicate"
source_tier: 1
provenance: "Promotion from 10-inbox/raw/2026-06-28-how-should-seekvault-detect-gaps-in-its-own-knowledge.md, 2026-07-03"
origin: "batch"
derived_from: ["10-inbox/raw/2026-06-28-how-should-seekvault-detect-gaps-in-its-own-knowledge.md"]
date_created: "2026-07-03T00:00:00.000Z"
tags: ["knowledge-graph","gap-detection","knowledge-management","epistemics","PKM"]
seek_code_commit: "f3cafc0"
audits: ["2026-09-11 claude-fable-5-1"]
---


In any knowledge graph, entities belonging to a class share predicates that all members of that class are expected to carry. When an instance lacks an expected predicate, that absence is a detectable incompleteness signal — not an ambiguous open-world unknown, but a machine-readable structural flag. Razniewski et al. describe this as the "obligatory attributes" mechanism: the method involves analyzing "the ratio of instances of the class that have the predicate" and checking "if this ratio changes when we go into subclasses," revealing incompleteness when entities lack expected properties.

The mechanism sidesteps the open-world assumption problem. In classical knowledge-base semantics, a missing triple might mean the entity lacks the property *or* that the property exists but isn't recorded. Obligatory-attribute analysis resolves this ambiguity statistically: if 95% of entities in a class carry a predicate, the 5% that don't are more likely to be incomplete records than exceptional members. *(Audit clarification 2026-09-11: the 95%/5% sentence is this note's illustration, not the paper's criterion. Razniewski et al. define an obligatory attribute as "a predicate that all instances of the class must have in the real world at the current point in time" and test for it by whether the ratio of instances carrying the predicate stays the same across subclasses and intersecting classes — "If the ratio changes, then a theorem tells us (under a number of assumptions) that the predicate cannot be obligatory." Once a predicate is obligatory, an instance lacking it "is necessarily incomplete on that attribute" — a categorical inference, not a probabilistic one. Reported performance on YAGO and Wikidata: "a precision of 80% at a recall of 40% over all predicates.")*

Applied to SeekVault: every claim-note belongs to the class `claim-note`, which carries obligatory predicates — `source_url`, `source_tier`, `source_quote`, and `date_created`. Any note in `30-notes/` missing one of these fields is, by this formalism, a machine-readable gap signal. The vault's YAML frontmatter spec (§7 of the operating spec) functions as the class definition; schema violations are incompleteness markers detectable by a simple lint pass without requiring any judgment about content.

This makes structural gap detection cheap: a single pass over `30-notes/*.md` for missing frontmatter keys reveals a list of notes needing sourcing attention. No LLM reasoning required. The obligatory-attribute method is suited to the first pass in a gap-detection sequence, with more expensive methods — behavioral analysis ([[claim-query-failure-clustering-as-gap-signal]]), LLM corpus scanning ([[claim-llm-explicit-implicit-gap-detection]]) — handling the gaps it doesn't catch.

See [[question-gap-detection]] for the broader detection problem this mechanism partially answers. Razniewski et al. describe additional completeness tools in the same paper (cardinality assertions, No-Change Assumption, text-extraction-based recall) that could yield further vault-applicable mechanisms on a dedicated run.

> [!note] Seek's commentary:
> The appealing thing about this mechanism is that it's already partially implemented — the vault's frontmatter discipline means the class definition exists. The gap between what this could detect and what is currently being used is just a lint script away. Worth flagging as a near-term implementation candidate. — Seek