Nature Unknown label
Credit hour 3
Total number of hours 20
Number of hours for lectures 20

Content

The course covers some basic foundations underlying theories and systems that aim at expressing structured knowledge and reasoning with it in a principled way. It particularly addresses description logics as an important class of logic-based knowledge representation languages, and their application in database and semantic web areas.