What OFBT does
OWL 2 DL is the standard for ontologies. It's powerful but limited — and the standard practice when those limits hit is to silently drop axioms or quietly synthesize wrong ones. OFBT refuses both. The translator maintains a synchronized representation in OWL and First-Order Logic, projects between them according to declared fidelity contracts, and emits machine-readable audit artifacts (Loss Signature, Recovery Payload, Projection Manifest) for every axiom that cannot survive a round trip cleanly.
Per-phase demos
Each phase ships its own demo file. These are intentionally disposable — they capture what the implementation supports at the time of that phase's exit, not the final shape of the API. Earlier demos remain accessible as historical artifacts of the build sequence.
- Phase 1. Built-in OWL lifter. View demo →
- Phase 2. Built-in OWL projector + structural round-trip parity (spec §8.1). View demo →
- Phase 3. Validator + evaluation + consistency check + No-Collapse Guarantee. View demo →
- Phase 4. BFO 2020 core ARC module. (Demo lands at Phase 4 exit.)
- Phase 5. IAO information-bridge ARC module. (Demo lands at Phase 5 exit.)
- Phase 6. CCO realizable-holding + mereotopology ARC modules. (Demo lands at Phase 6 exit.)
- Phase 7. OFI deontic ARC module + compatibility shim. (Demo lands at Phase 7 exit.)
About these demos
The demos are corpus-driven: every demo input is an actual fixture from the project's test corpus. The demo runs the same lifter the test suite runs, against the same input, and shows the same output. There is no demo-only logic and no parallel demo code path. If a demo run produces output that contradicts the corresponding fixture's expectedFOL, the test suite would catch it on the next CI run.
The demos do not demonstrate capabilities the corresponding phase has not yet shipped. The Phase 1 demo shows lifting only. Structural round-trip parity (Phase 2 — content equivalence at the lifted-FOL level per spec §8.1), consistency checking (Phase 3), and ARC-content-driven inference (Phases 4+) appear in their respective phases' demos.