23 Jun
2004
23 Jun
'04
9:02 p.m.
Sziasztok,
Mellékelten küldök még három tesztsor és helyes megoldások (zip). Az
utolsónál a TBox üres.
Hátha félreértette még valaki (vak voltam és egy csomó teszt ezért
nem egyezett a Racer megoldásával...):
(concept-subsumes C1 C2) % igaz-e, hogy C1 része C2
C1 része C2 = C2 része C1-nek
és NEM C2 része C1.
Az első 2 tesztsor nem mutatta ki a rossz sorrendet. Például a 3.
tesztsor 8. és 9. kérdése pont erre való, ott rossz válaszokat kaptok a
rossz sorrendre.
Zsolt