Modularizing OWL Ontologies Using $E^{DDL} _{HQ^+}$ $\mathcal{SHIQ}$ | IEEE Conference Publication | IEEE Xplore