Laera, et al.. Sweetprolog: A System to Integrate Ontologies and Rules. Springer Berlin Heidelberg, 2004, doi:10.1007/978-3-540-30504-0_15.