A tools environment for developing and reasoning about ontologies | IEEE Conference Publication | IEEE Xplore