Bernardo Cuenca Grau

90 publications

13 venues

H Index 31

Name Venue Year citations
Finite Materialisability of Datalog Programs with Metric Temporal Operators. JAIR 2023 0
Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs. AAAI 2023 0
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. AAAI 2023 0
Cardinality-Minimal Explanations for Monotonic Neural Networks. IJCAI 2023 0
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR 2023 0
Revisiting Inferential Benchmarks for Knowledge Graph Completion. KR 2023 0
An Empirical Study of Retrieval-Enhanced Graph Neural Networks. ECAI 2023 0
Explainable GNN-Based Models over Knowledge Graphs. ICLR 2022 5
Faithful Approaches to Rule Learning. KR 2022 0
The delay and window size problems in rule-based stream reasoning. Artificial Intelligence 2022 3
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. AAAI 2022 6
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding. NIPS/NeurIPS 2021 19
DatalogMTL with Negation Under Stable Models Semantics. KR 2021 6
Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artificial Intelligence 2021 3
Stratified Negation in Datalog with Metric Temporal Operators. AAAI 2021 11
Finitely Materialisable Datalog Programs with Metric Temporal Operators. KR 2021 9
DatalogMTL over the Integer Timeline. KR 2020 14
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI 2020 4
Tractable Fragments of Datalog with Metric Temporal Operators. IJCAI 2020 13
DatalogMTL: Computational Complexity and Expressive Power. IJCAI 2019 19
Reasoning over Streaming Data in Metric Temporal Datalog. AAAI 2019 27
Bag Semantics of DL-Lite with Functionality Axioms. ISWC 2019 3
Logical Foundations of Linked Data Anonymisation. JAIR 2019 16
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. IJCAI 2019 6
Query-Based Entity Comparison in Knowledge Graphs Revisited. ISWC 2019 6
Foundations of ontology-based data access under bag semantics. Artificial Intelligence 2019 18
Stratified Negation in Limit Datalog Programs. IJCAI 2018 7
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. JAIR 2018 10
The Window Validity Problem in Rule-Based Stream Reasoning. KR 2018 7
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. IJCAI 2018 11
Logical foundations of information disclosure in ontology-based data integration. Artificial Intelligence 2018 32
Stream Reasoning in Temporal Datalog. AAAI 2018 0
Entity Comparison in RDF Graphs. ISWC 2017 17
Source Information Disclosure in Ontology-Based Data Integration. AAAI 2017 12
The Bag Semantics of Ontology-Based Data Access. IJCAI 2017 15
Semantic Faceted Search with Aggregation and Recursion. ISWC 2017 29
SemFacet: Making Hard Faceted Search Easier. CIKM 2017 19
Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI 2017 16
Logical Foundations of Privacy-Preserving Publishing of Linked Data. AAAI 2016 29
Module Extraction in Expressive Ontology Languages via Datalog Reasoning. JAIR 2016 39
Capturing Industrial Information Models with Ontologies and Constraints. ISWC 2016 62
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. Artificial Intelligence 2016 31
Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. WWW 2016 30
Extending Consequence-Based Reasoning to SRIQ. KR 2016 0
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. IJCAI 2015 31
The Combined Approach to Query Answering Beyond the OWL 2 Profiles. IJCAI 2015 14
Computing Horn Rewritings of Description Logics Ontologies. IJCAI 2015 5
Ontology Module Extraction via Datalog Reasoning. AAAI 2015 0
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. JAIR 2015 0
On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes. ISWC 2014 24
Pushing the Boundaries of Tractable Ontology Reasoning. ISWC 2014 13
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. AAAI 2014 29
Pay-As-You-Go OWL Query Answering Using a Triple Store. AAAI 2014 31
Faceted Search over Ontology-Enhanced RDF Data. CIKM 2014 58
Making the most of your triple store: query answering in OWL 2 using an RL reasoner. WWW 2013 39
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. JAIR 2013 118
Complete Query Answering over Horn Ontologies Using a Triple Store. ISWC 2013 19
Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI 2013 33
Controlled Query Evaluation over OWL 2 RL Ontologies. ISWC 2013 32
Benchmarking Ontology-Based Query Rewriting Systems. AAAI 2012 39
MORe: Modular Combination of OWL Reasoners for Ontology Classification. ISWC 2012 92
Ontology Evolution Under Semantic Constraints. KR 2012 35
Large-scale Interactive Ontology Matching: Algorithms and Implementation. ECAI 2012 159
Acyclicity Conditions and their Application to Query Answering in Description Logics. KR 2012 34
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. JAIR 2012 45
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. JAIR 2012 0
What to Ask to an Incomplete Semantic Web Reasoner?. IJCAI 2011 10
LogMap: Logic-Based and Scalable Ontology Matching. ISWC 2011 477
Repairing Ontologies for Incomplete Reasoners. ISWC 2011 16
Completeness Guarantees for Incomplete Reasoners. ISWC 2010 6
Pushing the Limits of Reasoning over Ontologies with Hidden Content. KR 2010 9
How Incomplete Is Your Semantic Web Reasoner? AAAI 2010 41
Representing ontologies using description logics, description graphs, and rules. Artificial Intelligence 2009 69
Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI 2009 8
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. ESWC 2009 140
Metalevel Information in Ontology-Based Applications. AAAI 2008 29
Representing Structured Objects using Description Graphs. KR 2008 25
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. ESWC 2008 119
Modular Reuse of Ontologies: Theory and Practice. JAIR 2008 436
Structured objects in owl: representation and reasoning. WWW 2008 83
Privacy-Preserving Query Answering in Logic-based Information Systems. ECAI 2008 32
Just the right amount: extracting modules from ontologies. WWW 2007 267
A Logical Framework for Modularity of Ontologies. IJCAI 2007 168
Repairing Unsatisfiable Concepts in OWL Ontologies. ESWC 2006 238
From Wine to Water: Optimizing Description Logic Reasoning for Nominals. KR 2006 62
Modularity and Web Ontologies. KR 2006 160
Integrating Datalog with OWL: Exploring the AL-log Approach. ICLP 2006 7
Generalized Link Properties for Expressive epsilon-Connections of Description Logics. AAAI 2005 9
Working with Multiple Ontologies on the Semantic Web. ISWC 2004 141
A possible simplification of the semantic web architecture. WWW 2004 46
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ