Bernardo Cuenca Grau

According to our database, Bernardo Cuenca Grau authored at least 187 papers between 2004 and 2024.

Collaborative distances:

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

2024

The Stable Model Semantics of Datalog with Metric Temporal Operators.

Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev

Theory Pract. Log. Program., January, 2024

Relational Graph Convolutional Networks Do Not Learn Sound Rules.

Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

CoRR, 2024

Practical Reasoning in DatalogMTL.

Dingmin Wang, Przemyslaw Andrzej Walega, Pan Hu, Bernardo Cuenca Grau

CoRR, 2024

Faithful Rule Extraction for Differentiable Rule Learning Models.

Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Orbit-Equivariant Graph Neural Networks.

Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes.

Ouns El Harzli, Bernardo Cuenca Grau, Guillermo Valle Pérez, Ard A. Louis

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Stream reasoning with DatalogMTL.

Przemyslaw Andrzej Walega, Mark Kaminski, Dingmin Wang, Bernardo Cuenca Grau

J. Web Semant., April, 2023

Finite Materialisability of Datalog Programs with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

J. Artif. Intell. Res., 2023

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.

David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Revisiting Inferential Benchmarks for Knowledge Graph Completion.

Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Cardinality-Minimal Explanations for Monotonic Neural Networks.

Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

An Empirical Study of Retrieval-Enhanced Graph Neural Networks.

Dingmin Wang, Shengchao Liu, Hanchen Wang, Bernardo Cuenca Grau, Linfeng Song, Jian Tang, Le Song, Qi Liu

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs.

Dingmin Wang, Yeyuan Chen, Bernardo Cuenca Grau

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.

Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

The Complexity and Expressive Power of Limit Datalog.

Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks

J. ACM, 2022

Augmenting Message Passing by Retrieving Similar Graphs.

Dingmin Wang, Shengchao Liu, Hanchen Wang, Linfeng Song, Jian Tang, Song Le, Bernardo Cuenca Grau, Qi Liu

CoRR, 2022

Minimal Explanations for Neural Network Predictions.

Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks

CoRR, 2022

The delay and window size problems in rule-based stream reasoning.

Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

Artif. Intell., 2022

Seminaïve Materialisation in DatalogMTL.

Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau

Proceedings of the Rules and Reasoning, 2022

Faithful Approaches to Rule Learning.

David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Explainable GNN-Based Models over Knowledge Graphs.

David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik

Proceedings of the Tenth International Conference on Learning Representations, 2022

Reasoning Techniques in DatalogMTL.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.

Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Pay-as-you-go consequence-based reasoning for the description logic SROIQ.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Artif. Intell., 2021

INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding.

Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Finitely Materialisable Datalog Programs with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

DatalogMTL with Negation Under Stable Models Semantics.

Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Stratified Negation in Datalog with Metric Temporal Operators.

David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

DatalogMTL over the Integer Timeline.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

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

Tractable Fragments of Datalog with Metric Temporal Operators.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.

Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Limit Datalog: A Declarative Query Language for Data Analysis.

Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik

SIGMOD Rec., 2019

Logical Foundations of Linked Data Anonymisation.

Bernardo Cuenca Grau, Egor V. Kostylev

J. Artif. Intell. Res., 2019

Foundations of ontology-based data access under bag semantics.

Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

Artif. Intell., 2019

Towards Explainable Entity Matching via Comparison Queries.

Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 14th International Workshop on Ontology Matching co-located with the 18th International Semantic Web Conference (ISWC 2019), 2019

Query-Based Entity Comparison in Knowledge Graphs Revisited.

Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2019, 2019

Bag Semantics of DL-Lite with Functionality Axioms.

Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2019, 2019

DatalogMTL: Computational Complexity and Expressive Power.

Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.

Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Sequoia: A Consequence Based Reasoner for SROIQ.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

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

Bagging the DL-Lite Family Further.

Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

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

15 Years of Consequence-Based Reasoning.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Reasoning over Streaming Data in Metric Temporal Datalog.

Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks

J. Artif. Intell. Res., 2018

Logical foundations of information disclosure in ontology-based data integration.

Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev

Artif. Intell., 2018

LogMap family participation in the OAEI 2018.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie Cross

Proceedings of the 13th International Workshop on Ontology Matching co-located with the 17th International Semantic Web Conference, 2018

The Window Validity Problem in Rule-Based Stream Reasoning.

Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Stratified Negation in Limit Datalog Programs.

Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

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

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

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

Stream Reasoning in Temporal Datalog.

Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Query Nesting, Assignment, and Aggregation in SPARQL 1.1.

Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau

ACM Trans. Database Syst., 2017

Semantic Faceted Search with Aggregation and Recursion.

Evgeny Sherkhonov, Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev

Proceedings of the Semantic Web - ISWC 2017, 2017

Entity Comparison in RDF Graphs.

Alina Petrova, Evgeny Sherkhonov, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2017, 2017

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet.

Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

LogMap family participation in the OAEI 2017.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie Cross

Proceedings of the 12th International Workshop on Ontology Matching co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017

The Bag Semantics of Ontology-Based Data Access.

Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

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

Foundations of Declarative Data Analysis Using Limit Datalog Programs.

Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

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

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 30th International Workshop on Description Logics, 2017

SemFacet: Making Hard Faceted Search Easier.

Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Source Information Disclosure in Ontology-Based Data Integration.

Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Faceted search over RDF-based knowledge graphs.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov

J. Web Semant., 2016

Module Extraction in Expressive Ontology Languages via Datalog Reasoning.

Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

J. Artif. Intell. Res., 2016

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.

Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Artif. Intell., 2016

Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1.

Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau

Proceedings of the 25th International Conference on World Wide Web, 2016

Reformulating Ontological Queries Using Materialised Rewritings.

Alexandros Chortaras, Bernardo Cuenca Grau, Giorgos B. Stamou, Giorgos Stoilos

Proceedings of the 6th International Conference on Web Intelligence, Mining and Semantics, 2016

Capturing Industrial Information Models with Ontologies and Constraints.

Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2016, 2016

SOMM: Industry Oriented Ontology Management Tool.

Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

LogMap family participation in the OAEI 2016.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie V. Cross

Proceedings of the 11th International Workshop on Ontology Matching co-located with the 15th International Semantic Web Conference (ISWC 2016), 2016

SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs.

Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Marcelo Arenas

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Extending Consequence-Based Reasoning to SRIQ.

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Logical Foundations of Privacy-Preserving Publishing of Linked Data.

Bernardo Cuenca Grau, Egor V. Kostylev

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.

Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks

J. Artif. Intell. Res., 2015

LogMap family results for OAEI 2015.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Alessandro Solimando, Valerie V. Cross

Proceedings of the 10th International Workshop on Ontology Matching collocated with the 14th International Semantic Web Conference (ISWC 2015), 2015

Ontology-based Query Answering with PAGOdA.

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

Computing Horn Rewritings of Description Logics Ontologies.

Mark Kaminski, Bernardo Cuenca Grau

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

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.

Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 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

PAGOdA: Pay-as-you-go ABox Reasoning.

Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks

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

Semantics of SPARQL under OWL 2 Entailment Regimes.

Egor V. Kostylev, Bernardo Cuenca Grau

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

Polynomial Horn Rewritings for Description Logics Ontologies.

Mark Kaminski, Bernardo Cuenca Grau

Proceedings of the 28th International Workshop on Description Logics, 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

Extending Consequence-Based Reasoning to SHIQ.

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks

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

Ontology Module Extraction via Datalog Reasoning.

Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

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

2014

SemFacet: semantic faceted search over yago.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz

Proceedings of the 23rd International World Wide Web Conference, 2014

Towards semantic faceted search.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov

Proceedings of the 23rd International World Wide Web Conference, 2014

Querying Life Science Ontologies with SemFacet.

Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Yujiao Zhou

Proceedings of the 7th International Workshop on Semantic Web Applications and Tools for Life Sciences, 2014

On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes.

Egor V. Kostylev, Bernardo Cuenca Grau

Proceedings of the Semantic Web - ISWC 2014, 2014

LogMap family results for OAEI 2014.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Weiguo Xia, Alessandro Solimando, Xi Chen, Valerie V. Cross, Yuan Gong, Shuo Zhang, Anu Chennai-Thiagarajan

Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014

Results of the Ontology Alignment Evaluation Initiative 2014.

Zlatan Dragisic, Kai Eckert, Jérôme Euzenat, Daniel Faria, Alfio Ferrara, Roger Granada, Valentina Ivanova, Ernesto Jiménez-Ruiz, Andreas Oskar Kempf, Patrick Lambrix, Stefano Montanelli, Heiko Paulheim, Dominique Ritze, Pavel Shvaiko, Alessandro Solimando, Cássia Trojahn dos Santos, Ondrej Zamazal, Bernardo Cuenca Grau

Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 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

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies.

Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Enabling Faceted Search over OWL 2 with SemFacet.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov

Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner.

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

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

Datalog Rewriting Techniques for Non-Horn Ontologies.

Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

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

On Faceted Search over Knowledge Bases.

Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas, Sarunas Marciuska

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

Controlled Query Evaluation over Lightweight Ontologies.

Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 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

Faceted Search over Ontology-Enhanced RDF Data.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 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

Pay-As-You-Go OWL Query Answering Using a Triple Store.

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.

Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.

Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang

J. Artif. Intell. Res., 2013

Making the most of your triple store: query answering in OWL 2 using an RL reasoner.

Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Jay Banerjee

Proceedings of the 22nd International World Wide Web Conference, 2013

Complete Query Answering over Horn Ontologies Using a Triple Store.

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2013, 2013

Is my ontology matching system similar to yours?

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

LogMap and LogMapLt results for OAEI 2013.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

Controlled Query Evaluation over OWL 2 RL Ontologies.

Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov

Proceedings of the Semantic Web - ISWC 2013, 2013

Results of the Ontology Alignment Evaluation Initiative 2013.

Bernardo Cuenca Grau, Zlatan Dragisic, Kai Eckert, Jérôme Euzenat, Alfio Ferrara, Roger Granada, Valentina Ivanova, Ernesto Jiménez-Ruiz, Andreas Oskar Kempf, Patrick Lambrix, Andriy Nikolov, Heiko Paulheim, Dominique Ritze, François Scharffe, Pavel Shvaiko, Cássia Trojahn dos Santos, Ondrej Zamazal

Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems.

Bernardo Cuenca Grau, Martin Giese, Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Schmidt, Ahmet Soylu, Dmitriy Zheleznyakov

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

MORe: a Modular OWL Reasoner for Ontology Classification.

Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Computing Datalog Rewritings Beyond Horn Ontologies.

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

Proceedings of the IJCAI 2013, 2013

Sufficient Conditions for First-Order and Datalog Rewritability in ELU.

Mark Kaminski, Bernardo Cuenca Grau

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

Evaluating Mapping Repair Systems with Large Biomedical Ontologies.

Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks

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

2012

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

J. Artif. Intell. Res., 2012

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach.

Bernardo Cuenca Grau, Boris Motik

J. Artif. Intell. Res., 2012

Evaluating Ontology Matching Systems on Large, Multilingual and Real-world Test Cases

Christian Meilicke, Ondrej Sváb-Zamazal, Cássia Trojahn dos Santos, Ernesto Jiménez-Ruiz, José-Luis Aguirre, Heiner Stuckenschmidt, Bernardo Cuenca Grau

CoRR, 2012

Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 2nd International Workshop on Exploiting Large Knowledge Repositories, 2012

MORe: Modular Combination of OWL Reasoners for Ontology Classification.

Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2012, 2012

LogMap and LogMapLt results for OAEI 2012.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 7th International Workshop on Ontology Matching, 2012

Results of the Ontology Alignment Evaluation Initiative 2012.

José-Luis Aguirre, Kai Eckert, Jérôme Euzenat, Alfio Ferrara, Willem Robert van Hage, Laura Hollink, Christian Meilicke, Andriy Nikolov, Dominique Ritze, François Scharffe, Pavel Shvaiko, Ondrej Sváb-Zamazal, Cássia Trojahn dos Santos, Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Benjamin Zapilko

Proceedings of the 7th International Workshop on Ontology Matching, 2012

How to Contract Ontologies.

Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Ontology Evolution Under Semantic Constraints.

Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov

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

Acyclicity Conditions and their Application to Query Answering in Description Logics.

Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang

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

Large-scale Interactive Ontology Matching: Algorithms and Implementation.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks

Proceedings of the ECAI 2012, 2012

Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.

Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 2012 International Workshop on Description Logics, 2012

Modular Combination of Reasoners for Ontology Classification.

Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 2012 International Workshop on Description Logics, 2012

Ontology Contraction: Beyond the Propositional Paradise.

Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov

Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

Benchmarking Ontology-Based Query Rewriting Systems.

Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Supporting concurrent ontology development: Framework, algorithms and tool.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori

Data Knowl. Eng., 2011

Logic-based assessment of the compatibility of UMLS ontology sources.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori

J. Biomed. Semant., 2011

LogMap 2.0: towards logic-based, scalable and interactive ontology matching.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou

Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011

Repairing Ontologies for Incomplete Reasoners.

Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2011, 2011

LogMap results for OAEI 2011.

Ernesto Jiménez-Ruiz, Antón Morant, Bernardo Cuenca Grau

Proceedings of the 6th International Workshop on Ontology Matching, 2011

Towards more challenging problems for ontology matching tools.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau

Proceedings of the 6th International Workshop on Ontology Matching, 2011

LogMap: Logic-Based and Scalable Ontology Matching.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau

Proceedings of the Semantic Web - ISWC 2011, 2011

What to Ask to an Incomplete Semantic Web Reasoner?.

Bernardo Cuenca Grau, Giorgos Stoilos

Proceedings of the IJCAI 2011, 2011

Repairing Incomplete Reasoners.

Giorgos Stoilos, Bernardo Cuenca Grau

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Privacy in ontology-based information systems: A pending matter.

Bernardo Cuenca Grau

Semantic Web, 2010

Incremental Classification of Description Logics Ontologies.

Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn

J. Autom. Reason., 2010

First Steps in the Logic-based Assessment of Post-composed Phenotypic Descriptions.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Dietrich Rebholz-Schuhmann

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010

Completeness Guarantees for Incomplete Reasoners.

Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Towards a UMLS-based silver standard for matching biomedical ontologies.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori

Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

Pushing the Limits of Reasoning over Ontologies with Hidden Content.

Bernardo Cuenca Grau, Boris Motik

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

How Incomplete Is Your Semantic Web Reasoner?

Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks

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

2009

Ontology Integration Using epsilon-Connections.

Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin

Proceedings of the Modular Ontologies: Concepts, 2009

Extracting Modules from Ontologies: A Logic-Based Approach.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Proceedings of the Modular Ontologies: Concepts, 2009

Representing ontologies using description logics, description graphs, and rules.

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

Artif. Intell., 2009

Towards a Logic-based Assessment of the compatibility of UMLS sources.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Ian Horrocks

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori

Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

Logic-based Ontology Integration using ContentMap.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Import-by-Query: Ontology Reasoning under Access Limitations.

Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov

Proceedings of the IJCAI 2009, 2009

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori

Proceedings of the Semantic Web: Research and Applications, 2009

Building Ontologies Collaboratively Using ContentCVS.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Importing Ontologies with Hidden Content.

Bernardo Cuenca Grau, Boris Motik

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

OWL 2: The next step for OWL.

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler

J. Web Semant., 2008

Modular Reuse of Ontologies: Theory and Practice.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

J. Artif. Intell. Res., 2008

Structured objects in owl: representation and reasoning.

Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler

Proceedings of the 17th International Conference on World Wide Web, 2008

Modeling Ontologies using OWL, Description Graphs, and Rules.

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Representing Structured Objects using Description Graphs.

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Privacy-Preserving Query Answering in Logic-based Information Systems.

Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the ECAI 2008, 2008

The Representation of Structured Objects in DLs using Description Graphs.

Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Metalevel Information in Ontology-Based Applications.

Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Pellet: A practical OWL-DL reasoner.

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz

J. Web Semant., 2007

Just the right amount: extracting modules from ontologies.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Proceedings of the 16th International Conference on World Wide Web, 2007

History Matters: Incremental Ontology Reasoning Using Modules.

Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov

Proceedings of the Semantic Web, 2007

Extracting Modules from Ontologies: A Logic-based Approach.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

A Logical Framework for Modularity of Ontologies.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Proceedings of the IJCAI 2007, 2007

Ontology Reuse: Better Safe than Sorry.

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Swoop: A Web Ontology Editing Browser.

Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau, James A. Hendler

J. Web Semant., 2006

Combining OWL ontologies using epsilon-Connections.

Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin

J. Web Semant., 2006

Next Steps for OWL.

Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

From Wine to Water: Optimizing Description Logic Reasoning for Nominals.

Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia

Proceedings of the Proceedings, 2006

Modularity and Web Ontologies.

Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur

Proceedings of the Proceedings, 2006

Integrating Datalog with OWL: Exploring the AL-log Approach.

Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau

Proceedings of the Logic Programming, 22nd International Conference, 2006

Repairing Unsatisfiable Concepts in OWL Ontologies.

Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau

Proceedings of the Semantic Web: Research and Applications, 2006

Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments.

Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Will my Ontologies Fit Together?

Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

Semantic Web Research Trends and Directions.

Jennifer Golbeck, Bernardo Cuenca Grau, Christian Halaschek-Wiener, Aditya Kalyanpur, Bijan Parsia, Andrew Schain, Evren Sirin, James A. Hendler

Proceedings of the Pattern Recognition and Machine Intelligence, 2005

Representing Qualitative Spatial Information in OWL-DL.

Yarden Katz, Bernardo Cuenca Grau

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Automatic Partitioning of OWL Ontologies Using <i>E</i>-Connections.

Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Generalized Link Properties for Expressive epsilon-Connections of Description Logics.

Bijan Parsia, Bernardo Cuenca Grau

Proceedings of the Proceedings, 2005

2004

How to teach basic quantum mechanics to computer scientists and electrical engineers.

Bernardo Cuenca Grau

IEEE Trans. Educ., 2004

A possible simplification of the semantic web architecture.

Bernardo Cuenca Grau

Proceedings of the 13th international conference on World Wide Web, 2004

Working with Multiple Ontologies on the Semantic Web.

Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin

Proceedings of the Semantic Web, 2004

From SHOQ(D) Toward E-connections.

Bernardo Cuenca Grau, Bijan Parsia

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004