Andreas Pieris

Artif. Intell., August, 2023

Uniform Restricted Chase Termination.

[BibT_eX]

[DOI]

SIAM J. Comput., June, 2023

Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study.

[BibT_eX]

[DOI]

Mostafa Milani

Proc. VLDB Endow., 2023

Generative Datalog with Stable Negation.

[BibT_eX]

[DOI]

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Absolute Expressiveness of Subgraph-Based Centrality Measures.

[BibT_eX]

[DOI]

Jorge Salas

Proceedings of the 26th International Conference on Database Theory, 2023

2022

The Space-Efficient Core of Vadalog.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2022

Absolute Expressiveness of Subgraph Motif Centrality Measures.

[BibT_eX]

[DOI]

Jorge Salas

CoRR, 2022

Inconsistency-tolerant query answering for existential rules.

[BibT_eX]

[DOI]

Thomas Lukasiewicz

Enrico Malizia

Maria Vanina Martinez

Cristian Molinaro

Gerardo I. Simari

Artif. Intell., 2022

Counting Database Repairs Entailing a Query: The Case of Functional Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Uniform Operational Consistent Query Answering.

[BibT_eX]

[DOI]

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Non-Uniformly Terminating Chase: Size and Complexity.

[BibT_eX]

[DOI]

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

Semi-Oblivious Chase Termination: The Sticky Case.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2021

Benchmarking Approximate Consistent Query Answering (Discussion Paper).

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

Benchmarking Approximate Consistent Query Answering.

[BibT_eX]

[DOI]

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Model-theoretic Characterizations of Rule-based Ontologies.

[BibT_eX]

[DOI]

Phokion G. Kolaitis

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

2020

Querying the Semantic Web via Rules.

[BibT_eX]

[DOI]

Marcelo Arenas

Proceedings of the Applications and Practices in Ontology Design, 2020

All-Instances Restricted Chase Termination for Linear TGDs.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

Semantic Optimization of Conjunctive Queries.

[BibT_eX]

[DOI]

J. ACM, 2020

All-Instances Restricted Chase Termination.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Multi-head Guarded Existential Rules Over Fixed Signatures.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

All-Instances Restricted Chase Termination: The Guarded Case.

[BibT_eX]

[DOI]

CoRR, 2019

Counting Database Repairs under Primary Keys Revisited.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

When is Ontology-Mediated Querying Efficient?

[BibT_eX]

[DOI]

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

Vadalog: Recent Advances and Applications.

[BibT_eX]

[DOI]

Emanuel Sallinger

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Oblivious Chase Termination: The Sticky Case.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Database Theory, 2019

Additive First-Order Queries.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Database Theory, 2019

PTime Combined Complexity and FPT in Ontology-Mediated Querying.

[BibT_eX]

[DOI]

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

2018

Expressive Languages for Querying the Semantic Web.

[BibT_eX]

[DOI]

Marcelo Arenas

ACM Trans. Database Syst., 2018

The Impact of Active Domain Predicates on Guarded Existential Rules.

[BibT_eX]

[DOI]

Mantas Simkus

Fundam. Informaticae, 2018

Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Vadalog: A Language and System for Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Second International Joint Conference, 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

An Operational Approach to Consistent Query Answering.

[BibT_eX]

[DOI]

Leonid Libkin

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 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

Ontology-Mediated Queries Distributing over Components.

[BibT_eX]

[DOI]

Gerald Berger

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

Semantic Acyclicity Under Constraints.

[BibT_eX]

[DOI]

Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 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

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

Chase Termination for Guarded Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 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

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

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Querying the Guarded Fragment with Transitivity.

[BibT_eX]

[DOI]

Lidia Tendera

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 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]