Click on Predavanje 7: Logika za delo z ontologijami to open the resource.