Modellezés és verifikáció

Semester:

2012. tavasz

Az előadáson a pizza ontológia példáját folytattuk. Végignéztük a tipikus finomítási lépéseket és hatásukat a szoftver implementációra. A konfiguráció részeként letöltött PELLET reasoner inkonzisztenciát mutatott a pizza és a fagylalt között, ennek okát kerestük meg.