Closed eugenk closed 8 years ago
@cmaeder, could you please have a look at this one? Maybe you can solve it very easily...
Christian solved this already, see https://github.com/spechub/Hets/pull/1534
Yes, works fine for me with master
maeder@lati:~/Hets$ ./hets -o xml --full-signatures -a none -v2 -O /tmp/ --full-theories -A --input-type=dol https://raw.githubusercontent.com/ontohub/ontohub/staging/spec/fixtures/ontologies/dol/reference.dol -v5
Options: --verbose=7 --hets-libdirs=/home/maeder/Hets-lib:/local/maeder/twelf-r1687 --encoding=utf8 --full-signatures --full-theories --input-type=dol --output-dir=/tmp/ --output-types=xml --apply-automatic-rule --casl-amalg=none https://raw.githubusercontent.com/ontohub/ontohub/staging/spec/fixtures/ontologies/dol/reference.dol
Processing input: https://raw.githubusercontent.com/ontohub/ontohub/staging/spec/fixtures/ontologies/dol/reference.dol
downloading https://raw.githubusercontent.com/ontohub/ontohub/staging/spec/fixtures/ontologies/dol/reference.dol
downloading https://raw.githubusercontent.com/ontohub/ontohub/staging/spec/fixtures/ontologies/dol/reference.dol
### Hint: mime-encoding: us-ascii
### Hint:
cc569fc491de41eda8100d0e34216f96305d2bc43a4c6ff790445b534d814c07 /tmp/hets-file3687.tmp
Reading file https://raw.githubusercontent.com/ontohub/ontohub/staging/spec/fixtures/ontologies/dol/reference.dol
Analyzing file https://raw.githubusercontent.com/ontohub/ontohub/staging/spec/fixtures/ontologies/dol/reference.dol as library reference
Downloading <https://github.com/ontohub/ontohub/raw/staging/spec/fixtures/ontologies/owl/features.owl> ...
downloading https://github.com/ontohub/ontohub/raw/staging/spec/fixtures/ontologies/owl/features.owl
### Hint: mime-encoding: us-ascii
### Hint:
db5f4763d12aa9fbf61fa03d4c8860bd9cc0c532460cdad749b7a6fcf6aa8dae /tmp/hets-file3687.tmp
Reading file https://github.com/ontohub/ontohub/raw/staging/spec/fixtures/ontologies/owl/features.owl
Analyzing library <https://ontohub.org/fois-ontology-competition/FormalCAD/features.owl>
logic OWL
Analyzing spec <https://ontohub.org/fois-ontology-competition/FormalCAD/features.owl>
Current OutDir: /tmp/
... loaded <https://github.com/ontohub/ontohub/raw/staging/spec/fixtures/ontologies/owl/features.owl>
https://raw.githubusercontent.com/ontohub/ontohub/staging/spec/fixtures/ontologies/dol/reference.dol:8.2-8.19:
### Warning:
<https://github.com/ontohub/ontohub/raw/staging/spec/fixtures/ontologies/owl/features.owl> does not match internal name <https://ontohub.org/fois-ontology-competition/FormalCAD/features.owl>
logic OWL
Analyzing spec reference?Features
Current OutDir: /tmp/
Writing file: /tmp/reference.xml
Sublogic of reference?Features: OWL.RL-RI-D|double|
Sublogic of <https://github.com/ontohub/ontohub/raw/staging/spec/fixtures/ontologies/owl/features.owl>: OWL.RL-RI-D|double|
results in
Note the
--input-type=dol
. Then, Hets seems to try to parse the imported OWL file as DOL.