search

konclude / Konclude

Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
http://konclude.com
35 stars 4 forks source link

warning with complex rasqal query: assertion failed: object pointer of type librdf_statement is NULL #13

Closed jonassmedegaard closed 4 years ago

jonassmedegaard commented 4 years ago

When I test Tests/lubm-univ-bench-sparql-load-and-complex-query-rasqal-test.sparql I get warnings on stderr:

rdf_model.c:1527: (librdf_model_find_statements_in_context) assertion failed: object pointer of type librdf_statement is NULL.
rdf_model.c:1527: (librdf_model_find_statements_in_context) assertion failed: object pointer of type librdf_statement is NULL.
andreas-steigmiller commented 4 years ago

Many thanks for reporting the error. I set the librdf_statement to NULL since it was not required for Konclude, which worked quite well on Windows, but apparently not on Linux. I will try to push a small update within the next hours that should resolve the issue.

jonassmedegaard commented 4 years ago

That was quick. Thanks!

I can confirm that it works now.