This video belongs to the openHPI course Knowledge Engineering with Semantic Web Technologies. Do you want to see more?
Previous
3.10 Tableaux Algorithm for ALC
Next
3.11 EXTRA: FOL - Canonical Forms