Protégé Parity Matrix (v1.0.0)
Canonical exit bar for v1.0.0. All P0 items must be green before release.
See ROADMAP.md v1.0 and PLAN.md §4.
Dependencies: DEPENDENCY_MATRIX.md
Tier definitions
| Tier |
Meaning |
| P0 — v1.0 blocker |
Must ship; v1.0 cannot release without green |
| P1 — v1.0 target |
Expected at launch; documented known gaps if slipped |
| P2 — post-1.0 |
Explicitly out of v1.0 scope |
P0 — v1.0 blockers
OWL 2 DL authoring (hybrid UX)
| Item |
Spec |
Dependency |
v0.4 |
| Quick forms: labels, comments, deprecated |
OWL_AUTHORING_SPEC.md |
horned-owl |
Yes (Turtle, v0.4) |
Quick forms: SubClassOf, domain, range, property characteristics |
OWL_AUTHORING_SPEC.md |
horned-owl |
Partial (SubClassOf named parent only) |
| Manchester editor for complex class expressions |
OWL_AUTHORING_SPEC.md |
horned-functional |
MVP (v0.5) |
Axiom types: SubClassOf, EquivalentClasses, DisjointClasses |
OWL_AUTHORING_SPEC.md |
horned-owl |
Partial (extract + edit; disjoint v0.8) |
| Object/data property domain, range, characteristics |
OWL_AUTHORING_SPEC.md |
horned-owl |
Partial (extract only) |
| Class/object/data property assertions on individuals |
OWL_AUTHORING_SPEC.md |
horned-owl |
Partial (create individual) |
| Annotation assertions |
OWL_AUTHORING_SPEC.md |
horned-owl |
Partial (labels/comments) |
| Horned-OWL manipulation layer + round-trip tests |
ADR-0013 |
horned-owl, horned-functional |
Yes (Turtle catalog + consistency tests) |
| Patch-based write-back from OWL objects |
ADR-0006 |
in-house patches |
Yes (Turtle, v0.4) |
Reasoning (Rust-native — ADR-0014)
| Item |
Spec |
Dependency |
v0.6 |
el adapter (OWL EL) |
REASONER_SPEC.md |
OntoLogos ontologos-el |
Yes |
rl / rdfs adapters |
REASONER_SPEC.md |
OntoLogos ontologos-rl, ontologos-rdfs |
Yes |
dl adapter (OWL 2 DL classification + consistency) |
REASONER_SPEC.md |
OntoLogos ontologos-dl 1.0.0 |
No (stub) |
| Unsatisfiable class reporting |
REASONER_SPEC.md |
OntoLogos |
Yes |
| Real unsatisfiability explanations (clash-trace justification) |
REASONER_SPEC.md |
ontologos-explain + ontologos-dl |
Partial (EL-first) |
| Asserted / inferred / combined hierarchy toggle |
REASONER_SPEC.md |
OntoLogos |
Yes |
| Consistency check |
REASONER_SPEC.md |
OntoLogos |
Yes |
| Zero JVM / Java dependency for reasoning |
ADR-0014 |
— |
Yes |
Editor & LSP
OBO & biomedical
P1 — v1.0 targets
P2 — post-1.0
| Item |
Notes |
| WebProtégé / collaborative editing |
PLAN.md §9 non-goal |
| Full SWRL authoring |
|
| Protégé plugin compatibility |
|
| Protégé-scale plugin marketplace |
v1.0 ships API + reference plugins only |
| Reimplementing ROBOT |
Interop only per OBO_ROBOT_SPEC.md |
Honest scope statement
“Compete with Protégé” at v1.0 means:
- Primary IDE for Git-native ontology engineering (general OWL 2 DL + OBO maintenance).
- Hybrid authoring (forms + Manchester) and real reasoning match Protégé’s core loop.
- Git semantic diff, CI, and VS Code integration exceed Protégé.
It does not mean:
- Every Protégé tutorial works unchanged.
- SWRL authoring, WebProtégé, or the full Protégé plugin catalog.
- Bit-for-bit identical results to HermiT on every ontology (Rust DL engine is test-validated, not JVM-cross-checked).
v1.0 exit criterion
Daily ontology engineering (OWL 2 DL + OBO maintenance) is completable in VS Code.
Protégé is required only for P2 features listed above.
Track implementation in v1.0_BACKLOG.md.