Knowledge Engineering with Semantic Web TechnologiesDr. Harald Sack

This video belongs to the openHPI course Knowledge Engineering with Semantic Web Technologies. Do you want to see more?

3.12 EXTRA: FOL - Resolution Algorithm

Time effort: approx. 25 minutes