GRAPHIK - 2011 - Annual activity report

GRAPHIK

GRAPHIK - 2011

Project Team Graphik

Members

Overall Objectives

Logic and Graph-based KRR
From Theory to Applications, and Vice-versa
Main Challenges
Scientific Axes
Highlights

Scientific Foundations

Logic-based Knowledge Representation and Reasoning
Graph-based Knowledge Representation and Reasoning
Ontological Query Answering
Representation and Reasoning with Imperfect Knowledge

Application Domains

Introduction
Agronomy
Bibliographic Metadata

Software

Cogui
Towards Large Knowledge Bases

New Results

Note
Ontological Query Answering with Rules
Processing Conjunctive Queries with Negation
Argumentation Systems for Decision Making
Semantic Data Integration

Contracts and Grants with Industry

ABES
CFTC

Partnerships and Cooperations

Regional Initiatives
European Initiatives
International Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Team Activity Report

GRAPHIK

GRAPHs for Inferences and Knowledge representation

Research centre: Sophia Antipolis - Méditerranée

In partnership with: CNRS, INRA, Université des sciences et techniques du Languedoc (Montpellier 2)

In collaboration with: Laboratoire d'informatique, de robotique et de microélectronique de Montpellier (LIRMM)

Field: Perception, Cognition, Interaction

Theme: Knowledge and Data Representation and Management

Keywords: Knowledge, Reasoning, Graphs, Ontologies, Complexity