Section: Overall Objectives
Scientific Directions
GraphIK has three main scientific directions:
-
decidability, complexity and algorithms for problems in languages corresponding to first-order logic fragments;
-
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;
-
the integration of theoretical tools to real knowledge-based systems.
From an applicative viewpoint, two themes are privileged for the next years: