Search results

How to use Konclude for modal logic reasoning?

Status: Open.

#25 In konclude/Konclude;

· cormackikkert opened on Jul 12, 2023

SPARQL-query for all pairs of subclasses and superclasses returns no body

Status: Open.

#23 In konclude/Konclude;

· mrnolte opened on Apr 11, 2022

Konclude SPARQL not understanding owl:Class

Status: Open.

#22 In konclude/Konclude;

· mrnolte opened on Apr 11, 2022

Konclude crashes on example SPARQL

Status: Open.

#21 In konclude/Konclude;

· mrnolte opened on Apr 8, 2022

Konclude not seeing pigeonhole principle

Status: Open.

#19 In konclude/Konclude;

· mpomarlan opened on Apr 5, 2022

Librdf dependency causes undefined symbols

Status: Open.

#11 In konclude/Konclude;

· mielvds opened on Oct 16, 2019

some (sub)commands hang since v0.6.2-927

Status: Open.

#7 In konclude/Konclude;

· jonassmedegaard opened on Oct 9, 2019

implicitly enables seemingly unneeded Qt GUI

Status: Open.

#6 In konclude/Konclude;

· jonassmedegaard opened on Oct 9, 2019