protege e swoop
Clicca QUI per vedere il messaggio nel forum |
| rik |
qlc mi saprebbe spiegare come si fa a inserire in protege e swoop i vincoli logici con quantificatori, intersezioni di insieme ...
ho saltato le lezioni in cui l'hanno spiegato e x conto mio sono riuscito solo a a creare classi, sottoclassi, proprietà e istanze, ma nn so inserire i vincoli/asserzioni (o come si chiamano) |
| puntozip |
Originally posted by rik
qlc mi saprebbe spiegare come si fa a inserire in protege e swoop i vincoli logici con quantificatori, intersezioni di insieme ...
non ho seguito neanche io però in protege le restrictions mi sembra si impostino dalla vista class, sulla destra al centro hai una finestra "asserted condition" con i due bottoncini 'U' e 'R' per creare espressioni e restriction
ciao |
|
|
|
