Federico Ulliana

43
Documents
Identifiants chercheurs

Présentation

Publications

17
8
4
2
2
2
1
1
1
1
1
1
1
1
4
3
3
3
3
3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
16
13
8
6
6
5
5
5
5
4
4
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
1
1
4
3
3
2
1
4
4
5
2
5
4
1
3
1
1
9
8
8
3
2
1
1
1
1
1
3
22
10
7
5
5
3
1
1
1
1
1
1
1

Publications

Deposit thumbnail

Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting

Olivier Rodriguez , Federico Ulliana , Marie-Laure Mugnier

Proceedings of the VLDB Endowment (PVLDB), 2023, 16 (11), pp.2699-2713. ⟨10.14778/3611479.3611481⟩

Article dans une revue lirmm-04305787v1
Deposit thumbnail

Characterizing Boundedness in Chase Variants

Stathis Delivorias , Michel Leclère , Marie-Laure Mugnier , Federico Ulliana

Theory and Practice of Logic Programming, 2021, 21 (1), pp.51-79. ⟨10.1017/S1471068420000083⟩

Article dans une revue lirmm-02920610v1
Deposit thumbnail

An Automated Design Framework for Multicellular Recombinase Logic

Sarah Guiziou , Federico Ulliana , Violaine Moreau , Michel Leclère , Jerome Bonnet

ACS Synthetic Biology, 2018, 7 (5), pp.1406-1412. ⟨10.1021/acssynbio.8b00016⟩

Article dans une revue hal-04725198v1

Combining 3D Models and Functions through Ontologies to Describe Man-made Products and Virtual Humans: Toward a Common Framework

Federico Ulliana , Jean-Claude Léon , Olivier Palombi , Marie-Christine Rousset , François Faure

Computer-Aided Design and Applications, 2015, 12 (2), pp.166-180. ⟨10.1080/16864360.2014.962429⟩

Article dans une revue hal-01070581v1
Deposit thumbnail

My Corporis Fabrica Embryo: An ontology-based 3D spatio-temporal modeling of human embryo development

Pierre-Yves Rabattu , Benoit Massé , Federico Ulliana , Marie-Christine Rousset , Damien Rohmer et al.

Journal of Biomedical Semantics, 2015, 6, pp.36:1-15. ⟨10.1186/s13326-015-0034-0⟩

Article dans une revue hal-01214229v1
Deposit thumbnail

My Corporis Fabrica: an ontology-based tool for reasoning and querying on complex anatomical models

Olivier Palombi , Federico Ulliana , Valentin Favier , Jean-Claude Léon , Marie-Christine Rousset

Journal of Biomedical Semantics, 2014, 5 (1), pp.20:1-13. ⟨10.1186/2041-1480-5-20⟩

Article dans une revue hal-00990332v2
Deposit thumbnail

Type-Based Detection of XML Query-Update Independence

Nicole Bidoit , Dario Colazzo , Federico Ulliana

Proceedings of the VLDB Endowment (PVLDB), 2012

Article dans une revue hal-00757544v1
Deposit thumbnail

Combining Open Data and Formal Reasoning for Autonomously Controlled Spreading near Water Bodies

Ahmad Kadi , Nikolas Müller , Ansgar Bernardi , Federico Ulliana , Guillaume Pérution-Kihli

KIU Workshopt 2025 - Künstliche Intelligenz in der Umweltinformatik, Sep 2025, Potsdam, Germany

Communication dans un congrès lirmm-05165170v2
Deposit thumbnail

Gypscie-KG: Building a Logic-Based Approach for Knowledge Graph Data Integration View in ML Systems

Gabriela Moraes , Fabio Porto , Federico Ulliana , Jean-François Baget , Michel Leclère et al.

LAGO 2025 – LLMs, Análise de Grafos e Ontologias (SBBD), Sep 2025, Fortaleza, Brazil

Communication dans un congrès lirmm-05229486v1
Deposit thumbnail

A Legislation-Aware Robotic Framework for Autonomous Fertilization Near Protected Water Bodies

Nikolas Müller , Ahmad Kadi , Marie-Laure Mugnier , Guillaume Pérution-Kihli , Federico Ulliana et al.

ECMR 2025 - 12th European Conference on Mobile Robots, Sep 2025, Padua, Italy

Communication dans un congrès lirmm-05165190v1
Deposit thumbnail

Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization

Guillaume Pérution-Kihli , Ahmad Kadi , Nikolas Müller , Akira Charoensit , David Carral et al.

RuleML+RR 2025 - Rules and Reasoning, 9th International Joint Conference, RuleML+RR 2025, Sep 2025, Istanbul, Turkey

Communication dans un congrès hal-05242346v1
Deposit thumbnail

Rule-aware Datalog Fact Explanation Using Group-SAT Solver

Akira Charoensit , David Carral , Pierre Bisquert , Lucas Rouquette , Federico Ulliana

RuleML+RR 2024 - 8. International Joint Conference on Rules and Reasoning, Sep 2024, Brussels, Belgium

Communication dans un congrès hal-04706324v1
Deposit thumbnail

Collaborative Benchmarking Rule-Reasoners with B-Runner

Federico Ulliana , Pierre Bisquert , Akira Charoensit , Renaud Colin , Florent Tornil et al.

BDA 2024 - 40e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2024, Orleans, France

Communication dans un congrès lirmm-04646842v2
Deposit thumbnail

Collaborative Benchmarking Rule-Reasoners with B-Runner

Federico Ulliana , Pierre Bisquert , Akira Charoensit , Renaud Colin , Florent Tornil et al.

RuleML+RR 2024 - 8. International Joint Conference on Rules and Reasoning, Sep 2024, Bucarest, Romania. pp.21-31, ⟨10.1007/978-3-031-72407-7_3⟩

Communication dans un congrès lirmm-04670543v1
Deposit thumbnail

Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting

Olivier Rodriguez , Federico Ulliana , Marie-Laure Mugnier

BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France

Communication dans un congrès lirmm-04305822v1
Deposit thumbnail

InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated Sources

Jean-François Baget , Pierre Bisquert , Michel Leclère , Marie-Laure Mugnier , Guillaume Pérution-Kihli et al.

BDA 2023 - 39.Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France

Communication dans un congrès lirmm-04304601v1
Deposit thumbnail

Boolean Recombinase-Based Devices

Guillaume Pérution-Kihli , Sarah Guiziou , Federico Ulliana , Michel Leclère , Jérôme Bonnet

TPNC 2019 - 8th International Conference on Theory and Practice of Natural Computing, Dec 2019, Kingstone, Canada. pp.82-94, ⟨10.1007/978-3-030-34500-6_5⟩

Communication dans un congrès lirmm-02416052v1
Deposit thumbnail

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis , Michel Leclère , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana et al.

IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩

Communication dans un congrès lirmm-02148142v1
Deposit thumbnail

Querying Key-Value Stores under Single-Key Constraints: Rewriting and Parallelization

Olivier Rodriguez , Reza Akbarinia , Federico Ulliana

RuleML+RR 2019 - 3rd International Joint Conference on Rules and Reasoning, Sep 2019, Bolzano, Italy. pp.198-206, ⟨10.1007/978-3-030-31095-0_15⟩

Communication dans un congrès lirmm-02195593v1
Deposit thumbnail

A Single Approach to Decide Chase Termination on Linear Existential Rules

Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo , Federico Ulliana

ICDT 2019 - 22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩

Communication dans un congrès lirmm-02148200v1
Deposit thumbnail

A Single Approach to Decide Chase Termination on Linear Existential Rules

Michel Leclère , Marie-Laure Mugnier , Michaël Thomazo , Federico Ulliana

31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States

Communication dans un congrès lirmm-01892353v1
Deposit thumbnail

On the k-Boundedness for Existential Rules

Stathis Delivorias , Michel Leclère , Marie-Laure Mugnier , Federico Ulliana

RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩

Communication dans un congrès lirmm-01921140v1
Deposit thumbnail

Scalable composition frameworks for multicellular logic

Sarah Guiziou , Pauline Mayonove , Federico Ulliana , Violaine Moreau , Michel Leclère et al.

BIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩

Communication dans un congrès lirmm-01662689v1
Deposit thumbnail

Extraction et Inférence de Connaissances à partir d’Assemblages Mécaniques Définis par une Représentation CAO 3D

Harold Vilmart , Jean-Claude Léon , Federico Ulliana

EGC: Extraction et Gestion des Connaissances, Jan 2017, Grenoble, France. pp.21-32

Communication dans un congrès lirmm-01662810v1
Deposit thumbnail

Ontology-Mediated Query Answering for Key-Value Stores

Meghyn Bienvenu , Pierre Bourhis , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana

IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia

Communication dans un congrès lirmm-01632090v1
Deposit thumbnail

Querying Key-Value Stores Under Simple Semantic Constraints : Rewriting and Parallelization

Olivier Rodriguez , Corentin Colomier , Cecilie Rivière , Reza Akbarinia , Federico Ulliana

BDA: Gestion de Données — Principes, Technologies et Applications, Nov 2017, Nancy, France

Communication dans un congrès lirmm-01620207v1
Deposit thumbnail

Ontology-Mediated Queries for NOSQL Databases

Marie-Laure Mugnier , Marie-Christine Rousset , Federico Ulliana

AAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057

Communication dans un congrès lirmm-01242913v1
Deposit thumbnail

Ontology-Mediated Queries for NOSQL Databases

Marie-Laure Mugnier , Marie-Christine Rousset , Federico Ulliana

DL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057

Communication dans un congrès lirmm-01375093v1
Deposit thumbnail

Extracting Bounded-level Modules from Deductive RDF Triplestores

Marie-Christine Rousset , Federico Ulliana

AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI). Austin, USA., Jan 2015, Austin, TX, United States

Communication dans un congrès lirmm-01086951v1
Deposit thumbnail

Andromeda: A System for Processing Queries and Updates on Big XML Documents

Nicole Bidoit , Dario Colazzo , Carlo Sartiani , Alessandro Solimando , Federico Ulliana

BigDa: Big Data Applications and Principles, Sep 2015, Poitiers, France. pp.218-228, ⟨10.1007/978-3-319-23201-0_24⟩

Communication dans un congrès hal-01169275v1
Deposit thumbnail

Queries and Updates on Big XML Documents (Extended Abstract)

Nicole Bidoit , Dario Colazzo , Carlo Sartiani , Alessandro Solimando , Federico Ulliana

SEBD: Sistemi Evoluti per Basi di Dati, Jun 2015, Gaeta, Italy

Communication dans un congrès hal-01169269v1
Deposit thumbnail

My Corporis Fabrica: Making Anatomy Easy

Armelle Bauer , Federico Ulliana , Ali Hamadi Dicko , Benjamin Gilles , Olivier Palombi et al.

SIGGRAPH: Special Interest Group on GRAPHics and Interactive Techniques, Aug 2014, Vancouver, Canada. pp.#16, ⟨10.1145/2619195.2656302⟩

Communication dans un congrès hal-00987439v1

Combining 3D Models and Functions through Ontologies to Describe Man-made Products and Virtual Humans: Toward a Common Framework

Federico Ulliana , Jean-Claude Léon , Olivier Palombi , Marie-Christine Rousset , François Faure

Computer-Aided Design, Jun 2014, Hong Kong, Hong Kong SAR China. pp.77

Communication dans un congrès hal-01070567v1
Deposit thumbnail

Semantic Filtering of Scientific Articles guided by a Domain Ontology

Fabrice Jouanot , Cyril Labbé , Elena Michael , Marie-Christine Rousset , Maïté Tauber et al.

WCECS 2014 - World Congress on Engineering and Computer Science 2014, International Association of Engineers, Oct 2014, San Francisco, United States. pp.803-808

Communication dans un congrès hal-01088092v1

Processing XML queries and updates on map/reduce clusters

Nicole Bidoit , Dario Colazzo , Noor Malla , Federico Ulliana , Maurizio Nolé et al.

International Conference on Extending Database Technology, Mar 2013, Genova, Italy

Communication dans un congrès hal-00923695v1

Detecting XML query-update independence

Nicole Bidoit , Dario Colazzo , Federico Ulliana

26emes Journees Bases de Donnees Avancees, Oct 2010, Toulouse, France

Communication dans un congrès inria-00542526v1
Deposit thumbnail

On Bounded Positive Existential Rules

Michel Leclère , Marie-Laure Mugnier , Federico Ulliana

DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings

Communication dans un congrès lirmm-01375091v1

Datalog revisited for reasoning in linked data

Marie-Christine Rousset , Manuel Atencia , Jérôme David , Fabrice Jouanot , Olivier Palombi et al.

Giovambattista Ianni; Domenico Lembo; Leopoldo Bertossi; Wolfgang Faber; Birte Glimm; Georg Gottlob; Steffen Staab. Reasoning Web. Semantic Interoperability on the Web. Reasoning Web 2017, LNCS (10370), Springer Verlag, pp.121-166, 2017, Reasoning Web International Summer School, 978-3-319-61032-0. ⟨10.1007/978-3-319-61033-7_5⟩

Chapitre d'ouvrage hal-01661141v1
Deposit thumbnail

Types for Detecting XML Query-Update Independence

Federico Ulliana

Databases [cs.DB]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : ⟩

Thèse tel-00757597v1
Deposit thumbnail

Type-based detection of XML query-update independence

Federico Ulliana

Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112339⟩

Thèse tel-00780488v1