Alcides Lopes

icon location I'm currently a Ph.D. candidate in Computer Science at Universidade Federal do Rio Grande do Sul

Results 1 issues of Alcides Lopes

Reasoning error when using HermiT on Protege

### AgrO term http://purl.obolibrary.org/obo/AGRO_00000325 ### Bug/Typo/Error description The HermiT Reasoner is prompting the following error in Protege: `ERROR 16:06:39 An error occurred during reasoning: Non-simple property '' or its inverse...

bug