Computational Ontologies for a Semantic Representation of the Islamic Knowledge