Hi there
Hermit gets stuck when reasoning on an ontology from owlready2 (lauched by sync()), while it does not get stuck (nor does Pellet) when reasoning on the same ontology from Protege.
In owlready it seems to complain about time (see bold bit of trace below).
Any idea why?
Please note: it is all running in wsl in a docker container...
Not sure that may be creating issues, at face value that does not seem to be the problem though.
KR, Jos
* Owlready2 * Running HermiT...
-v1 | java -Xmx2000M -cp /usr/local/lib/python3.11/site-packages/owlready2/hermit:/usr/local/lib/python3.11/site-packages/owlready2/hermit/HermiT.jar org.semanticweb.HermiT.cli.CommandLine -c -O -D -I file:////tmp/tmpg0kb7cnz
-v1 | Traceback (most recent call last):
-v1 | File "/usr/local/lib/python3.11/site-packages/owlready2/reasoning.py", line 149, in sync_reasoner_hermit
-v1 | output = subprocess.check_output(command, stderr = subprocess.STDOUT, **_subprocess_kargs)
-v1 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-v1 | File "/usr/local/lib/python3.11/subprocess.py", line 465, in check_output
-v1 | return run(*popenargs, stdout=PIPE, timeout=timeout, check=True,
-v1 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-v1 | File "/usr/local/lib/python3.11/subprocess.py", line 569, in run
-v1 | raise CalledProcessError(retcode, process.args,
-v1 | subprocess.CalledProcessError: Command '['java', '-Xmx2000M', '-cp', '/usr/local/lib/python3.11/site-packages/owlready2/hermit:/usr/local/lib/python3.11/site-packages/owlready2/hermit/HermiT.jar', 'org.semanticweb.HermiT.cli.CommandLine', '-c', '-O', '-D', '-I', 'file:////tmp/tmpg0kb7cnz']' returned non-zero exit status 1.
-v1 |
-v1 | During handling of the above exception, another exception occurred:
-v1 |
-v1 |
Traceback (most recent call last):
-v1 | File "v10.py", line 41, in <module>
-v1 | sync_reasoner()
-v1 | File "/usr/local/lib/python3.11/site-packages/owlready2/reasoning.py", line 154, in sync_reasoner_hermit
-v1 | raise OwlReadyJavaError("Java error message is:\n%s" % _decode(e.stderr or e.output or b""))
-v1 | owlready2.base.OwlReadyJavaError: Java error message is:
-v1 | Exception in thread "main" org.semanticweb.HermiT.datatypes.UnsupportedDatatypeException: HermiT supports all and only the datatypes of the OWL 2 datatype map, see
-v1 | http://www.w3.org/TR/owl2-syntax/#Datatype_Maps.
-v1 | The datatype 'http://www.w3.org/2001/XMLSchema#time' is not part of the OWL 2 datatype map and
-v1 | no custom datatype definition is given;
-v1 | therefore, HermiT cannot handle this datatype.-v1 | at org.semanticweb.HermiT.datatypes.DatatypeRegistry.getDatatypeHandlerFor(Unknown Source)
Locked
