--------------
RDFS inference
--------------

slide 32 example from https://www.slideshare.net/PatHayes/blogic-iswc-2009-invited-talk
