After successful completion of the course, students are able to...
... develop ASP programs and queries, as well as to classify such programs by their language concepts and complexity.
... describe the structure and concepts of Description Logics (DLs), as well as to distinguish and compare different DLs.
... design ontologies in OWL and DLs.
... analyze reasoning problems related to DLs and to apply them for solving typical data management- and querying tasks.
... identify the difference between (logic programming) rules and ontologies.
... use formalisms for combining rules and ontologies.
... identify and assess the problems emerging when trying to combine these two kinds of formalisms.
... apply all of the presented formalisms to improve the query answering capabilities of ordinary relational databases.