A meta-logical approach for reasoning with semantic web ontologies | IEEE Conference Publication | IEEE Xplore