OWL Lite 2/5 1. allValuesFrom Quando la proprieta' P si applica ad un soggetto S, ogni oggetto deve essere della stessa classe C di S (antenato_di necessita di S e O istanze della classe C) 2. someValuesFrom Quando la proprieta' P si applica ad un soggetto S, almeno un oggetto O deve essere della stessa classe C di S (relazione_su_WS prevede che almeno qualcosa lo dica sul WS) - Esistono vincoli sulle cardinalita': 1. minCardinality Definisce il valore minimo di cardinalita' di una proprieta' P quando legata alla classe C. Classe Genitore ha minCardinality 1 per la proprieta' ha_come_figlio 2. maxCardinality Definisce il valore massimo di cardinalita' di una proprieta' P quando legata alla classe C. Classe Scapolo ha maxCardinality 0 per la proprieta' ha_moglie/ha_marito.