Ontology semantic approach to extraction of knowledge from Holy Quran | IEEE Conference Publication | IEEE Xplore