[core] Change reasoner timeout API

[irina-dragoste]

Currently, the reasoning timeout can be set in infterface Reasoner, method void setReasoningTimeout(@Nullable Integer seconds). The timeout is currently an Integervalue in seconds, and the default null value represents no reasoning timeout.

To be consistent with OWLReasonerConfiguration timeout ([getTimeOut()](http://soft.vub.ac.be/svn-pub/PlatformKit/platformkit-kb-owlapi3-doc/doc/owlapi3/javadoc/org/semanticweb/owlapi/reasoner/OWLReasonerConfiguration.html#getTimeOut())), we want to change method Reasoner#void setReasoningTimeout(@Nullable Integer seconds) to have:

• longprimitive value instead of Integervalue
  • miliseconds unit of measure, instead of seconds
  • Long.MAX_VALUE the value for which the reasoner DOES NOT timeout, instead of null.
  • A TimeOutException will be thrown in the thread that invoked the last reasoner operation.

The new method signature should be: Reasoner#void setReasoningTimeout(long miliseconds)

There should also be getter for the timeout: Reasoner#long getReasoningTimeout()

[shade-belisar]

If nobody is working on this I would assign myself.

[irina-dragoste]

If nobody is working on this I would assign myself.

I am not sure we want to implement this in the near future. It also requires changes in VLog. Will let you know when this task becomes available.