search

dbpedia / archivo

DBpedia Archivo - Augmented Ontology Archive powered by Databus
https://archivo.dbpedia.org/
GNU Affero General Public License v3.0
20 stars 6 forks source link

Reasoner timeouts - reported as failures #14

Open pbuttigieg opened 3 years ago

pbuttigieg commented 3 years ago

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 commented 3 years ago

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.