Cristina Feier : Publications
-
[1]
Reasoning with Forest Logic Programs Using Fully Enriched Automata
Cristina Feier and Thomas Eiter
In Int. Workshop on Ontologies and Logic Programming for Query Answering (ONTOLP). 2015.
Details about Reasoning with Forest Logic Programs Using Fully Enriched Automata | BibTeX data for Reasoning with Forest Logic Programs Using Fully Enriched Automata | Download (pdf) of Reasoning with Forest Logic Programs Using Fully Enriched Automata
-
[2]
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
Cristina Feier‚ David Carral‚ Giorgio Stefanoni‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 2015.
Details about The Combined Approach to Query Answering Beyond the OWL 2 Profiles | BibTeX data for The Combined Approach to Query Answering Beyond the OWL 2 Profiles | Download (pdf) of The Combined Approach to Query Answering Beyond the OWL 2 Profiles
-
[3]
Extending the Combined Approach Beyond Lightweight Description Logics
Cristina Feier‚ David Carral‚ Giorgio Stefanoni‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the 28th International Workshop on Description Logics (DL). 2015.
Details about Extending the Combined Approach Beyond Lightweight Description Logics | BibTeX data for Extending the Combined Approach Beyond Lightweight Description Logics | Download (pdf) of Extending the Combined Approach Beyond Lightweight Description Logics
-
[4]
EL−ifying Ontologies
David Carral‚ Cristina Feier‚ Bernardo Cuenca Grau‚ Pascal Hitzler and Ian Horrocks
In Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR−2014). 2014.
Details about EL−ifying Ontologies | BibTeX data for EL−ifying Ontologies | Download (pdf) of EL−ifying Ontologies
-
[5]
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 and Ian Horrocks
In Proceedings of the 27th International Workshop on Description Logics (DL). 2014.
Details about Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs | BibTeX data for Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs | Download (pdf) of Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
-
[6]
Pushing the Boundaries of Tractable Ontology Reasoning
David Carral‚ Cristina Feier‚ Bernardo Cuenca Grau‚ Pascal Hitzler and Ian Horrocks
In Proceedings of the 13th International Semantic Web Conference (ISWC). 2014.
Details about Pushing the Boundaries of Tractable Ontology Reasoning | BibTeX data for Pushing the Boundaries of Tractable Ontology Reasoning | Download (pdf) of Pushing the Boundaries of Tractable Ontology Reasoning