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

Librdf dependency causes undefined symbols #11

Open mielvds opened 4 years ago

mielvds commented 4 years ago

Build with librdf seems to fail. Do all librdflibraries need to be preinstalled? And what path changes need to be made to Konclude.pro? I suggest to also expand the readme on this.


Undefined symbols for architecture x86_64:
  "_librdf_free_model", referenced from:
      Konclude::Reasoner::Triples::CRedlandStoredTriplesData::~CRedlandStoredTriplesData() in CRedlandStoredTriplesData.o
  "_librdf_free_node", referenced from:
      Konclude::Parser::CRDFRedlandRaptorParser::parseTriples(QIODevice*, QString const&) in CRDFRedlandRaptorParser.o

...
andreas-steigmiller commented 4 years ago

I’m currently not sure how/whether Konclude can be built with the Redland Libraries on MacOS (it was quite a nightmare on Windows), but in principle all libraries are referenced (i.e., librdf, raptor, and rasqal). At the moment, I recommend to build Konclude without these libraries by using the KoncludeWithoutRedland.pro project file (they are only required if you want to parse ontologies in RDF formats). I will update the readme as soon as I found a Mac, where I can do some experiments. Nevertheless, many thanks for the report.