Fixing my ontology logic mistakes