Section: Overall Objectives

Scientific Directions

GraphIK has three main scientific directions:

1. decidability, complexity and algorithms for problems in languages corresponding to first-order logic fragments;

2. the addition of expressive and non-classical features (to the first-order logic languages studied in the first direction) with a good expressivity/efficiency trade-off;

3. the integration of theoretical tools to real knowledge-based systems.

From an applicative viewpoint, two themes are currently privileged:

• knowledge representation and reasoning for agronomy, oriented towards knowledge-based systems to aid decision-making for the quality control in food processing.

• knowledge representation and reasoning for data journalism, oriented towards efficient ontology-mediated query answering of heterogeneous information sources.