Off the Edge of the Map
Summary
Off the Edge of the Map" analyzes Jessica Talisman's critique of the "closed-world assumption" (CWA) in knowledge systems, contrasting it with the open-world assumption (OWA) inherent to ontologies. Talisman argues against treating unstated facts as false. The article extends this, showing how SPARQL queries, especially those using negation-as-failure constructs like "!BOUND(?endDate)", and SHACL validation implicitly adopt CWA. It introduces the Holon Graph Architecture as a solution, where closure is explicitly declared via SHACL shapes as a "boundary," defining a map's scope. This architecture differentiates between a holon's internal "boundary" and external "portals" for federated data, preventing silent boundary expansion during SERVICE calls. A holonic system emits an "expansion request" for missing data, distinct from a "boundary violation," ensuring "I don't know" is not mistaken for "no."
Key takeaway
For AI Architects designing knowledge graphs, understanding the distinction between open-world and closed-world assumptions is critical. Implicitly relying on negation-as-failure in SPARQL or SHACL can lead to systems that generate false conclusions from missing data. You should explicitly define data boundaries using architectures like the Holon Graph Architecture, which clearly separates internal scope from external data access. This ensures your system can accurately signal "I don't know" instead of incorrectly asserting "no" when data is merely absent.
Key insights
Conflating absence of data with negative claims (CWA) in open-world systems leads to false conclusions.
Principles
- Absence of a claim is not a negative claim.
- Negation-as-failure constructs imply a closed-world assumption.
- Explicitly declared boundaries prevent implicit closure assumptions.
Method
The Holon Graph Architecture uses SHACL shapes to declare explicit boundaries for holons, distinguishing internal validity from external data access via portals.
In practice
- SPARQL queries with "!BOUND()" or "NOT EXISTS" make CWA moves.
- SHACL validation rules like "sh:minCount" or "sh:closed" operate under CWA.
Topics
- Knowledge Graphs
- Ontologies
- Closed-World Assumption
- Open-World Assumption
- SPARQL
- SHACL
- Holon Graph Architecture
Best for: Research Scientist, AI Scientist, AI Architect, Data Scientist
Related on AIssential
Editorial summary, takeaway, and curation by AIssential. Original article published by The Ontologist.