ontology and lexical axioms