Yves Teissier - 2017-09-27

Hi,

I'm trying to build an application using OWPCPP and the FaCT++ reasoner.
During the link step I have the following error :

libowlcpp_logic.so : undefined reference to « vtable for TIndividual »

I suspect the Save and Load method to not be implemented.

I'm trying to find an example of application using owpcpp and fact++ by without success.

Anyone have an idea ?

BR,
Yves Teissier