The intent of this was to have a simple way of having one function syntax axiom per line. Currently the owlapi parser expects the syntax to be Ontology, not Axiom. Should it?
The current behavior also brings up unspecified behavior - e.g what happens if the ontology header or IRI does not match?
The intent of this was to have a simple way of having one function syntax axiom per line. Currently the owlapi parser expects the syntax to be Ontology, not Axiom. Should it?
The current behavior also brings up unspecified behavior - e.g what happens if the ontology header or IRI does not match?