This video belongs to the openHPI course Knowledge Engineering with Semantic Web Technologies. Do you want to see more?
Previous
3.6 How to mechanize Reasoning - Tableaux Algorithm
Next
3.7 Description Logics