konclude Konclude issues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

How to use Konclude for modal logic reasoning?

#25 cormackikkert opened 11 months ago
7
Test for null concept pointer in subclass basic query generation

#24 mpomarlan closed 2 years ago
1
SPARQL-query for all pairs of subclasses and superclasses returns no body

#23 mrnolte opened 2 years ago
1
Konclude SPARQL not understanding owl:Class

#22 mrnolte opened 2 years ago
2
Konclude crashes on example SPARQL

#21 mrnolte opened 2 years ago
1
Konclude crashes on OWLlink GetSubClasses

#20 mrnolte closed 1 year ago
4
Konclude not seeing pigeonhole principle

#19 mpomarlan opened 2 years ago
8
classify using data property values?

#18 wdduncan closed 2 years ago
1
libpcre.so.3 dependency error on CentOS

#17 mileswhen closed 2 years ago
2
switching to gcc-9 for travis

#16 konclude closed 3 years ago
0
Fixed macos library dependencies

#15 konclude closed 3 years ago
0
MacOS Qt5 travis fix

#14 konclude closed 3 years ago
0
warning with complex rasqal query: assertion failed: object pointer of type librdf_statement is NULL

#13 jonassmedegaard closed 4 years ago
2
Build without Redland libraries fails on moc_predefs.h

#12 mielvds closed 4 years ago
2
Librdf dependency causes undefined symbols

#11 mielvds opened 4 years ago
1
Build failed Konclude on OSX 10.13.6 (High Sierra)

#10 mielvds closed 4 years ago
2
SPARQL example files missing

#9 jonassmedegaard closed 4 years ago
2
(sub)commands randomly does nothing

#8 jonassmedegaard closed 4 years ago
3
some (sub)commands hang since v0.6.2-927

#7 jonassmedegaard opened 4 years ago
0
implicitly enables seemingly unneeded Qt GUI

#6 jonassmedegaard opened 4 years ago
1
Fails to build: error: converting to 'bool' from 'std::nullptr_t' requires direct-initialization [-fpermissive]

#5 jonassmedegaard closed 4 years ago
3
SPARQL example files missing, and command in Readme.md broken

#4 jonassmedegaard closed 4 years ago
3
Few files lack licensing

#3 jonassmedegaard closed 4 years ago
0
Few files licensed as LGPL-2.1 (not GPL-3 as most other files)

#2 jonassmedegaard closed 4 years ago
0
License wrongly abbreviated as LGPL (should be GPL)

#1 jonassmedegaard closed 4 years ago
4