A me preoccupa il programma in OWL-Prolog...
Non so voi...

Io l'avevo già fatto e funziona

no_common_elem([], _).

no_common_elem([H1|R1], L2) :-

\+ (member(H1, L2)),

no_common_elem(R1, L2).

) :- \+ member(H,L2),!, noMult(T,L2).
noMult([_|T], L2) :- noMult(T,L2).[/code]

Sgugolando sul prolog mi e' sorto un dubbio su quanto detto (e scritto) da Stellato ieri: parlando della III prova ha scritto:
[code type="markup"]no_common_elements(-List1, -List2)[/code] dicendo che il segno "-" indica un input e il segno "+" un output, giusto?

A proposito, ma a voi funziona quell'esempio!?

Sgugolando sul prolog mi e' sorto un dubbio su quanto detto (e scritto) da Stellato ieri: parlando della III prova ha scritto:
[code type="markup"]no_common_elements(-List1, -List2)[/code] dicendo che il segno "-" indica un input e il segno "+" un output, giusto?
Invece a me risulta il contrario, ad esempio:
[code type="markup"]subtract(+Set, +Delete, -Result)
flatten(+List1, -List2)
sumlist(+List, -Sum)
reverse(+List1, -List2)[/code]
in http://gollem.science.uva.nl/SWI-Prolog/Manual/lists.html
oppure:
[code type="markup"]list_to_set(+List, -Set)
intersection(+Set1, +Set2, -Intersection)
is_set(+List)[/code]
in http://www.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002dsets.html

che ne dite, si e' confuso?

Ancora grazie Alt...

Scusate qualcuno sa esattamente se le domande di teoria sono a crocette o aperte?ha detto qualcosa in riguardo?

Crocette

Scusate qualcuno sa esattamente se le domande di teoria sono a crocette o aperte?ha detto qualcosa in riguardo?

Non so voi, ma ho studiato OWL sul manuale in italiano scaricabile da didattica nel sito di SBC. Mi pare abbaqstanza valido per poi poter fare gli esercizi delle prove di autovalutazione.
[..]

secondo me basta anche solo il capitolo 3..è quello + pragmatico...

(argh..ho comprato PES 6 originale per giocare online...tempismo pessimo :S)

Ragno, hai un PM

Più che altro, spero che il materiale messo sul sito sia abbastanza per superare la prova...

Non so voi, ma ho studiato OWL sul manuale in italiano scaricabile da didattica nel sito di SBC. Mi pare abbaqstanza valido per poi poter fare gli esercizi delle prove di autovalutazione.
Per quanto riguarda poi gli esercizi OWL-Prolog mi sono rifatto alle prove stesse, e non credo ci sarà qualcosa di molto più difficile nel test. Inoltre, per fare il programma in Prolog sull'ontologia è sufficiente saper scorrere una lista e capire bene le relazioni tra le classi.
Speriamo bene...

Riguardo OWL e correlati...

Description Logics:
http://www.dl.kr.org/


http://www.cs.man.ac.uk/~horrocks/Slides/index.html

Un po' di roba... mi scuserete se non ho circoscritto un po' gli argomenti...

Non sono dei predicati messi a disposizione da Prolog, come fossero delle librerie
E' un assunto che fa, in sede d'esame: supponiamo di avere questo predicato sumlist(List,S) che restituisce in S la somma degli elementi di una lista List... insomma, ti basta sapere quello che fa... non c'è nessuna funzione "standard" da conoscere [che poi non so se sia un bene o un male... :? ]

mi sono spiegato male

sumlist(List, S) funziona veramente!! provalo :shock:

AHAHHAHAHAHA!!!
Talmente l'abitudine di rifare le cose a mano!!
Buono a saperi, grazie!! :lol:

Allora faccio un ulteriore domanda...
Credo di aver capito il modo in cui, mediante quantificatori universali, istanze di classi e relazioni tra classi, si può rispondere a domande come quella degli studenti che hanno un corso col Prof. Rossi.
Ma dove si trova la teoria???
A parte gli esempi dell'università e dei passeggeri del treno non ho trovato altro.
Qualcuno mi direbbe dove diamine si trovano???

Una domanda,io sto incominciando a studiare adesso,sto alla prima lezione,per l'11 mi riesco a preparare oppure sto facendo un lavoro inutile?

P.S.premetto che non sono mai venuto a lezione per motivi di lavoro.

Secondo me se riesci a fare i 3 test di autovalutazione hai ottime probabilita' di passare l'esame!

). ovviamente funziona

member(1, [5|1]). mi dice "No"

mi ricordate perchè?

la parta a dx del simbolo | e' la coda della lista, quindi a sua volta una lista e non un elemento della lista!

Una domanda,io sto incominciando a studiare adesso,sto alla prima lezione,per l'11 mi riesco a preparare oppure sto facendo un lavoro inutile?

P.S.premetto che non sono mai venuto a lezione per motivi di lavoro.

dubbio:

member(1, [1|5]). ovviamente funziona

member(1, [5|1]). mi dice "No"

mi ricordate perchè?

bè io credo che meglio dell'help non ci sia niente..o meglio..niente di + completo..

?- help.

> The Swi-prolog library

:wink: