Udv!
Viszont ezek a RACER szintakszisa szerinti kérdéseket
tartalmaznak, a mienk a specifikáció szerint pedig csak majdnem olyan. Megkérdezem,
mielőtt komolyabb bajom lesz belőle: úgy jó, hogy (individual-instance ...) kérdéseket
várok, és nem (individual-instance? ...) alakút?
Toletek a kiirt specifikacio szerinti inputokat kerdezunk majd.
Másrészt a logikusnak tűnő individuals-related,
abox-consistent kérdésekre ne tudjon válaszolni a program? Meglepne, mert ugye lényegtelen
mennyiségű pluszmunkát adna. De ha nem kötelező, nem is jár érte semmi pont?
Elso korben azt mondanam, hogy nem jar erte plusz pont (mint ahogy azert
sem, ha valaki ALC-nel bovebb nyelvet implemental), de azert persze nem
art, ha megcsinalod.
Gergo