Cristina Feier

43 papers A* 5A 4B 3Journal 15Unranked 15
YearRankTypeTitle / Venue / Authors
2025 — conf
Fine-Grained Complexity of Ontology Mediated Queries (Invited Paper).
RW
Cristina Feier
2024 A conf
Evaluating Graph Queries Using Semantic Treewidth.
ICDT
Cristina Feier, Tomasz Gogacz, Filip Murlak
2023 J jnl
Answer Counting under Guarded TGDs.
Log. Methods Comput. Sci.
Cristina Feier, Carsten Lutz, Marcin Przybylko
2023 — conf
Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper).
AMW
Cristina Feier, Tomasz Gogacz, Filip Murlak
2022 A conf
Characterising Fixed Parameter Tractability for Query Evaluation over Guarded TGDs.
ICDT
Cristina Feier
2021 A conf
Answer Counting Under Guarded TGDs.
ICDT
Cristina Feier, Carsten Lutz, Marcin Przybylko
2021 J jnl
Answer Counting under Guarded TGDs.
CoRR
Cristina Feier, Carsten Lutz, Marcin Przybylko
2021 — conf
Characterising Fixed Parameter Tractability of Query Evaluation Over Guarded TGDs (Extended Abstract).
Description Logics
Cristina Feier
2021 J jnl
Efficiency of Query Evaluation Under Guarded TGDs: The Unbounded Arity Case.
CoRR
Cristina Feier
2020 J jnl
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.
CoRR
Cristina Feier, Carsten Lutz, Frank Wolter
2020 — conf
The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract).
Description Logics
Cristina Feier, Carsten Lutz, Marcin Przybylko
2020 A* conf
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.
PODS
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
2020 J jnl
When is Ontology-Mediated Querying Efficient?
CoRR
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2019 — conf
PTime Combined Complexity and FPT in Ontology-Mediated Querying.
Description Logics
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2019 J jnl
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
Log. Methods Comput. Sci.
Cristina Feier, Antti Kuusisto, Carsten Lutz
2019 J jnl
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.
CoRR
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
2019 A* conf
When is Ontology-Mediated Querying Efficient?
LICS
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2018 J jnl
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies.
CoRR
David Carral, Cristina Feier, Pascal Hitzler
2018 A* conf
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.
IJCAI
Cristina Feier, Carsten Lutz, Frank Wolter
2018 — conf
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying.
Description Logics
Cristina Feier, Carsten Lutz, Frank Wolter
2017 A conf
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).
ICDT
Cristina Feier, Antti Kuusisto, Carsten Lutz
2017 J jnl
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
CoRR
Cristina Feier, Antti Kuusisto, Carsten Lutz
2016 — conf
A Practical Acyclicity Notion for Query Answering Over Horn-
ISWC (1)
David Carral, Cristina Feier, Pascal Hitzler
2016 — conf
FO-Rewritability of Expressive Ontology-Mediated Queries.
Description Logics
Cristina Feier, Antti Kuusisto, Carsten Lutz
2015 — conf
Extending the Combined Approach Beyond Lightweight Description Logics.
Description Logics
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
2015 — conf
Reasoning with Forest Logic Programs Using Fully Enriched Automata.
JOWO@IJCAI
Cristina Feier, Thomas Eiter
2015 B conf
Reasoning with Forest Logic Programs Using Fully Enriched Automata.
LPNMR
Cristina Feier, Thomas Eiter
2015 A* conf
The Combined Approach to Query Answering Beyond the OWL 2 Profiles.
IJCAI
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
2014 — conf
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.
Description Logics
David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2014 — conf
Pushing the Boundaries of Tractable Ontology Reasoning.
ISWC (2)
David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2013 J jnl
Reasoning with Forest Logic Programs and f-hybrid knowledge bases.
Theory Pract. Log. Program.
Cristina Feier, Stijn Heymans
2012 — conf
Simulating Production Rules Using ACTHEX.
Correct Reasoning
Thomas Eiter, Cristina Feier, Michael Fink
2012 A* conf
Worst-Case Optimal Reasoning with Forest Logic Programs.
KR
Cristina Feier
2011 J jnl
Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases
CoRR
Cristina Feier, Stijn Heymans
2010 J jnl
An Optimization for Reasoning with Forest Logic Programs
CoRR
Cristina Feier, Stijn Heymans
2009 — conf
A Reasoner for Simple Conceptual Logic Programs.
RR
Stijn Heymans, Cristina Feier, Thomas Eiter
2009 B conf
Hybrid Reasoning with Forest Logic Programs.
ESWC
Cristina Feier, Stijn Heymans
2008 J jnl
Guarded hybrid knowledge bases.
Theory Pract. Log. Program.
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh
2008 — ch.
Ontology Reasoning with Large Data Repositories.
Ontology Management
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
2007 — conf
A Framework for Distributed Reasoning on the Semantic Web Based on Open Answer Set Programming.
KWEPSY
Cristina Feier
2007 J jnl
Guarded Hybrid Knowledge Bases
CoRR
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh
2006 B conf
Rules with Contextually Scoped Negation.
ESWC
Axel Polleres, Cristina Feier, Andreas Harth
2005 J jnl
Web Service Modeling Ontology.
Appl. Ontology
Dumitru Roman, Uwe Keller, Holger Lausen, Jos de Bruijn, Rubén Lara, Michael Stollberg, Axel Polleres, Cristina Feier, Christoph Bussler, Dieter Fensel