Text this: A Model-based Semantic Network for Smart Representation and the Inference of Islamic Law