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

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 ---

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.

Fixed long ago

Comment deleted

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 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)

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

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