1. Dmitry Tsarkov Avatar Dmitry Tsarkov
  2. Untitled project
  3. factplusplus
  4. Issues

OWL API 3 support is incomplete

Issue #24 on hold
Dmitry Tsarkov repo owner created an issue

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)

  1. Dmitry Tsarkov reporter

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

  2. Dmitry Tsarkov 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.

  4. Dmitry Tsarkov 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)

  5. Dmitry Tsarkov 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)

  6. Dmitry Tsarkov 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

  7. Dmitry Tsarkov 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?

  9. Log in to comment
Assignee
Type
enhancement
Priority
minor
Status
on hold
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!