[Szw-l] Re: ABox tesztek

Lukacsy Gergely <lukacsy(a)cs.bme.hu> 2005.06.23. 14:16:35 +2h-kor írta: Köszönjük. 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? 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? Köszönettel Bergmann Gábor