Repository navigation
Formal Reference
Status: P1-R2 candidate / 0.1.0-rc.1. The repository and Wiki are publicly readable as of 2026-09-30. Final scholarly release, artifact availability and citation remain pending #55/#56. The ontology files and governed evidence linked below are authoritative.
The FD-A–FD-J reference explains identity/imports, modules, selected declarations, axioms, SHACL constraints, implemented rule, reasoner limits, concept traceability and CQ status. It is a readable projection. Exact Turtle, SHACL and SPARQL files remain the semantic authority.
The six local modules declare 35 OWL classes, 37 object properties and four SKOS markers in the checked source inventory. The separate 71/71 figure counts release-critical conceptual IDs. The local QA found 76/76 rows, nine selected disjointness pairs, five shapes, one implemented rule and 40 CQ rows aligned. An offline generated asserted import-closure index now covers seven catalog-resolved files and 1,409 unique triples; it is not an OWL entailment closure. Final #55 binding remains pending.
Formal description FD-A–FD-J · Source declaration inventory · Local source QA scope · Core Turtle
Generated asserted reference and its scope · Complete asserted N-Triples graph · Source and graph manifest
Return to Home.