NCBO-171 owlapi wrapper with structural reasoning