Nabízí blok kapitol věnovaný ontologiím, sémantickému webu a jeho nástrojům, který je prvním uceleným česky psaným textem o této problematice. Na tuto část navazují kapitoly věnované automatizaci logického dokazování a způsobům reprezentace, získávání i v
