Added Python implementation of subsumer.
Renamed the final ontology.
Updated README.md