Cristina Feier

According to our database, Cristina Feier authored at least 34 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Evaluating Graph Queries Using Semantic Treewidth.

Cristina Feier, Tomasz Gogacz, Filip Murlak

Proceedings of the 27th International Conference on Database Theory, 2024

2023

Answer Counting under Guarded TGDs.

Cristina Feier, Carsten Lutz, Marcin Przybylko

Log. Methods Comput. Sci., 2023

Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper).

Cristina Feier, Tomasz Gogacz, Filip Murlak

Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022

Characterising Fixed Parameter Tractability for Query Evaluation over Guarded TGDs.

Cristina Feier

Proceedings of the 25th International Conference on Database Theory, 2022

2021

Efficiency of Query Evaluation Under Guarded TGDs: The Unbounded Arity Case.

Cristina Feier

CoRR, 2021

Characterising Fixed Parameter Tractability of Query Evaluation Over Guarded TGDs (Extended Abstract).

Cristina Feier

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.

Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract).

Cristina Feier, Carsten Lutz, Marcin Przybylko

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.

Cristina Feier, Antti Kuusisto, Carsten Lutz

Log. Methods Comput. Sci., 2019

When is Ontology-Mediated Querying Efficient?

Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

PTime Combined Complexity and FPT in Ontology-Mediated Querying.

Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies.

David Carral, Cristina Feier, Pascal Hitzler

CoRR, 2018

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.

Cristina Feier, Carsten Lutz, Frank Wolter

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying.

Cristina Feier, Carsten Lutz, Frank Wolter

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).

Cristina Feier, Antti Kuusisto, Carsten Lutz

Proceedings of the 20th International Conference on Database Theory, 2017

2016

A Practical Acyclicity Notion for Query Answering Over Horn- <i>SRIQ</i> Ontologies.

David Carral, Cristina Feier, Pascal Hitzler

Proceedings of the Semantic Web - ISWC 2016, 2016

FO-Rewritability of Expressive Ontology-Mediated Queries.

Cristina Feier, Antti Kuusisto, Carsten Lutz

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Reasoning with Forest Logic Programs Using Fully Enriched Automata.

Cristina Feier, Thomas Eiter

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

The Combined Approach to Query Answering Beyond the OWL 2 Profiles.

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Extending the Combined Approach Beyond Lightweight Description Logics.

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Pushing the Boundaries of Tractable Ontology Reasoning.

David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2014, 2014

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.

David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

<i>EL</i>-ifying Ontologies.

David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Reasoning with Forest Logic Programs and f-hybrid knowledge bases.

Cristina Feier, Stijn Heymans

Theory Pract. Log. Program., 2013

2012

Worst-Case Optimal Reasoning with Forest Logic Programs.

Cristina Feier

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Simulating Production Rules Using ACTHEX.

Thomas Eiter, Cristina Feier, Michael Fink

Proceedings of the Correct Reasoning, 2012

2010

An Optimization for Reasoning with Forest Logic Programs

Cristina Feier, Stijn Heymans

CoRR, 2010

2009

A Reasoner for Simple Conceptual Logic Programs.

Stijn Heymans, Cristina Feier, Thomas Eiter

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Hybrid Reasoning with Forest Logic Programs.

Cristina Feier, Stijn Heymans

Proceedings of the Semantic Web: Research and Applications, 2009

2008

Guarded hybrid knowledge bases.

Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh

Theory Pract. Log. Program., 2008

Ontology Reasoning with Large Data Repositories.

Stijn Heymans, Li Ma, Darko Anicic, Zhilei Ma, Nathalie Steinmetz, Yue Pan, Jing Mei, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Cristina Feier, Graham Hench, Branimir Wetzstein, Uwe Keller

Proceedings of the Ontology Management, 2008

2007

A Framework for Distributed Reasoning on the Semantic Web Based on Open Answer Set Programming.

Cristina Feier

Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, 2007

2006

Rules with Contextually Scoped Negation.

Axel Polleres, Cristina Feier, Andreas Harth

Proceedings of the Semantic Web: Research and Applications, 2006

2005

Web Service Modeling Ontology.

Dumitru Roman, Uwe Keller, Holger Lausen, Jos de Bruijn, Rubén Lara, Michael Stollberg, Axel Polleres, Cristina Feier, Christoph Bussler, Dieter Fensel

Appl. Ontology, 2005