.dsy:it. - protege e swoop

.dsy:it.
//www.dsy.it

protege e swoop

Posted by rik on 13-06-2007 08:09

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)