ontohub icon indicating copy to clipboard operation
ontohub copied to clipboard

Published 20 hours ago • verified publisher icon ontohub

no sentences are displayed

Open tillmo opened this issue 10 years ago • 6 comments

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

tillmo avatar Oct 22 '14 13:10 tillmo

Just for more information:

  • with o being the ontology:
    • o.sentences is empty
    • o.translated_sentences ist empty
    • o.contains_logic_translations? is false
    • o.all_sentences has 712 entries all of which a marked as imported

We will do further investigation.

0robustus1 avatar Oct 22 '14 17:10 0robustus1

I have just uploaded the same ontology again under a different name (pizza2.owl), and then sentences are displayed. Maybe this is just legacy from a time where the code was incorrect. But then we should re-run Hets on all ontologies that could be affected by this problem. Edit: still, o.all_sentences should be displayed...

tillmo avatar Oct 22 '14 17:10 tillmo

Solution: once a server farm with a lot of hets instance (via api) runs, we re-analyse all ontologies.

tillmo avatar Oct 27 '14 09:10 tillmo

wait for #1476

tillmo avatar Jan 04 '16 11:01 tillmo

I checked it with the ontology pizza above. There are no theorems (theorems_count: 0) that can be displayed, and all axioms (axioms_count: 712) are displayed. When I test this with partial_order and v__T all axioms (1) and theorems (3) are displayed. @tillmo can you find another example where this error is still active or is this issue outdated?

ebolloff avatar Jul 19 '16 08:07 ebolloff

I think there is no other example, but we should first process #1476 and then have a look.

tillmo avatar Aug 02 '16 08:08 tillmo