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

95 %

Number of full texts


Number of records


Publishers' policy on open archives

Mapping of Collaborations


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