OWL API 3 support is incomplete

[GoogleCodeExporter]

need to add Top/Bot properties to the reasoner, JNI interface for the
timeout settings and configuration options parsing

Original issue reported on code.google.com by dmitry.t...@gmail.com on 25 Feb 2010 at 6:05

[GoogleCodeExporter]

Does this also include full implementation of OWLOntologyChangeListener? When I 
reason over an ontology, add a few individuals and associated axioms via the 
OWL API, flush, and then ask for the types of those individuals, I get the 
error:

Exception in thread "main" 
org.semanticweb.owlapi.reasoner.ReasonerInternalException: Unable to register 
'.....' as a individual"

Also, is it likely that reasoning over these incremental changes would be any 
faster than just re-classifying the ontology?

Thanks ---

Original comment by lee.mich...@gmail.com on 10 Jun 2011 at 12:14

[GoogleCodeExporter]

Timeout setting is done.

>Does this also include full implementation of OWLOntologyChangeListener? When 
I reason over an ontology, add a few individuals and associated axioms via the 
OWL API, flush, and then ask for the types of those individuals, I get the 
error:

Exception in thread "main" 
org.semanticweb.owlapi.reasoner.ReasonerInternalException: Unable to register 
'.....' as a individual"

Done now.

Incremental reasoning is not in the plans at the moment, as the project I'm 
working for is not depending on it.

Original comment by dmitry.t...@gmail.com on 13 Sep 2011 at 3:14

[GoogleCodeExporter]

Fixed long ago

Original comment by dmitry.t...@gmail.com on 10 May 2012 at 5:01

• Changed state: Fixed

[GoogleCodeExporter]

[deleted comment]

[GoogleCodeExporter]

Hello, I just got this error while trying to get Types() of an individual [ 
reasoner.getTypes()]in my online GWT project which uses OWL API 3.2.3 and 
FaCTpp-OWLAPI-3.2-v1.5.2.jar on the server side. These are the lines of code 
that fire the error:

"reasoner.flush();
NodeSet<OWLClass> parentClassesofPatient = 
reasoner.getTypes((OWLNamedIndividual) ontologypatient, false); "

I am copying the error below, any ideas?

Error:
Caused by: org.semanticweb.owlapi.reasoner.ReasonerInternalException: Unable to 
register 
'http://www.semanticweb.org/ontologies/2011/3/LUCADAOntology.owl#P30071201' as 
a individual
    at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.askIndividualTypes(Native Method)
    at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.getTypes(Unknown Source)
    at com.server.OntologyWorker.createArguments(OntologyWorker.java:2261)
    at com.server.LungSmartServiceImpl.createPatient(LungSmartServiceImpl.java:122)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
    at java.lang.reflect.Method.invoke(Unknown Source)
    at com.google.gwt.user.server.rpc.RPC.invokeAndEncodeResponse(RPC.java:569)

Original comment by berkan.s...@googlemail.com on 30 Jul 2012 at 6:06

[GoogleCodeExporter]

Hi,

Is it possible that this issue occurs again in version 1.6.3? (I also tested 
with 1.6.1 and 1.6.2 which seem to give the same results.)
I'm adding axioms to the ontology, invoking the flush-method and upon asking 
for the individual type (reasoner.getTypes) the above error occurs(Unable to 
register '..' as an individual).

Kind regards,
Pieter

Original comment by pbo...@intec.ugent.be on 9 Apr 2015 at 9:57

[GoogleCodeExporter]

I need to have a look into the issue. Do you have a small piece of code and 
ontology that reproduces this error?

Original comment by dmitry.t...@gmail.com on 9 Apr 2015 at 10:00

• Changed state: New