Andreas Pieris

Emanuel Sallinger

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

An Operational Approach to Consistent Query Answering.

[BibT_eX]

[DOI]

Marco Calautti

Leonid Libkin

Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

Containment for Rule-Based Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Gerald Berger

Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

Finite Model Reasoning in Hybrid Classes of Existential Rules.

[BibT_eX]

[DOI]

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

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.

[BibT_eX]

[DOI]

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

The Vadalog System: Swift Logic for Big Data and Enterprise Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2017

Semantic Optimization in Tractable Classes of Conjunctive Queries.

[BibT_eX]

[DOI]

Miguel Romero

SIGMOD Rec., 2017

Stable Model Semantics for Tuple-Generating Dependencies Revisited.

[BibT_eX]

[DOI]

Mario Alviano

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data.

[BibT_eX]

[DOI]

Christoph Koch

Proceedings of the Language and Automata Theory and Applications, 2017

Making Cross Products and Guarded Ontology Languages Compatible.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Swift Logic for Big Data and Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Guarded Ontology-Mediated Queries Distributing Over Components.

[BibT_eX]

[DOI]

Gerald Berger

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Guarded-Based Disjunctive Tuple-Generating Dependencies.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2016

Semantic Acyclicity Under Constraints.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Ontology-Mediated Queries Distributing over Components.

[BibT_eX]

[DOI]

Gerald Berger

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Datalog-Based Language for Querying RDF Graphs.

[BibT_eX]

[DOI]

Marcelo Arenas

Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015

Recent Advances in Datalog ^\pm.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-.

[BibT_eX]

[DOI]

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Chase Termination for Guarded Existential Rules.

[BibT_eX]

[DOI]

Marco Calautti

Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Default Negation for Non-Guarded Existential Rules.

[BibT_eX]

[DOI]

Mario Alviano

Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

From Classical to Consistent Query Answering under Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue.

[BibT_eX]

[DOI]

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

Polynomial Rewritings for Linear Existential Rules.

[BibT_eX]

[DOI]

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

Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations.

[BibT_eX]

[DOI]

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

From Classical to Consistent Query Answering under Existential Rules.

[BibT_eX]

[DOI]

Thomas Lukasiewicz

Maria Vanina Martinez

Gerardo I. Simari

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Query Rewriting and Optimization for Ontological Databases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2014

Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Polynomial Combined Rewritings for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Datalog+/-: Questions and Answers.

[BibT_eX]

[DOI]

Thomas Lukasiewicz

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs.

[BibT_eX]

[DOI]

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

2013

Combining decidability paradigms for existential rules.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Querying the Guarded Fragment with Transitivity.

[BibT_eX]

[DOI]

Lidia Tendera

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Tractable Reasoning in Description Logics with Functionality Constraints.

[BibT_eX]

[DOI]

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012

Ontological query answering under expressive Entity-Relationship schemata.

[BibT_eX]

[DOI]

Inf. Syst., 2012

Towards more expressive ontology languages: The query answering problem.

[BibT_eX]

[DOI]

Artif. Intell., 2012

Datalog and Its Extensions for Semantic Web Databases.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

On the Complexity of Ontological Reasoning under Disjunctive Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Querying UML Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2012

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

The Return of the Entity-Relationship Model: Ontological Query Answering.

[BibT_eX]

[DOI]

Proceedings of the Semantic Search over the Web, 2012

2011

Ontological query answering : new languages, algorithms and complexity.

[BibT_eX]

[DOI]

PhD thesis, 2011

A logical toolbox for ontological reasoning.

[BibT_eX]

[DOI]

SIGMOD Rec., 2011

Optimizing Query Answering under Ontological Constraints.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2011

Ontological Queries: Rewriting and Optimization (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2011

On Equality-Generating Dependencies in Ontology Querying (Extended Abstract).

[BibT_eX]

Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

Ontological queries: Rewriting and optimization.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Data Engineering, 2011

Querying Conceptual Schemata with Expressive Equality Constraints.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

On Equality-Generating Dependencies in Ontology Querying - Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011

Ontological Query Answering via Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2011

New Expressive Languages for Ontological Query Answering.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Advanced Processing for Ontological Queries.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2010

Facets of the Fully Mixed Nash Equilibrium Conjecture.

[BibT_eX]

[DOI]

Rainer Feldmann

Marios Mavronicolas

Theory Comput. Syst., 2010

Tractable Query Answering over Conceptual Schemata (Extended Abstract).

[BibT_eX]

Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Query Answering under Non-guarded Rules in Datalog+/-.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Query Answering under Expressive Entity-Relationship Schemata.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Datalog+/-: A Family of Languages for Ontology Querying.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Query Rewriting under Non-Guarded Rules.

[BibT_eX]

[DOI]

Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

Ontological Reasoning with F-logic Lite and its Extensions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Tractable Query Answering over Conceptual Schemata.

[BibT_eX]

[DOI]