Reasoner timeouts - reported as failures

[pbuttigieg]

Greetings all,

Checking on the ENVO entry, we noted that the Pellet timeout is reported as a fail. This doesn't seem quite right, wouldn't this be more a "we don't know". So a "?" rather than a star or non-star?

You may also be interested in the OBO Dashboard checks we run on OBO resources.

[yum-yab]

Hi, thanks for your feedback!

I replaced an Error in pellet with a grey ? as you can see here.
In terms of the Star I created this issue to prevent similar problems in the future.
The problem seems to be with pellet, i tried checking the consistency again without any timeout and after roughly 45 min(!) this was the error:

Start loading
Jun 30, 2021 10:33:12 AM org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader addUnsupportedFeature
WARNING: Unsupported axiom: Ignoring triple with unknown property from OWL namespace: http://purl.obolibrary.org/obo/envo.owl @owl:versionIRI http://purl.obolibrary.org/obo/envo/releases/2021-05-14/envo.owl
Finished loading in 00:00:01.107
Input size: Classes = 6568, Properties = 246, Individuals = 44
Expressivity: SRIQ(D)
Start consistency check

Exception: java.lang.OutOfMemoryError thrown from the UncaughtExceptionHandler in thread "Libgraal MBean Registration"

Exception: java.lang.OutOfMemoryError thrown from the UncaughtExceptionHandler in thread "main"

But currently I would not award a star if the measuring tool fails but rather include more/better tools.