-------------
OWL inference
-------------

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