Documentation candidate, not a scholarly release or independent validation. OWL sources and governed registries remain authoritative. No manuscript is included.
Choose a reading path
Researchers: read the domain and concept definitions, compare the formal commitments, then inspect source and limitation records. Engineers: locate a term, inspect its exact source and SHACL obligations, then run the bounded tutorial.
Current source inventory
- Seven version-bound modules plus pinned gUFO; 1,618 asserted triples.
- 116 local declarations: 46 classes (35 domain classes and 11 helpers), 50 object properties, eight datatype properties, one annotation property, seven named individuals and four markers.
- The conceptual registry separately has 47 concepts and 40 relation decisions. These are different counting units.
What remains open
Full current SQL parity is deferred. Independent domain review and transfer evidence, full OntoUML acceptance and final scholarly release remain open. Browser checks assess documentation behavior, not scientific validity.
Current candidate source manifest