Bernardo Cuenca Grau
100 publications
13 venues
H Index 33
Affiliation
University of Oxford, UKLinks
| Name | Venue | Year | citations |
|---|---|---|---|
The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic.
|
AAAI | 2026 | 0 |
| Bayesian Treatment of the Spectrum of the Empirical Kernel in (Sub)Linear-Width Neural Networks.
|
ICLR | 2025 | 0 |
| Parallel Reasoning in Sequoia.
|
ISWC | 2025 | 0 |
| Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions.
|
KR | 2025 | 0 |
| MTLearn: Extracting Temporal Rules Using Datalog Rule Learners.
|
KR | 2024 | 1 |
| Relational Graph Convolutional Networks Do Not Learn Sound Rules.
|
KR | 2024 | 1 |
| Orbit-Equivariant Graph Neural Networks.
|
ICLR | 2024 | 7 |
| Faithful Rule Extraction for Differentiable Rule Learning Models.
|
ICLR | 2024 | 6 |
| Bridging Max Graph Neural Networks and Datalog with Negation.
|
KR | 2024 | 9 |
| Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes.
|
AAAI | 2024 | 0 |
| Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.
|
AAAI | 2023 | 13 |
| On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.
|
KR | 2023 | 16 |
| Finite Materialisability of Datalog Programs with Metric Temporal Operators.
|
JAIR | 2023 | 6 |
| Revisiting Inferential Benchmarks for Knowledge Graph Completion.
|
KR | 2023 | 3 |
| Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs.
|
AAAI | 2023 | 16 |
| Cardinality-Minimal Explanations for Monotonic Neural Networks.
|
IJCAI | 2023 | 0 |
| An Empirical Study of Retrieval-Enhanced Graph Neural Networks.
|
ECAI | 2023 | 0 |
| Explainable GNN-Based Models over Knowledge Graphs.
|
ICLR | 2022 | 35 |
| The delay and window size problems in rule-based stream reasoning.
|
Artificial Intelligence | 2022 | 11 |
| Faithful Approaches to Rule Learning.
|
KR | 2022 | 6 |
| MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.
|
AAAI | 2022 | 39 |
| Stratified Negation in Datalog with Metric Temporal Operators.
|
AAAI | 2021 | 27 |
| INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding.
|
NIPS/NeurIPS | 2021 | 106 |
| Pay-as-you-go consequence-based reasoning for the description logic SROIQ.
|
Artificial Intelligence | 2021 | 3 |
| DatalogMTL with Negation Under Stable Models Semantics.
|
KR | 2021 | 17 |
| Finitely Materialisable Datalog Programs with Metric Temporal Operators.
|
KR | 2021 | 16 |
| Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.
|
AAAI | 2020 | 5 |
| Tractable Fragments of Datalog with Metric Temporal Operators.
|
IJCAI | 2020 | 30 |
| DatalogMTL over the Integer Timeline.
|
KR | 2020 | 0 |
| Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.
|
IJCAI | 2019 | 7 |
| Foundations of ontology-based data access under bag semantics.
|
Artificial Intelligence | 2019 | 30 |
| Logical Foundations of Linked Data Anonymisation.
|
JAIR | 2019 | 22 |
| Reasoning over Streaming Data in Metric Temporal Datalog.
|
AAAI | 2019 | 46 |
| DatalogMTL: Computational Complexity and Expressive Power.
|
IJCAI | 2019 | 50 |
| Query-Based Entity Comparison in Knowledge Graphs Revisited.
|
ISWC | 2019 | 13 |
| Bag Semantics of DL-Lite with Functionality Axioms.
|
ISWC | 2019 | 2 |
| Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
|
JAIR | 2018 | 11 |
| Stratified Negation in Limit Datalog Programs.
|
IJCAI | 2018 | 6 |
| The Window Validity Problem in Rule-Based Stream Reasoning.
|
KR | 2018 | 8 |
| Logical foundations of information disclosure in ontology-based data integration.
|
Artificial Intelligence | 2018 | 39 |
| Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.
|
IJCAI | 2018 | 13 |
| Stream Reasoning in Temporal Datalog.
|
AAAI | 2018 | 0 |
| Foundations of Declarative Data Analysis Using Limit Datalog Programs.
|
IJCAI | 2017 | 21 |
| Semantic Faceted Search with Aggregation and Recursion.
|
ISWC | 2017 | 32 |
| Source Information Disclosure in Ontology-Based Data Integration.
|
AAAI | 2017 | 11 |
| The Bag Semantics of Ontology-Based Data Access.
|
IJCAI | 2017 | 20 |
| Entity Comparison in RDF Graphs.
|
ISWC | 2017 | 27 |
| SemFacet: Making Hard Faceted Search Easier.
|
CIKM | 2017 | 22 |
| Module Extraction in Expressive Ontology Languages via Datalog Reasoning.
|
JAIR | 2016 | 45 |
| Capturing Industrial Information Models with Ontologies and Constraints.
|
ISWC | 2016 | 70 |
| Logical Foundations of Privacy-Preserving Publishing of Linked Data.
|
AAAI | 2016 | 34 |
| Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1.
|
WWW | 2016 | 30 |
| Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.
|
Artificial Intelligence | 2016 | 31 |
| Extending Consequence-Based Reasoning to SRIQ.
|
KR | 2016 | 0 |
| The Combined Approach to Query Answering Beyond the OWL 2 Profiles.
|
IJCAI | 2015 | 15 |
| Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.
|
IJCAI | 2015 | 43 |
| Computing Horn Rewritings of Description Logics Ontologies.
|
IJCAI | 2015 | 4 |
| Ontology Module Extraction via Datalog Reasoning.
|
AAAI | 2015 | 0 |
| PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.
|
JAIR | 2015 | 0 |
| Pay-As-You-Go OWL Query Answering Using a Triple Store.
|
AAAI | 2014 | 30 |
| Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.
|
AAAI | 2014 | 29 |
| Faceted Search over Ontology-Enhanced RDF Data.
|
CIKM | 2014 | 60 |
| On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes.
|
ISWC | 2014 | 25 |
| Pushing the Boundaries of Tractable Ontology Reasoning.
|
ISWC | 2014 | 14 |
| Making the most of your triple store: query answering in OWL 2 using an RL reasoner.
|
WWW | 2013 | 44 |
| Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
|
JAIR | 2013 | 137 |
| Controlled Query Evaluation over OWL 2 RL Ontologies.
|
ISWC | 2013 | 39 |
| Complete Query Answering over Horn Ontologies Using a Triple Store.
|
ISWC | 2013 | 19 |
| Computing Datalog Rewritings Beyond Horn Ontologies.
|
IJCAI | 2013 | 0 |
| Ontology Evolution Under Semantic Constraints.
|
KR | 2012 | 35 |
| Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach.
|
JAIR | 2012 | 47 |
| Acyclicity Conditions and their Application to Query Answering in Description Logics.
|
KR | 2012 | 29 |
| Large-scale Interactive Ontology Matching: Algorithms and Implementation.
|
ECAI | 2012 | 178 |
| MORe: Modular Combination of OWL Reasoners for Ontology Classification.
|
ISWC | 2012 | 93 |
| Benchmarking Ontology-Based Query Rewriting Systems.
|
AAAI | 2012 | 39 |
| Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
|
JAIR | 2012 | 0 |
| What to Ask to an Incomplete Semantic Web Reasoner?.
|
IJCAI | 2011 | 9 |
| Repairing Ontologies for Incomplete Reasoners.
|
ISWC | 2011 | 17 |
| LogMap: Logic-Based and Scalable Ontology Matching.
|
ISWC | 2011 | 620 |
| How Incomplete Is Your Semantic Web Reasoner?
|
AAAI | 2010 | 41 |
| Pushing the Limits of Reasoning over Ontologies with Hidden Content.
|
KR | 2010 | 9 |
| Completeness Guarantees for Incomplete Reasoners.
|
ISWC | 2010 | 6 |
| Import-by-Query: Ontology Reasoning under Access Limitations.
|
IJCAI | 2009 | 9 |
| Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences.
|
ESWC | 2009 | 143 |
| Representing ontologies using description logics, description graphs, and rules.
|
Artificial Intelligence | 2009 | 70 |
| Structured objects in owl: representation and reasoning.
|
WWW | 2008 | 85 |
| Representing Structured Objects using Description Graphs.
|
KR | 2008 | 24 |
| Privacy-Preserving Query Answering in Logic-based Information Systems.
|
ECAI | 2008 | 35 |
| Modular Reuse of Ontologies: Theory and Practice.
|
JAIR | 2008 | 447 |
| Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.
|
ESWC | 2008 | 119 |
| Metalevel Information in Ontology-Based Applications.
|
AAAI | 2008 | 27 |
| A Logical Framework for Modularity of Ontologies.
|
IJCAI | 2007 | 171 |
| Just the right amount: extracting modules from ontologies.
|
WWW | 2007 | 268 |
| Repairing Unsatisfiable Concepts in OWL Ontologies.
|
ESWC | 2006 | 246 |
| Modularity and Web Ontologies.
|
KR | 2006 | 0 |
| Integrating Datalog with OWL: Exploring the AL-log Approach.
|
ICLP | 2006 | 8 |
| From Wine to Water: Optimizing Description Logic Reasoning for Nominals.
|
KR | 2006 | 61 |
| Generalized Link Properties for Expressive epsilon-Connections of Description Logics.
|
AAAI | 2005 | 9 |
| A possible simplification of the semantic web architecture.
|
WWW | 2004 | 48 |
| Working with Multiple Ontologies on the Semantic Web.
|
ISWC | 2004 | 142 |