obdasystems
Costrutto malformato non individuato
Nell'ontologia in allegato sono presenti due casi di OR disgiunti senza archi di input, che non vengono individuati dalla verifica sintattica.
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.
Ho riscontrato un caso simile per il range di un attributo. Il problema è che non ci si accorge dell'incompletezza del file graphol finchè non si esporta o peggio si importa dentro Monolith. Sto degli operatori con archi di inclusione ma senza archi di input. In questo caso il il check sintattico dice che va tutto bene ma l'export in OWL dà (giustamente) errore.
Un'idea potrebbe essere di ampliare il check sintattico a questi casi e di eseguirlo prima del salvataggio del file graphol in modo da non poter salvare file graphol non esportabili in OWL.
