Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules