owl-dl-cli 0.4.38

Command-line interface for the rustdl OWL DL reasoner
1
2
3
4

Prefix(:=<http://ex/#>)
Ontology(<http://ex/>
  Declaration(Class(:A)) Declaration(Class(:B))
  SubClassOf(:B :A))