Rework OWL/RDFS semantics into (non-)goal rules.
Merge branch 'master' of https://github.com/mit-dig/air-reasoner
Remove broken stuff