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.
Download: