Knowledge Representation and Reasoning

We conduct research concerning the theory and application of logic-based knowledge representation. This includes logic-based knowledge representation for knowledge graphs, ontologies, and more generally the semantic web. Below pointers on some of the main themes we are interested in.

Logical Foundations of Ontology Modeling

Rules and Ontologies

Deductive Logical Reasoning over Semantic Web Languages Using Deep Learning