Applying ontological modeling on quranic "nature" domain | IEEE Conference Publication | IEEE Xplore