Parser: axioms and expressions used by the tambis ontology
OWL: minor changes