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 axis) 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 privileged for the next years:

  • knowledge representation for agronomy, the final objective being a knowledge-based system to aid decision-making for the quality control in food processing.

  • data integration and quality improvement, specifically for document metadata.