DDS — Example Implementation
Abstract
Python example implementation accompanying the paper "Deterministic Domain Semantics: A Formal Layer for Closing Open Worlds" (DOI: 10.5281/zenodo.18648558). Implements core DDS abstractions: Domain Language (DomL), Domain Language Graph (DomLG), gating (OWA→CWA transformation), three-layer validation, and SHACL bridge. Includes two case studies: visitor access control and medical prescription validation.
Fields of Study & Subjects
Semantic Web and Ontologies
Access Control and Trust
Logic
Reasoning
and Knowledge
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 15 February 2026
- Language
- ENC