Architecture Decision Records¶

Parsing / triple store: Oxigraph ( ADR-0003 )
SQL-like queries: sqlparser + virtual tables ( ADR-0011 )
Editor integration: LSP stdio ( ADR-0007 )
LSP wire format: snake_case enums ( ADR-0012 )

Canonical ADRs live in this directory. The former adrs/ folder was merged here; do not add duplicate ADR trees.

Index¶

ADR	Title	Status
0001	Use Rust for OntoIndex	Accepted
0002	Use Horned-OWL for OWL modeling	Superseded by ADR-0013 (v0.4b+)
0003	Use Oxigraph	Accepted
0004	Use DataFusion for SQL	Superseded (v0.2 uses sqlparser virtual tables)
0005	Local-first by default	Accepted
0006	Patch-based write-back	Accepted (v0.4.0)
0007	Language server boundary	Accepted
0008	Reasoner adapters	Accepted (v0.6)
0009	Semantic diff as core feature	Accepted (v0.9)
0010	AI features opt-in	Accepted (planned)
0011	Use sqlparser for SQL virtual tables	Accepted
0012	LSP JSON snake_case enums	Accepted
0013	Dual stack Oxigraph + Horned-OWL	Accepted (v0.4.0)
0014	Rust-native reasoners only (no JVM)	Accepted
0015	Adopt OntoLogos as reasoner backend	Accepted
0016	Dependency-first implementation	Accepted
0017	Adopt React for VS Code webview panels	Accepted (planned v0.7a+)

Diagnostics: in-house ontoindex-diagnostics + Oxigraph parse errors (ADR-0016, DEPENDENCY_MATRIX.md)
LSP: textDocument/publishDiagnostics after reindex; CatalogSnapshot.diagnostics

Dependency policy: DEPENDENCY_MATRIX.md, ADR-0016
OWL modeling / write-back: horned-owl + horned-functional via ontoindex-owl (ADR-0013)
Reasoning: OntoLogos via ontoindex-reasoner — 0.9.0 at v0.6, 1.0.0 at v1.0 (ADR-0014, ADR-0015)
Webview UI: React + Vite in extension/webview-ui (ADR-0017)
OBO: fastobo / fastobo-owl (DEPENDENCY_MATRIX.md)
SHACL (P1): rudof (SHACL_SPEC.md)
Exit bar: PROTEGE_PARITY.md

Horned-OWL and DataFusion ADRs remain for historical context; v1.0 uses Oxigraph + Horned-OWL + sqlparser per ADR-0013 and ADR-0011.