pavor84 / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

Problem with FaCT++ 1.5.2 and OWLlink 1.2.0 #35

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
What steps will reproduce the problem?

1. Running the latest version of OWLlink (1.2.0) with the libraries of FaCT++ 
1.5.2 copied at the right place, as described in the readme file of OWLlink
2. Connecting to the OWLlink server via the Java OWL API (e.g. by calling the 
method OWLReasoner.getIndividuals)

What is the expected output? What do you see instead?

The OWLlink server should respond properly, but I get errors like this (on the 
client side of OWLlink):

OWLlinkErrorResponseException: Unable to register 
'http://example.com/foo#myconcept' as a concept

No error or info is shown on the server side of OWLlink/FaCT++.

What version of the product are you using? On what operating system?

FaCT++ 1.5.2
OWLlink 1.2.0
on Ubuntu 11.04, 32bit

Please provide any additional information below.

It works with OWLlink 1.0.1 and FaCT++ 1.4.0. It also works with OWLlink 1.2.0 
when other reasoners are used like HermiT. So, I assume that it must be a 
problem with FaCT++ version 1.5.x.

Original issue reported on code.google.com by kuhntob...@gmail.com on 1 Jun 2011 at 9:01

GoogleCodeExporter commented 9 years ago
Fixed with a listener fix a week ago.

Original comment by dmitry.t...@gmail.com on 21 Sep 2011 at 4:16