This video belongs to the openHPI course Semantic Web Technologies . Do you want to see more?
Previous
5-2 DL Inference and Reasoning
Next
5-3 Tableaux Algorithm for ALC