Parser and reasoner
Merge branch 'master' of https://github.com/ermoso5/Software-Package-ontology-reasoner