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

98 %

Number of full texts

40

Number of records

3

Publishers' policy on open archives

Mapping of Collaborations

Tags

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