rik

User info:

Registered: Jan 2006
Posts: 110 (0.02 al dì)
Location:
Corso: specialistica
Anno:
Time Online: 1 Day, 22:38:15 [...]
Status: Offline

Post actions:

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

User info:

Registered: Jan 2003
Posts: 332 (0.04 al dì)
Location: milano
Corso: Ticom
Anno: 1
Time Online: 10 Days, 4:57:16 [...]
Status: Offline

Post actions:

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 ...

__________________
There are two ways of constructing a software design:
one way is to make it so simple that there are obviously no deficiencies;
the other way is to make it so complicated that there are no obvious deficiencies.
(C.A.R. Hoare)

Randall

.arcimaestro.

User info:

Registered: Oct 2001
Posts: 327 (0.04 al dì)
Location: Milano
Corso: TICom
Anno: Laureato
Time Online: 4 Days, 4:53:15 [...]
Status: Offline

Post actions:

Ci sto studiando anch'io, magari questo tutorial può essere utile:

www.co-ode.org/resources/tutorials/ProtegeOWLTutorial.pdf

Ciao
Ste

__________________
Dare una laurea in psicologia a me
è come dare una laurea in legge a Berlusconi
--------------------------Roberto Benigni-----