Till innehåll på sidan

Vali Pour Arash: Beskrivningslogiken ALC

Bachelor thesis presentation

Tid: Ti 2019-10-29 kl 13.30 - 14.30

Föreläsare: Vali Pour Arash

Plats: room 14, SU

Abstract

The report begins by reviewing and explaining the web (WWW) and the semantic web and the reason why logic should be applied in this context. For this purpose we go through boolean algebra, propositional logic, first order logic and description logic. Finally we go through some theorems and discuss why description logic is the preferred choice for semantic web.

Innehållsansvarig:webmaster@math.kth.se
Tillhör: Institutionen för matematik
Senast ändrad: 2019-10-24