Moved the parsing of statements to kb.py
Supports loading of RDF/OWL/... ontologies via RDFlib

Blank nodes are ignored
[minor] Log the number of statements added by the reasoner