Ce module présente les systèmes à base de connaissances et leurs applications possibles. Beaucoup de tels systèmes sont basés sur la logique formelle pour laquelle il existe plusieurs types qui seront également présentés. Le module fournit ensuite les fondements de la logique formelle, montre comment interpréter les expressions logiques et comment évaluer efficacement les expressions logiques dans un environnement de bases de données. Les systèmes à base de connaissances ont connu une sorte de renaissance avec le web sémantique. Après avoir montré comment les idées des systèmes à base de connaissances ont vu le jour, le module montre également comment le web sémantique fonctionne et ce qu'il vise à atteindre.