Herman J. ter Horst Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. 79-115 2005 3 J. Web Sem. 2-3 http://dx.doi.org/10.1016/j.websem.2005.06.001 db/journals/ws/ws3.html#Horst05