Bernardo Cuenca Grau

228 papers A* 61A 5B 5Misc 1Journal 62Unranked 87

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks. CoRR Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2026	J	`jnl`	Sufficient Conditions for Stability of Minimum-Norm Interpolating Deep ReLU Networks. CoRR Ouns El Harzli, Yoonsoo Nam, Ilja Kuzborskij, Bernardo Cuenca Grau, Ard A. Louis
2026	A*	`conf`	The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic. AAAI Bernardo Cuenca Grau, Eva Feng, Przemyslaw Andrzej Walega
2025	A*	`conf`	Bayesian Treatment of the Spectrum of the Empirical Kernel in (Sub)Linear-Width Neural Networks. ICLR Ouns El Harzli, Bernardo Cuenca Grau
2025	J	`jnl`	From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks. CoRR Ouns El Harzli, Bernardo Cuenca Grau, Artur d'Avila Garcez, Ian Horrocks, Tarek R. Besold
2025	A*	`conf`	Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions. KR Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau
2025	J	`jnl`	Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions. CoRR Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau
2025	—	`conf`	Parallel Reasoning in Sequoia. ISWC (1) Alexander Furmston, David J. Tena Cucala, Jieying Chen, Bernardo Cuenca Grau
2025	J	`jnl`	Practical Reasoning in DatalogMTL. Theory Pract. Log. Program. Dingmin Wang, Bernardo Cuenca Grau, Przemyslaw Andrzej Walega, Pan Hu
2025	J	`jnl`	The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic. CoRR Bernardo Cuenca Grau, Przemyslaw Andrzej Walega
2024	A*	`conf`	Bridging Max Graph Neural Networks and Datalog with Negation. KR David J. Tena Cucala, Bernardo Cuenca Grau
2024	A*	`conf`	Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes. AAAI Ouns El Harzli, Bernardo Cuenca Grau, Guillermo Valle Pérez, Ard A. Louis
2024	A*	`conf`	Faithful Rule Extraction for Differentiable Rule Learning Models. ICLR Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024	A*	`conf`	MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. KR Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2024	A*	`conf`	Orbit-Equivariant Graph Neural Networks. ICLR Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks
2024	J	`jnl`	Practical Reasoning in DatalogMTL. CoRR Dingmin Wang, Przemyslaw Andrzej Walega, Pan Hu, Bernardo Cuenca Grau
2024	A*	`conf`	Relational Graph Convolutional Networks Do Not Learn Sound Rules. KR Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024	J	`jnl`	Relational Graph Convolutional Networks Do Not Learn Sound Rules. CoRR Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024	J	`jnl`	The Stable Model Semantics of Datalog with Metric Temporal Operators. Theory Pract. Log. Program. Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
2023	A	`conf`	An Empirical Study of Retrieval-Enhanced Graph Neural Networks. ECAI Dingmin Wang, Shengchao Liu, Hanchen Wang, Bernardo Cuenca Grau, Linfeng Song, Jian Tang, Le Song, Qi Liu
2023	A*	`conf`	Cardinality-Minimal Explanations for Monotonic Neural Networks. IJCAI Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks
2023	A*	`conf`	Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs. AAAI Dingmin Wang, Yeyuan Chen, Bernardo Cuenca Grau
2023	J	`jnl`	Finite Materialisability of Datalog Programs with Metric Temporal Operators. J. Artif. Intell. Res. Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2023	A*	`conf`	Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. AAAI Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau
2023	A*	`conf`	On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
2023	J	`jnl`	On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. CoRR David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
2023	A*	`conf`	Revisiting Inferential Benchmarks for Knowledge Graph Completion. KR Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2023	J	`jnl`	Revisiting Inferential Benchmarks for Knowledge Graph Completion. CoRR Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2023	J	`jnl`	Stream reasoning with DatalogMTL. J. Web Semant. Przemyslaw Andrzej Walega, Mark Kaminski, Dingmin Wang, Bernardo Cuenca Grau
2023	J	`jnl`	The Stable Model Semantics of Datalog with Metric Temporal Operators. CoRR Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
2022	J	`jnl`	Augmenting Message Passing by Retrieving Similar Graphs. CoRR Dingmin Wang, Shengchao Liu, Hanchen Wang, Linfeng Song, Jian Tang, Song Le, Bernardo Cuenca Grau, Qi Liu
2022	A*	`conf`	Explainable GNN-Based Models over Knowledge Graphs. ICLR David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik
2022	A*	`conf`	Faithful Approaches to Rule Learning. KR David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik
2022	A*	`conf`	MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. AAAI Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2022	J	`jnl`	MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. CoRR Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2022	J	`jnl`	Minimal Explanations for Neural Network Predictions. CoRR Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks
2022	—	`conf`	Reasoning Techniques in DatalogMTL. Datalog Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2022	J	`jnl`	Seminaive Materialisation in DatalogMTL. CoRR Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2022	B	`conf`	Seminaïve Materialisation in DatalogMTL. RuleML+RR Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2022	J	`jnl`	The Complexity and Expressive Power of Limit Datalog. J. ACM Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2022	J	`jnl`	The delay and window size problems in rule-based stream reasoning. Artif. Intell. Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2021	A*	`conf`	DatalogMTL with Negation Under Stable Models Semantics. KR Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau
2021	A*	`conf`	Finitely Materialisable Datalog Programs with Metric Temporal Operators. KR Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2021	A*	`conf`	INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding. NeurIPS Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2021	J	`jnl`	Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artif. Intell. David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2021	A*	`conf`	Stratified Negation in Datalog with Metric Temporal Operators. AAAI David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev
2020	A*	`conf`	Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2020	A*	`conf`	DatalogMTL over the Integer Timeline. KR Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2020	A*	`conf`	Tractable Fragments of Datalog with Metric Temporal Operators. IJCAI Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2019	—	`conf`	15 Years of Consequence-Based Reasoning. Description Logic, Theory Combination, and All That David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2019	—	`conf`	Bag Semantics of DL-Lite with Functionality Axioms. ISWC (1) Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019	—	`conf`	Bagging the DL-Lite Family Further. Description Logics Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019	A*	`conf`	DatalogMTL: Computational Complexity and Expressive Power. IJCAI Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2019	J	`jnl`	Foundations of ontology-based data access under bag semantics. Artif. Intell. Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2019	J	`jnl`	Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik
2019	J	`jnl`	Logical Foundations of Linked Data Anonymisation. J. Artif. Intell. Res. Bernardo Cuenca Grau, Egor V. Kostylev
2019	—	`conf`	Query-Based Entity Comparison in Knowledge Graphs Revisited. ISWC (1) Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
2019	A*	`conf`	Reasoning over Streaming Data in Metric Temporal Datalog. AAAI Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau
2019	A*	`conf`	Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. IJCAI Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks
2019	—	`conf`	Sequoia: A Consequence Based Reasoner for SROIQ. Description Logics David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2019	—	`conf`	Towards Explainable Entity Matching via Comparison Queries. OM@ISWC Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
2018	J	`jnl`	Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancík, Ian Horrocks
2018	A*	`conf`	Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. IJCAI David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2018	J	`jnl`	Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. CoRR David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2018	—	`conf`	LogMap family participation in the OAEI 2018. OM@ISWC Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie Cross
2018	J	`jnl`	Logical foundations of information disclosure in ontology-based data integration. Artif. Intell. Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
2018	A*	`conf`	Stratified Negation in Limit Datalog Programs. IJCAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018	J	`jnl`	Stratified Negation in Limit Datalog Programs. CoRR Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018	A*	`conf`	Stream Reasoning in Temporal Datalog. AAAI Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2018	A*	`conf`	The Window Validity Problem in Rule-Based Stream Reasoning. KR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2018	J	`jnl`	The Window Validity Problem in Rule-Based Stream Reasoning. CoRR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2017	—	`conf`	Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. Description Logics David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2017	—	`conf`	Entity Comparison in RDF Graphs. ISWC (1) Alina Petrova, Evgeny Sherkhonov, Bernardo Cuenca Grau, Ian Horrocks
2017	A*	`conf`	Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017	J	`jnl`	Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017	—	`conf`	LogMap family participation in the OAEI 2017. OM@ISWC Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie Cross
2017	J	`jnl`	Query Nesting, Assignment, and Aggregation in SPARQL 1.1. ACM Trans. Database Syst. Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
2017	—	`conf`	Ranking, Aggregation, and Reachability in Faceted Search with SemFacet. ISWC (Posters, Demos & Industry Tracks) Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2017	A	`conf`	SemFacet: Making Hard Faceted Search Easier. CIKM Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2017	—	`conf`	Semantic Faceted Search with Aggregation and Recursion. ISWC (1) Evgeny Sherkhonov, Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev
2017	A*	`conf`	Source Information Disclosure in Ontology-Based Data Integration. AAAI Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
2017	J	`jnl`	Stream Reasoning in Temporal Datalog. CoRR Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2017	A*	`conf`	The Bag Semantics of Ontology-Based Data Access. IJCAI Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2017	J	`jnl`	The Bag Semantics of Ontology-Based Data Access. CoRR Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016	—	`conf`	Capturing Industrial Information Models with Ontologies and Constraints. ISWC (2) Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks
2016	J	`jnl`	Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. Artif. Intell. Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2016	A*	`conf`	Extending Consequence-Based Reasoning to SRIQ. KR Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2016	J	`jnl`	Extending Consequence-Based Reasoning to SRIQ. CoRR Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2016	J	`jnl`	Faceted search over RDF-based knowledge graphs. J. Web Semant. Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2016	—	`conf`	LogMap family participation in the OAEI 2016. OM@ISWC Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie V. Cross
2016	A*	`conf`	Logical Foundations of Privacy-Preserving Publishing of Linked Data. AAAI Bernardo Cuenca Grau, Egor V. Kostylev
2016	J	`jnl`	Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. Artif. Intell. Res. Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016	—	`conf`	Ontology Module Extraction via Datalog Reasoning. Description Logics Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016	—	`conf`	Reformulating Ontological Queries Using Materialised Rewritings. WIMS Alexandros Chortaras, Bernardo Cuenca Grau, Giorgos B. Stamou, Giorgos Stoilos
2016	—	`conf`	SOMM: Industry Oriented Ontology Management Tool. ISWC (Posters & Demos) Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks
2016	—	`conf`	SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs. ISWC (Posters & Demos) Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Marcelo Arenas
2016	A*	`conf`	Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. WWW Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
2015	A*	`conf`	Computing Horn Rewritings of Description Logics Ontologies. IJCAI Mark Kaminski, Bernardo Cuenca Grau
2015	J	`jnl`	Computing Horn Rewritings of Description Logics Ontologies. CoRR Mark Kaminski, Bernardo Cuenca Grau
2015	A*	`conf`	Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. IJCAI Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
2015	J	`jnl`	Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. CoRR Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
2015	—	`conf`	Extending Consequence-Based Reasoning to SHIQ. Description Logics Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2015	—	`conf`	Extending the Combined Approach Beyond Lightweight Description Logics. Description Logics Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
2015	—	`conf`	LogMap family results for OAEI 2015. OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Alessandro Solimando, Valerie V. Cross
2015	A*	`conf`	Ontology Module Extraction via Datalog Reasoning. AAAI Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2015	—	`conf`	Ontology-based Query Answering with PAGOdA. ORE Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2015	J	`jnl`	PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. J. Artif. Intell. Res. Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks
2015	—	`conf`	PAGOdA: Pay-as-you-go ABox Reasoning. Description Logics Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks
2015	—	`conf`	Polynomial Horn Rewritings for Description Logics Ontologies. Description Logics Mark Kaminski, Bernardo Cuenca Grau
2015	—	`conf`	Semantics of SPARQL under OWL 2 Entailment Regimes. Description Logics Egor V. Kostylev, Bernardo Cuenca Grau
2015	A*	`conf`	The Combined Approach to Query Answering Beyond the OWL 2 Profiles. IJCAI Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
2014	J	`jnl`	Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2014	J	`jnl`	Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. CoRR Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2014	—	`conf`	Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. RR Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2014	—	`conf`	Controlled Query Evaluation over Lightweight Ontologies. Description Logics Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
2014	A*	`conf`	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. AAAI Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2014	J	`jnl`	Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. CoRR Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2014	—	`conf`	Datalog Rewriting Techniques for Non-Horn Ontologies. Description Logics Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2014	—	`conf`	Enabling Faceted Search over OWL 2 with SemFacet. OWLED Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2014	A	`conf`	Faceted Search over Ontology-Enhanced RDF Data. CIKM Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2014	—	`conf`	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. Description Logics David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2014	—	`conf`	LogMap family results for OAEI 2014. OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Weiguo Xia, Alessandro Solimando, Xi Chen, Valerie V. Cross, Yuan Gong, Shuo Zhang, Anu Chennai-Thiagarajan
2014	—	`conf`	On Faceted Search over Knowledge Bases. Description Logics Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas, Sarunas Marciuska
2014	—	`conf`	On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes. ISWC (2) Egor V. Kostylev, Bernardo Cuenca Grau
2014	J	`jnl`	Ontology Module Extraction via Datalog Reasoning. CoRR Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2014	A*	`conf`	Pay-As-You-Go OWL Query Answering Using a Triple Store. AAAI Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2014	—	`conf`	Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. Description Logics Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2014	—	`conf`	Pushing the Boundaries of Tractable Ontology Reasoning. ISWC (2) David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2014	—	`conf`	Querying Life Science Ontologies with SemFacet. SWAT4LS Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Yujiao Zhou
2014	J	`jnl`	Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. CoRR Bernardo Cuenca Grau, Boris Motik
2014	—	`conf`	Results of the Ontology Alignment Evaluation Initiative 2014. OM 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
2014	—	`conf`	SemFacet: semantic faceted search over yago. WWW (Companion Volume) Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz
2014	—	`conf`	Towards semantic faceted search. WWW (Companion Volume) Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2013	J	`jnl`	Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2013	—	`conf`	Complete Query Answering over Horn Ontologies Using a Triple Store. ISWC (1) Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2013	A*	`conf`	Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2013	J	`jnl`	Computing Datalog Rewritings beyond Horn Ontologies CoRR Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2013	—	`conf`	Controlled Query Evaluation over OWL 2 RL Ontologies. ISWC (1) Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
2013	—	`conf`	Evaluating Mapping Repair Systems with Large Biomedical Ontologies. Description Logics Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks
2013	—	`conf`	Is my ontology matching system similar to yours? OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2013	—	`conf`	LogMap and LogMapLt results for OAEI 2013. OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2013	—	`conf`	MORe: a Modular OWL Reasoner for Ontology Classification. ORE Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz
2013	A*	`conf`	Making the most of your triple store: query answering in OWL 2 using an RL reasoner. WWW Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Jay Banerjee
2013	—	`conf`	Results of the Ontology Alignment Evaluation Initiative 2013. OM 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
2013	—	`conf`	Sufficient Conditions for First-Order and Datalog Rewritability in ELU. Description Logics Mark Kaminski, Bernardo Cuenca Grau
2013	—	`conf`	Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems. OWLED Bernardo Cuenca Grau, Martin Giese, Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Schmidt, Ahmet Soylu, Dmitriy Zheleznyakov
2012	A*	`conf`	Acyclicity Conditions and their Application to Query Answering in Description Logics. KR Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2012	A*	`conf`	Benchmarking Ontology-Based Query Rewriting Systems. AAAI Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau
2012	J	`jnl`	Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. J. Artif. Intell. Res. Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2012	—	`conf`	Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. Description Logics Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks
2012	J	`jnl`	Evaluating Ontology Matching Systems on Large, Multilingual and Real-world Test Cases CoRR Christian Meilicke, Ondrej Sváb-Zamazal, Cássia Trojahn dos Santos, Ernesto Jiménez-Ruiz, José-Luis Aguirre, Heiner Stuckenschmidt, Bernardo Cuenca Grau
2012	—	`conf`	Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative. E-LKR Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`conf`	How to Contract Ontologies. OWLED Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov
2012	A	`conf`	Large-scale Interactive Ontology Matching: Algorithms and Implementation. ECAI Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks
2012	—	`conf`	LogMap and LogMapLt results for OAEI 2012. OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`conf`	MORe: Modular Combination of OWL Reasoners for Ontology Classification. ISWC (1) Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`conf`	Modular Combination of Reasoners for Ontology Classification. Description Logics Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`conf`	On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems. ORE Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks
2012	—	`conf`	Ontology Contraction: Beyond the Propositional Paradise. AMW Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov
2012	A*	`conf`	Ontology Evolution Under Semantic Constraints. KR Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
2012	J	`jnl`	Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. J. Artif. Intell. Res. Bernardo Cuenca Grau, Boris Motik
2012	—	`conf`	Results of the Ontology Alignment Evaluation Initiative 2012. OM 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
2011	—	`conf`	LogMap 2.0: towards logic-based, scalable and interactive ontology matching. SWAT4LS Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou
2011	—	`conf`	LogMap results for OAEI 2011. OM Ernesto Jiménez-Ruiz, Antón Morant, Bernardo Cuenca Grau
2011	—	`conf`	LogMap: Logic-Based and Scalable Ontology Matching. ISWC (1) Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau
2011	J	`jnl`	Logic-based assessment of the compatibility of UMLS ontology sources. J. Biomed. Semant. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2011	—	`conf`	Repairing Incomplete Reasoners. Description Logics Giorgos Stoilos, Bernardo Cuenca Grau
2011	—	`conf`	Repairing Ontologies for Incomplete Reasoners. ISWC (1) Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2011	J	`jnl`	Supporting concurrent ontology development: Framework, algorithms and tool. Data Knowl. Eng. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2011	—	`conf`	Towards more challenging problems for ontology matching tools. OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau
2011	A*	`conf`	What to Ask to an Incomplete Semantic Web Reasoner?. IJCAI Bernardo Cuenca Grau, Giorgos Stoilos
2010	—	`conf`	Completeness Guarantees for Incomplete Reasoners. ISWC (1) Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks
2010	—	`conf`	First Steps in the Logic-based Assessment of Post-composed Phenotypic Descriptions. SWAT4LS Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Dietrich Rebholz-Schuhmann
2010	J	`jnl`	First steps in the logic-based assessment of post-composed phenotypic descriptions CoRR Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Dietrich Rebholz-Schuhmann
2010	A*	`conf`	How Incomplete Is Your Semantic Web Reasoner? AAAI Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks
2010	J	`jnl`	Incremental Classification of Description Logics Ontologies. J. Autom. Reason. Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn
2010	—	`ed.`	Modular Ontologies - Proceedings of the Fourth International Workshop, WoMO 2010, Toronto, ON, Canada, May 11, 2010 WoMO Oliver Kutz, Joana Hois, Jie Bao, Bernardo Cuenca Grau
2010	J	`jnl`	Privacy in ontology-based information systems: A pending matter. Semantic Web Bernardo Cuenca Grau
2010	A*	`conf`	Pushing the Limits of Reasoning over Ontologies with Hidden Content. KR Bernardo Cuenca Grau, Boris Motik
2010	—	`conf`	Towards a UMLS-based silver standard for matching biomedical ontologies. OM Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2009	—	`conf`	Building Ontologies Collaboratively Using ContentCVS. Description Logics Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2009	—	`conf`	ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. SWAT4LS Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2009	—	`ch.`	Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2009	A*	`conf`	Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov
2009	—	`conf`	Importing Ontologies with Hidden Content. Description Logics Bernardo Cuenca Grau, Boris Motik
2009	—	`conf`	Logic-based Ontology Integration using ContentMap. JISBD Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2009	B	`conf`	Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. ESWC Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori
2009	—	`ch.`	Ontology Integration Using epsilon-Connections. Modular Ontologies Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin
2009	—	`ed.`	Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 Description Logics Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler
2009	J	`jnl`	Representing ontologies using description logics, description graphs, and rules. Artif. Intell. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2009	—	`conf`	Towards a Logic-based Assessment of the compatibility of UMLS sources. SWAT4LS Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Ian Horrocks
2008	A*	`conf`	Metalevel Information in Ontology-Based Applications. AAAI Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks
2008	—	`conf`	Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2008	J	`jnl`	Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2008	J	`jnl`	OWL 2: The next step for OWL. J. Web Semant. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
2008	A	`conf`	Privacy-Preserving Query Answering in Logic-based Information Systems. ECAI Bernardo Cuenca Grau, Ian Horrocks
2008	—	`ed.`	Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, Whistler, Canada, October 28, 2007 WoMO Bernardo Cuenca Grau, Vasant G. Honavar, Anne Schlicht, Frank Wolter
2008	A*	`conf`	Representing Structured Objects using Description Graphs. KR Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2008	—	`conf`	Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Description Logics Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
2008	B	`conf`	Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. ESWC Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
2008	—	`conf`	Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. OWLED (Spring) Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
2008	A*	`conf`	Structured objects in owl: representation and reasoning. WWW Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
2008	—	`conf`	The Representation of Structured Objects in DLs using Description Graphs. Description Logics Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
2007	A*	`conf`	A Logical Framework for Modularity of Ontologies. IJCAI Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	—	`conf`	Extracting Modules from Ontologies: A Logic-based Approach. OWLED Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	—	`conf`	History Matters: Incremental Ontology Reasoning Using Modules. ISWC/ASWC Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov
2007	A*	`conf`	Just the right amount: extracting modules from ontologies. WWW Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	—	`conf`	Ontology Reuse: Better Safe than Sorry. Description Logics Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007	J	`jnl`	Pellet: A practical OWL-DL reasoner. J. Web Semant. Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
2006	—	`conf`	Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments. Description Logics Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau
2006	J	`jnl`	Combining OWL ontologies using epsilon-Connections. J. Web Semant. Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin
2006	A*	`conf`	From Wine to Water: Optimizing Description Logic Reasoning for Nominals. KR Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia
2006	B	`conf`	Integrating Datalog with OWL: Exploring the AL-log Approach. ICLP Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau
2006	A*	`conf`	Modularity and Web Ontologies. KR Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
2006	—	`conf`	Next Steps for OWL. OWLED Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
2006	—	`ed.`	Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 OWLED Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider
2006	—	`ed.`	Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006 OWLED Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace
2006	B	`conf`	Repairing Unsatisfiable Concepts in OWL Ontologies. ESWC Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau
2006	J	`jnl`	Swoop: A Web Ontology Editing Browser. J. Web Semant. Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau, James A. Hendler
2006	—	`conf`	Will my Ontologies Fit Together? Description Logics Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler
2005	—	`conf`	Automatic Partitioning of OWL Ontologies Using Description Logics Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
2005	A*	`conf`	Generalized Link Properties for Expressive epsilon-Connections of Description Logics. AAAI Bijan Parsia, Bernardo Cuenca Grau
2005	—	`conf`	Representing Qualitative Spatial Information in OWL-DL. OWLED Yarden Katz, Bernardo Cuenca Grau
2005	—	`conf`	Semantic Web Research Trends and Directions. PReMI Jennifer Golbeck, Bernardo Cuenca Grau, Christian Halaschek-Wiener, Aditya Kalyanpur, Bijan Parsia, Andrew Schain, Evren Sirin, James A. Hendler
2004	A*	`conf`	A possible simplification of the semantic web architecture. WWW Bernardo Cuenca Grau
2004	—	`conf`	From SHOQ(D) Toward E-connections. Description Logics Bernardo Cuenca Grau, Bijan Parsia
2004	J	`jnl`	How to teach basic quantum mechanics to computer scientists and electrical engineers. IEEE Trans. Educ. Bernardo Cuenca Grau
2004	Misc	`conf`	Working with Multiple Ontologies on the Semantic Web. ISWC Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin