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)) Declaration(NamedIndividual(:x))
  DisjointClasses(:A :B) ClassAssertion(:A :x) ClassAssertion(:B :x))