Knowledge-Based Systems and Logic Programming

Prof. Dr. Dietmar Seipel


The group has long experience in the areas of databases, knowledge-bases, and logic programming, especially using methods from artificial intelligence (AI) and declarative programming.

Concepts for representing and reasoning about hybrid knowledge formats have been investigated. Domain specific languages and declarative methods for querying rule bases have been used.

For intelligent information systems and decision support systems, graphical web interfaces have been described with declarative markup languages.

Special fields of interest are

  • Knowledge-Based Systems (relational and deductive databases),
  • Data and Knowledge Management and Engineering,
  • Logic Programming (with Datalog and Prolog), and
  • Semantic Web (semi-structured data, XML, ontologies, RDF, and linked open data).
More Details

Selected Publications



The bachelor (undergraduate) courses lay the foundations on databases and logic: The master (graduate) courses deepen the basic knowledge with advanced concepts; databases can be extended with deduction, and it is possible to program with logic: We also offer seminars and topics for theses in bachelor and master.

More Details