A scalable ontology reasoner via incremental materialization | IEEE Conference Publication | IEEE Xplore