Till Mossakowski

uploading a file causes error

3

when uploading a file in the file browser, I get ``` Rugged::OSError in FilesController#create Failed to rename lockfile to '/data/git/repositories/220/objects/1b/af1df963b85cfa74c10c568b2018c69f7a3818': Permission denied Rails.root: /local/home/ontohub/webapp Application Trace | Framework Trace |...

when I enter https://ontohub.org/sandbox/Fam , I get redirected to https://ontohub.org/sandbox/Fam///children However, I would like to have an IRI without ///, in order to use it in other ontologies.

When I change an ontology, ontohub deletes all its proof attempts and their settings. After all, in general they have become invalid. However, ontohub should try to transfer all these...

e.g. https://ontohub.org/repositories/essli_2016/9cf10ce1ea2e43d15b834e953256b8055e487b0c/diff

CASL overloading not possible

5

When I upload ``` spec Nat = sorts Pos < Nat ops 1:Pos; 1:Nat end ``` I get ``` The name "1" of the symbol is ambiguous. It is already...

choose from existing licence models

3

at http://develop.ontohub.org/repositories/default/ontologies/5/license_models , I can only create new licence models, although there are plenty of licence models in the database

class hierarchy not displayed for OWL ontologies in DOL files

5

see https://ontohub.org/repositories/sandbox/ontologies/10287/entities?kind=Class

large repository is not properly analysed

3

In http://staging.ontohub.org/casl-um-from-git, I cloned (by chance) the whole Hets-lib repository, which is quite large. 21 ontologies are indefinitely pending, see http://staging.ontohub.org/repositories/casl-um-from-git/errors. Most ontologies have not been even queued for analysis...

sentence translation is done by string replacement

2

see https://ontohub.org/coinvent_meeting/house%20boat-new//boat_house///axioms?all=true the signature morphism `p|->a` causes `Types` to be renamed `Tyaes`, which is nonsense. Only signature symbols should be replaced.

If `test.owl` already exists in the repo and I use the upload button to upload `test.casl`, then `test.casl` won't be analysed. The user should be warned that this is a...