A Flexible Partitioning Tool for Large Ontologies | IEEE Conference Publication | IEEE Xplore