E' simile (anzi addirittura più semplice, come lunghezza della formula, quindi come numero di passaggi) a quello del II test di autovalutazione...[/size]

qualche domanda x voi sperando ke metterà le soluzioni :?

- perchè nell'ultimo esercizio il predicato getIndividualsBelon...ecc. ha un secondo parametro [] ke non viene utilizzato?

- sapete a cosa serve il punto (.) in DescriptionLogics? stellato non lo usa ma io l'ho trovato nelle varie dispense sulla DL

qualcuno di voi si ricorda l'esercizio di logica?

Quale?!?
Quello che chiedeva di dimostrare che A -> NOT(B) era una conseguenza logica di una formula più complessa?!?
Mi sembra che bastasse riscriversi le implicazioni seguendo la definizione (A -> B è equivalente a NOT(A) OR B)...
Arrivare quindi dalla formula più complessa a una Conjunctive Normal Form... E da lì semplificarla...
Semplificando si otteneva NOT(A) OR NOT(B)... Equivalente a A -> NOT(B)...

si ma A e B? erano letterali semplici?

qualcuno di voi si ricorda l'esercizio di logica?

Quale?!?
Quello che chiedeva di dimostrare che A -> NOT(B) era una conseguenza logica di una formula più complessa?!?
Mi sembra che bastasse riscriversi le implicazioni seguendo la definizione (A -> B è equivalente a NOT(A) OR B)...
Arrivare quindi dalla formula più complessa a una Conjunctive Normal Form... E da lì semplificarla...
Semplificando si otteneva NOT(A) OR NOT(B)... Equivalente a A -> NOT(B)...

Ragazzi scusate ma... qualcuno di voi è riuscito ad iscriversi al secondo appello di SBC, quello dell'11? io è da ieri pomeriggio che ci provo ma proprio non ci riesco!

stai bruciato a scrive alle 9 di mattina di domenica

Ma nell'intestazione non c'era scritto equivalent class?

Infatti emblema non ha dominio. Questo è vero. Ma la proprietà hasvalue non prende un range ma un valore. Nel caso specifico, la clausola era questa se non ricordo male

Class:stark
...
...
...
hasvalue: 'Lupo'
onproperty: emblema.

Poi vengono inizializzati due simboli, 'leone' e 'lupo', e nella classe emblema non è specificato dominio. Dunque è vero che senza ulteriori clausole la classe emblema non potrebbe specificare nessuna istanza di appartenenza.
Ma equivalent class dice che appartiene alla classe 'stark' qualsiasi cosa che abbia nella proprietà 'emblema' il valore 'lupo', quindi ce ne freghiamo altamente che 'emblema' non ha dominio. A mio modesto avviso dunque, anche senza dominio specificato, si può inferire che Tyrion appartiene a Stark...

hasvalue non implica proprio niente (o meglio implica solo da destra verso sinistra):
doveva essere forAllValues, e allora si che avevi ragione.
quella restrizione li' dice che un ogetto della classe stark ha un lupo come emblema, ma non che se hai un lupo come emblema allora sei uno stark.

Infatti emblema non ha dominio. Questo è vero. Ma la proprietà hasvalue non prende un range ma un valore. Nel caso specifico, la clausola era questa se non ricordo male

Class:stark
...
...
...
hasvalue: 'Lupo'
onproperty: emblema.

Poi vengono inizializzati due simboli, 'leone' e 'lupo', e nella classe emblema non è specificato dominio. Dunque è vero che senza ulteriori clausole la classe emblema non potrebbe specificare nessuna istanza di appartenenza.
Ma equivalent class dice che appartiene alla classe 'stark' qualsiasi cosa che abbia nella proprietà 'emblema' il valore 'lupo', quindi ce ne freghiamo altamente che 'emblema' non ha dominio. A mio modesto avviso dunque, anche senza dominio specificato, si può inferire che Tyrion appartiene a Stark...

qualcuno di voi si ricorda l'esercizio di logica?

La clausola equivalent class con delle restrizioni è biunivoca...

Nel senso che equivalent class implicava che se esisteva una istanza con il valore di 'lupo' nella proprietà emblema allora quella istanza era 'stark'... Equivalent class e subclass of sono diverse.

Sansa è dichiarata thing: ha emblema 'lupo' dunque è stark.

La stessa cosa vale per il fatto che ha un marito Lannister. Dunque è Lannister. (Tyrion è Lannister perchè ha emblema 'leone').

non sono d'accordo:
emblema ha dominio non specificato, il che vuol dire che se qualcuno ha un emblema puo' essere qualsiasi cosa.

quindi ,mi stai dicendo che, se sansa ha un marito doveva appartenere a stark visto la relazione sameasfrom di marito appartiene a stark ,e quello faceva in modo di creare un inconsistenza visto che tyrion apparteneva (per come dici te) alla classe lennister (visto emblema leone).
in più si poteva inferire qualcosa sulla classe stark e lennister ,ovvero secondo la relazione marito che entrambe erano sottoclasse di persona?
a questo punto una domanda mi sorge spontanea,l'unione quindi mi indicava che basta avere un valore di quella collezione di restrinzioni per indicare l'appartenenza ad una classe anonima equivalente alla classe stark o lennister (condizione necessaria e sufficiente), mentre in caso di subclassof non avrei potuto dire nulla sull'appartenenza dell' istanza sansa o per lo meno avrei potuto solo dedurre che sansa era un donna?
è giusto il ragionamento che ho fatto o è sbagliato? :wink:

La clausola equivalent class con delle restrizioni è biunivoca...

Nel senso che equivalent class implicava che se esisteva una istanza con il valore di 'lupo' nella proprietà emblema allora quella istanza era 'stark'... Equivalent class e subclass of sono diverse.

Sansa è dichiarata thing: ha emblema 'lupo' dunque è stark.

La stessa cosa vale per il fatto che ha un marito Lannister. Dunque è Lannister. (Tyrion è Lannister perchè ha emblema 'leone').

infatti:

sublist([a,b,c],[A,B,Y,X,Z,W,V]).

A = _G398
B = _G401
Y = _G404
X = _G407
Z = a
W = b
V = c

A = a
B = b
Y = c
X = _G407
Z = _G410
W = _G413
V = _G416 ;

A = _G398
B = _G401
Y = _G404
X = _G407
Z = a
W = b
V = c ;

ecc ecc....

questa è la mia versione per la sublist. ho usato la append, cosa che avevo intuito durante il compito ma non ho avuto tempo di fare.

ap([],X,X).
ap(Xs,[Y|Ys],[Y|Zs]):-
ap(Xs,Ys,Zs).

ap([X|Xs],[],[X|Zs]):-
ap(Xs,[],Zs).

sublist(X,L):-
ap(X,_,L);
ap(_,X,L).

sublist(X,[Y|Ys]):-
sublist(X,Ys).

mi correggo: cosi' adesso non va in loop e puo' anche inferire.

ap([],X,X).
ap(Xs,[Y|Ys],[Y|Zs]):-
ap(Xs,Ys,Zs).
ap([X|Xs],[],[X|Zs]):-
ap(Xs,[],Zs).

sublist([],[]).

sublist(X,L):-
ap(X,_,L);
ap(_,X,L).
sublist(X,[Y|Ys]):-
sublist(X,Ys).

questa è la mia versione per la sublist. ho usato la append, cosa che avevo intuito durante il compito ma non ho avuto tempo di fare.

ap([],X,X).
ap(Xs,[Y|Ys],[Y|Zs]):-
ap(Xs,Ys,Zs).

ap([X|Xs],[],[X|Zs]):-
ap(Xs,[],Zs).

sublist(X,L):-
ap(X,_,L);
ap(_,X,L).

sublist(X,[Y|Ys]):-
sublist(X,Ys).

, [H|T2]) :-
conf(T1, T2).

trova(L1, [_|T2]) :-
trova(L1, T2).

conf([], _).

conf([H|T1], [H|T2]) :-
conf(T1, T2).
[/code]

somevalues implica che esiste un valore tale che,
mentre allvalues from implica per ogni valore di quella proprieta'

ma il fatto che esiste, non vuol dire che deve stare per forza in quel documento

poi le due classi uomo e donna non erano disigunte, l'unica cosa che si poteva inferire era che Tyron era una persona, ma adesso non ricordo tutti i dettagli

Io l'ho scritto come l'ho copiato...

madre = moglie (intersect) 1 <= figli

come avete scritto in DL persona_con_fratelli e padre?

Giusto...