http://owl.cs.manchester.ac.uk/tools/list-of-reasoners/
https://en.wikipedia.org/wiki/Semantic_reasoner