Este vídeo pertenece al curso Knowledge Engineering with Semantic Web Technologies de openHPI. ¿Quiere ver más?
Anterior
3.9 DLs and the Open World Assumption
Siguiente
3.10 Tableaux Algorithm for ALC