semantica/integrations/open_ontologies · sema/semantica

GGitHubVerified RDF export: integrations/open_ontologies (#1108) (#1166)

文件	最后提交记录	最后更新时间
__init__.py	Verified RDF export: integrations/open_ontologies (#1108) (#1166) Adds `integrations/open_ontologies`, which registers a "verified" export method through Semantica's `method_registry` (#1108). Nothing in the core exporters is modified, and the verification gate is opt-in per call. The method performs standard RDF export via `RDFExporter`, then passes the written bytes to an independent Oxigraph-backed engine before the file is trusted. Validation runs in three ordered stages: 1. Strict RDF 1.1 syntax validation. 2. Closed-world vocabulary checking against declared ontologies and policed namespaces. 3. SHACL constraint validation with focus-node auditing to catch vacuous passes. Review feedback addressed in #1166: - Exception safety: Unverified files are unlinked if verification raises an exception when `raise_on_failure=True`, guaranteeing no unsound artifacts remain. - Encoding alignment: `verified_export_rdf` honors caller-specified `encoding`, preventing read-back decode errors on non-UTF-8 workflows. - Vocabulary gating: Enforced that both `ontology` and `policed_namespaces` are provided; partial configurations skip the check rather than passing against empty strings. - Version floor: Aligned integration docstrings with `open-ontologies-lite >= 0.5.0` (isolating `mcp` to prevent dependency conflicts with FastAPI). - Test fixtures: Updated `UNSOUND` fixture to test malformed IRIs against recent Turtle IRI normalization changes on `main`. Tests: - 12 unit and regression tests in `tests/integrations/open_ontologies/`, all passing. - Skips cleanly when `open-ontologies-lite` is not installed. --------- Co-authored-by: Zohaib Hassnain <109234410+ZohaibHassan16@users.noreply.github.com>	18 天前
verify.py	Verified RDF export: integrations/open_ontologies (#1108) (#1166) Adds `integrations/open_ontologies`, which registers a "verified" export method through Semantica's `method_registry` (#1108). Nothing in the core exporters is modified, and the verification gate is opt-in per call. The method performs standard RDF export via `RDFExporter`, then passes the written bytes to an independent Oxigraph-backed engine before the file is trusted. Validation runs in three ordered stages: 1. Strict RDF 1.1 syntax validation. 2. Closed-world vocabulary checking against declared ontologies and policed namespaces. 3. SHACL constraint validation with focus-node auditing to catch vacuous passes. Review feedback addressed in #1166: - Exception safety: Unverified files are unlinked if verification raises an exception when `raise_on_failure=True`, guaranteeing no unsound artifacts remain. - Encoding alignment: `verified_export_rdf` honors caller-specified `encoding`, preventing read-back decode errors on non-UTF-8 workflows. - Vocabulary gating: Enforced that both `ontology` and `policed_namespaces` are provided; partial configurations skip the check rather than passing against empty strings. - Version floor: Aligned integration docstrings with `open-ontologies-lite >= 0.5.0` (isolating `mcp` to prevent dependency conflicts with FastAPI). - Test fixtures: Updated `UNSOUND` fixture to test malformed IRIs against recent Turtle IRI normalization changes on `main`. Tests: - 12 unit and regression tests in `tests/integrations/open_ontologies/`, all passing. - Skips cleanly when `open-ontologies-lite` is not installed. --------- Co-authored-by: Zohaib Hassnain <109234410+ZohaibHassan16@users.noreply.github.com>	18 天前