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

SPARQL example files missing #9

Closed jonassmedegaard closed 4 years ago

jonassmedegaard commented 4 years ago

The following files, mentioned (since git commit 7991161) in both Readme.mdand help output, is missing from the project:

andreas-steigmiller commented 4 years ago

They should be there since git commit 2ebb5b4 (but they were indeed missing in commit 7991161). Sorry for the inconvenience.

jonassmedegaard commented 4 years ago

Quoting andreas-steigmiller (2019-10-09 20:36:13)

They should be there since git commit 2ebb5b4 (but they were indeed missing in commit 7991161).

Excellent. Thanks!

--