Scalable OWL-Horst ontology reasoning using SPARK | IEEE Conference Publication | IEEE Xplore