1 - AIRLab - Politecnico di Milano

Capitolo 3 – Ambiente di sviluppo e strumenti utilizzati
Nello stesso pannello si trovano le condizioni a cui una classe è soggetta, espresse
tramite le restrizioni, e che possono essere “necessarie” oppure “necessarie e
sufficienti”; esse devono essere soddisfatte da tutti gli individui della classe
selezionata. Al di sotto delle condizioni si trova la sezione delle disgiunzioni
(“Disjoints”), in cui possono essere inserite tutte le classi che devono essere
disgiunte da quella selezionata. La figura 3.1 mostra un esempio di pannello delle
classi.
Un altro pannello dell’applicazione permette la definizione di proprietà, insieme
alle caratteristiche che tali relazioni possono possedere, ad esempio la transitività,
la simmetria, l'essere inversa di un’altra relazione o funzionale.
Figura 3.1: Pannello delle classi di Protégé .
Come in OWL, anche in Protégé le proprietà vengono distinte in:
26