Quranic-based concepts: Verse relations extraction using Manchester OWL syntax | IEEE Conference Publication | IEEE Xplore