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
36 stars 5 forks source link

SPARQL example files missing, and command in Readme.md broken #4

Closed jonassmedegaard closed 5 years ago

jonassmedegaard commented 5 years ago

Hi,

I am excited to explore the newly introduced SPARQL interface.

Readme.md contains this:

./Konclude spraqlfile -i Tests/sparql-load-and-query-test.sparql -o Tests/query-answers.xml -c Configs/querying-config.xml

Unfortunately it seems that the example file Tests/sparql-load-and-query-test.sparql is missing.

Also, the (sub)command is sparqlfile (not spraglfile which seems a mere typo).

andreas-steigmiller commented 5 years ago

Many thanks for the pointing out the issues. I will try to fix them tomorrow. We are currently running a lot of tests and evaluations and as soon as everything is/seems stable, we will make a real new release.

andreas-steigmiller commented 5 years ago

Again many thanks for the report. I added some examples and updated the readme.

jonassmedegaard commented 5 years ago

Thanks for improving documentation.

I realize that I bundled two issues into a single report and you seemingly acted on only one of them here. I have therefore separately filed #9 for the still open issue.