Це відео відноситься до openHPI курсу Knowledge Engineering with Semantic Web Technologies. Бажаєте побачити більше?
Назад
3.9 DLs and the Open World Assumption
Далі
3.10 Tableaux Algorithm for ALC