In this project group (PG), you will implement a reasoning services into an existing knowledge graph database.
As the amount of data we have grows and as we store more and more data that is too diverse and flexible to fit well into tables of traditional relational databases, graph databases emerge as a flexible and expressive alternative. With the Resource Description Framework (RDF) and the Web Ontology Language (OWL) graphs provide the semantics to reason about data stored and infer implicit knowledge.
You will implement two services based on OWL: Materialization and instance retrieval. Materialization means that implicit knowledge is inferred and added as explicit knowledge to the knowledge base. For retrieving instances, a class expression (= logical formula) is provided. All individuals (= nodes in the graph) that fulfill the formula are returned then.
The PG will be available in PAUL (TBA).