Skip to content

v1.0_BACKLOG.md

Exit bar: PROTEGE_PARITY.md — all P0 green before v1.0.0 release.

Dependencies: DEPENDENCY_MATRIX.md · ADR-0016

OntoIndex v1.0 Backlog

Stable Core

  • [ ] Stable catalog API
  • [ ] Stable query API
  • [ ] Stable diagnostics API
  • [ ] Stable semantic diff API
  • [ ] Stable docs API
  • [ ] Stable OWL API (ontoindex-owl)

OWL layer (ADR-0013, ADR-0016)

  • [x] ontoindex-owl crate — horned-owl + patch write-back (v0.4.0; Manchester deferred)
  • [ ] Manchester parse/serialize via horned-functional
  • [ ] Horned-OWL → OntoLogos bridge for ontoindex-reasoner classify input
  • [ ] Axiom round-trip golden tests (Protégé fixtures)
  • [x] Oxigraph ↔ Horned-OWL consistency checks (v0.4.0)
  • [ ] Virtual tables from Horned-OWL: restrictions, equivalent_class_axioms, disjoint_class_axioms, domain_axioms, range_axioms

Format Support

  • [x] Turtle (v0.2)
  • [x] RDF/XML (v0.2)
  • [ ] OWL/XML
  • [x] JSON-LD (v0.2)
  • [x] N-Triples (v0.2)
  • [x] TriG (v0.2)
  • [ ] OBO via fastobo + fastobo-owl (OBO_ROBOT_SPEC.md)

Query

  • [x] SQL virtual tables (v0.2)
  • [x] SPARQL support (v0.2)
  • [ ] ontology helper functions
  • [ ] joins (extend sqlparser virtual tables first; see ADR-0011)
  • [ ] aggregations (same; DataFusion only if triggered)
  • [x] exports (v0.2 CLI)

Diagnostics (DEPENDENCY_MATRIX.md)

  • [x] parse diagnostics (oxigraph errors → LSP) (v0.3)
  • [x] import / prefix diagnostics (catalog rules) (v0.3)
  • [x] annotation / quality diagnostics (in-house lints) (v0.3)
  • [x] diagnostics SQL virtual table (v0.3)
  • [ ] configurable rules
  • [ ] quick fixes

Diff

  • [ ] file / directory diff (Horned-OWL axiom compare)
  • [ ] Git branch diff (git2)
  • [ ] entity diff
  • [ ] axiom diff
  • [ ] breaking change detection
  • [ ] Markdown PR summary

Documentation

  • [ ] Markdown export (pulldown-cmark)
  • [ ] HTML export (minijinja)
  • [ ] entity pages
  • [ ] class hierarchy docs
  • [ ] property docs
  • [ ] diagnostics report

ROBOT interop (OBO_ROBOT_SPEC.md)

  • [ ] ontoindex robot validate
  • [ ] ontoindex robot merge
  • [ ] ontoindex robot report
  • [ ] ontocode.robotPath setting

Reasoning (REASONER_SPEC.md, ADR-0014, ADR-0015)

  • [ ] ontoindex-reasoner crate + ReasonerAdapter trait (thin OntoLogos facade)
  • [ ] Pin ontologos-* = "0.9" — el, rl, rdfs, profile, query, explain
  • [ ] el adapter → ontologos-el (OWL EL)
  • [ ] dl adapter → ontologos-dl (blocked until OntoLogos 1.0.0 crates.io)
  • [ ] Clash-trace explanations via ontologos-explain + ontologos-dl (v1.0)
  • [ ] auto adapter → ontologos-facade (v1.0)
  • [ ] Classification result cache
  • [ ] Golden tests on Protégé-exported fixtures + shared OntoLogos conformance imports

OntoCode v1.0 Backlog

React webview UI (ADR-0017, OntoCode_React_UI_Integration_Plan.md)

  • [ ] extension/webview-ui/ — Vite + React + TypeScript scaffold (v0.7a)
  • [ ] Typed postMessage protocol (extension host ↔ React)
  • [ ] Panel host + CSP nonce framework; build:webview in VSIX pipeline (v0.7a)
  • [ ] Entity inspector on React (v0.7)
  • [ ] Graph visualization panels on React (v0.7)
  • [x] Query workbench on React (v0.8)
  • [x] Manchester editor on React (v0.8)
  • [ ] Reasoner + explanation panels on React (v0.9)
  • [ ] Semantic diff panel on React (v0.9)
  • [ ] Webview integration tests + accessibility review (v1.0)
  • [ ] Remove legacy hand-written HTML webviews (v1.0)

Hybrid authoring (OWL_AUTHORING_SPEC.md)

  • [ ] Quick axiom forms (SubClassOf, domain, range, characteristics)
  • [ ] Manchester axiom editor webview
  • [ ] Turtle preview before apply
  • [ ] Axiom add/remove/edit from inspector
  • [x] Create/edit/delete classes, properties, individuals (v0.4.0 Turtle patches)
  • [ ] Manage imports

Reasoner UX (REASONER_SPEC.md)

  • [ ] Explanation webview with clash-trace justification chain
  • [ ] Asserted/inferred/combined hierarchy toggle
  • [ ] Reasoner profile picker (el / dl / rl / rdfs / auto)
  • [ ] Unsatisfiable class view

OBO/ROBOT UI

  • [ ] OBO syntax highlighting
  • [ ] OBO id rendering in explorer
  • [ ] ROBOT command integration in palette

LSP (SPEC.md §9)

  • [x] hover, go-to-definition, document/workspace symbols (v0.2)
  • [x] diagnostics (v0.3)
  • [ ] completion
  • [x] rename (v0.8)
  • [x] find references (v0.8)
  • [ ] code actions
  • [ ] semantic tokens
  • [x] ontoindex/applyAxiomPatch (v0.4.0)
  • [x] ontoindex/parseManchester (v0.5.0)
  • [x] ontoindex/query, ontoindex/sparql (v0.5.0)
  • [ ] ontoindex/getExplanation

Refactoring

  • [x] Rename IRI (v0.8)
  • [x] Find usages (v0.8)
  • [x] Move entity (v0.8)
  • [x] Extract module (v0.8)
  • [x] Namespace migration (v0.8)
  • [x] Preview refactor (v0.8)

Visualization

  • [ ] Class / property / import / neighborhood graphs (petgraph export → webview)
  • [ ] Inferred edge toggle

Query Workbench

  • [x] SQL editor (v0.5.0)
  • [x] SPARQL editor (v0.5.0)
  • [x] saved queries
  • [x] result export (v0.5.0)
  • [x] query history (v0.5.0)

Collaboration

  • [ ] semantic diff panel
  • [ ] Git branch comparison
  • [ ] PR summary generation
  • [ ] validation report
  • [ ] docs generation

Plugins (PLUGIN_SPEC.md) — P1

  • [ ] Stable plugin API (semver)
  • [ ] Reference: naming validator
  • [ ] Reference: Markdown exporter
  • [ ] Reference: SHACL validator via rudof (SHACL_SPEC.md)

Release

  • [x] VS Code Marketplace package (v0.4.0)
  • [x] documentation site (v0.4.0 — Read the Docs)
  • [ ] examples/protege-roundtrip/ ontology set (fixtures exist; full workflow doc pending)
  • [ ] examples/obo-workflow/ fixture repo
  • [ ] tutorial videos/scripts
  • [ ] migration guide from Protégé (honest parity table)
  • [ ] performance benchmarks doc (large ontology targets)