A Novel Combination of Reasoners for Ontology Classification | IEEE Conference Publication | IEEE Xplore