Till Mossakowski

no sentences are displayed

6

in https://ontohub.org/repositories/sandbox/ontologies/4651/sentences?all=true no sentences at all are displayed. But there are sentences in the ontology. Edit (by @eugenk): The locid-URL is https://ontohub.org/sandbox/pizza///axioms?all=true

Parsing error "end of file reached"

4

see http://develop.ontohub.org/repositories/casl-um/ontologies/499/versions

loc/ids are not used everywhere

2

in particular, after uploading an ontology via the file browser, or after starting a proof of a theorem, I can see numbers in my browser's address field.

Rugged::OSError (Failed to rename lockfile to ...: Permission denied)

2

I tried to edit http://ontohub.org/dol-examples/engine.dol and then clicked "Discard". ``` Rugged::OSError (Failed to rename lockfile to '/data/git/repositories/82/objects/41/9a9ce525eb523d04d24d4f5333dec378a70f95': Permission denied): lib/git_repository/commit.rb:36:in `write_tree' lib/git_repository/commit.rb:36:in `commit_file' lib/git_repository/commit.rb:13:in `add_file' app/models/repository/git.rb:47:in `save_file' app/fake_records/repository_file.rb:62:in `save!' app/fake_records/fake_record.rb:27:in...

display of large repos leads to "bad gateway"

5

see https://ontohub.org/bioportal_mappings

When updating a distributed ontology with a differenly-named one, the old one is not deleted

3

see http://develop.ontohub.org/colore-algebra2/test2.casl

i.e. the user could modify the selection

"Permission denied" on staging.ontohub.org

1

From the log: ``` Rugged::OSError (Failed to rename lockfile to '/data/git/repositories/2/objects/8a/52140ba41d932e218f59d8826c4281814656bc': Permission denied): ``` I tried to upload an ontology.

I was on an ontology page and then wanted to edit the ontology file, and clicked on "edit". But then I could only edit the metadata. I suggest that there...

E.g. for an OWL file (as shown in the file browser), the user should be able to choose different serializations (Manchester syntax, OWL-XML, OWL-RDF, turtle etc.). Only the original serialization...