This video belongs to the openHPI course Knowledge Engineering with Semantic Web Technologies. Do you want to see more?
Previous
3.9 DLs and the Open World Assumption
Next
3.10 Tableaux Algorithm for ALC