Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2023, October 24
Time: 11:30 a. m.
Place: G29-018
Author: Mossakowski, Till
Title: Completion of Factual Knowledge Using Background Knowledge

Abstract:

Factual knowledge (collections of facts) can be represented as OWL2 ABoxes or (increasingly important in AI) RDF Knowledge graphs. Background knowledge is typically represented as OWL2 TBox, and/or via some form of rules (e.g. SWRL, Datalog). We will discuss the problem of completing the factual knowledge 1) in itself and 2) with respect to the background knowledge. We will give an overview of (some of) the literature.


Back to the Oberseminar web page
Webmaster