Axiomatic Formal Ontology | EKB DL