index - Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données Access content directly

Current information systems are grounded on the exploitation of data coming from an increasing number of heterogeneous sources. Coping with the variety of data requires paradigms for effectively accessing and querying information that adapt to the different types of sources, as well as declarative high-level languages to drive the data processing and data quality tasks. The BOREAL team focuses on the study of foundational and applied issues of reasoning, in a context of data variety. The team builds upon its expertise in knowledge representation and automated reasoning to devise novel techniques for heterogeneous and federated data management which leverage in particular on expressive rule languages.

Open Access Files

94 %

Number of full texts


Number of records


Publishers' policy on open archives

Mapping of Collaborations


Data Integration First-order logic Computational aspects of knowledge representation Cheesemaking Expertise integration Hyperproperties Probabilistic model Agroecology Existential rules Food Compositional parameters Argumentation Planification automatique Mapping Join queries Knowledge representation languages Probabilistic relational models Collaborative planning Knowledge reasoning Query rewriting CO2 Solubility Semantic Web Knowledge Representation and Reasoning Qualité des données Rules Service crop Gradual Semantics Data Quality Existential Rules Linked open data Satisfiability Chase Research Disjunctive Existential Rules Approximation Reasoning with Existential Rules Safety Reliability Core Computer science Gestion des données basée sur des connaissances Reasoning Human-aware task planning Decision support systems Restricted Chase Ecosystem service LTL Automated planning Packaging sustainability Constraint translation Database theory Ontology Based Data Access Raisonnements Ethics Accès aux données médiatisé par une ontologie Logique Quantiles Disjunctive existential rules Apprentissage automatique Expert knowledge Ontology-based data access Règles existentielles System Validation Causality Query Rewriting Agroécologie Food packaging Datalog Disjunctive Chase Termination Ré-écriture de requête Knowledge graph Machine learning Food Functional trait Graph based Knowledge Representation and Reasoning Bayesian Network Milk Microfiltration Logic and computation Knowledge representation Knowledge representation and reasoning Ranking functions Median Logic OBDA Ethique des machines Machine ethics Logic Functional Diagram Knowledge discovery Database query processing and optimization theory Knowledge Base INRAE Knowledge Integration Informatique Know-how Ontologies Ontology Ontology-Based Data Access Knowledge based data management Complexity Représentation des connaissances HyperLTL