Building fuzzy hybrid Horn logic rules on top of ontologies | IEEE Conference Publication | IEEE Xplore