Knowledge Representation and Reasoning
| 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.