Mabrouk, A. A Model-Based Semantic Network for Smart Representation and the Inference of Islamic Law. AJIS 2017, 33, 48-76.