OWL API 3 support is incomplete
Original issue 24 created by dtsarkov on 2010-02-25T18:05:13.000Z:
need to add Top/Bot properties to the reasoner, JNI interface for the timeout settings and configuration options parsing
Comments (8)
-
reporter -
reporter Comment [
#2](https://code.google.com/p/factplusplus/issues/detail?id=24#c2) originally posted by dtsarkov on 2011-09-13T15:14:39.000Z: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.
-
reporter Comment [
#3](https://code.google.com/p/factplusplus/issues/detail?id=24#c3) originally posted by dtsarkov on 2012-05-10T17:01:58.000Z:Fixed long ago
-
reporter Comment [
#4](https://code.google.com/p/factplusplus/issues/detail?id=24#c4) originally posted by dtsarkov on 2012-07-30T17:51:24.000Z: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. 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)
-
reporter Comment [
#5](https://code.google.com/p/factplusplus/issues/detail?id=24#c5) originally posted by dtsarkov on 2012-07-30T18:06:49.000Z: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)
-
reporter Comment #6 originally posted by dtsarkov on 2015-04-09T09:57:30.000Z:
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
-
reporter Comment #7 originally posted by dtsarkov on 2015-04-09T10:00:51.000Z:
I need to have a look into the issue. Do you have a small piece of code and ontology that reproduces this error?
-
reporter - changed status to on hold
- Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=24#c1) originally posted by dtsarkov on 2011-06-10T12:14:44.000Z: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 ---