Home » dev.ikm.puli » owlapi-proof » Used By

OWL API Proof Extension

Extension to the OWL API interfaces to represent and manipulate with proofs.

Artifacts using OWL API Proof Extension (2)
Sort by:Popular▼

1.ELK OWL API Binding3 usages

dev.ikm.elk » elk-owlapi Apache

ELK bindings for OWL API
Last Release on May 13, 2026

2.ELK OWL API V.4 Binding2 usages

dev.ikm.elk » elk-owlapi4 Apache

ELK bindings for OWL API version 4
Last Release on May 3, 2024
  • Prev
  • 1
  • Next