.dsy:it. - protege e swoop

.dsy:it. (http://www.dsy.it/forum/)
- Ontologie e web semantico (http://www.dsy.it/forum/forumdisplay.php?forumid=285)
-- protege e swoop (http://www.dsy.it/forum/showthread.php?threadid=31068)

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

protege e swoop

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)

Posted by puntozip on 13-06-2007 09:47:

Re: protege e swoop

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

__________________
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)

Posted by Randall on 13-06-2007 10:45:

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

All times are GMT. The time now is 19:55.

Show all 3 posts from this thread on one page