This video belongs to the openHPI course Semantic Web Technologies . Do you want to see more?
Previous
5-3 Tableaux Algorithm for ALC
Next
5-5 Web Ontology Language - OWL (2)