finished off functionality of ontology for now
added a quick test script to makefile
contract programming for ontology