A Meta-Logical Approach for Reasoning with an OWL 2 Ontology | IEEE Conference Publication | IEEE Xplore