Costrutto malformato non individuato

[valeriosantarelli]

Nell'ontologia in allegato sono presenti due casi di OR disgiunti senza archi di input, che non vengono individuati dalla verifica sintattica.

Diabete.zip

Per risolvere, splittare il check sintattico in due funzionalità diverse, il check sintattico e il check rispetto al profilo OWL. Il primo check, raggiungibile tramite il pulsante "A con il check" che ci sta ora, verifica che l'ontologia è ben formata, ed anche completa rispetto agli assiomi costruiti (ad esempio, tutti i nodi operatori devono avere il giusto numero di archi di input). Il secondo check, attivabile tramite una voce del menu ontology, in caso di ontologia NON COMPLETA, deve interrompersi, e rimandare al primo check. Il menu a tendina che permette di scegliere un profilo in cui editare si può spostare dentro la palette, perchè è su di essa che ha effetto.

Insomma, trovare una soluzione di questo tipo per rendere la scelta del profilo e i vari check sintattici più comprensibili rispetto al loro reale comportamento.