Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBernardo Cuenca Grau
Person information
- affiliation: University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j29]Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau:
Finite Materialisability of Datalog Programs with Metric Temporal Operators. J. Artif. Intell. Res. 76 (2023)- [j28]Przemyslaw Andrzej Walega
, Mark Kaminski, Dingmin Wang, Bernardo Cuenca Grau:
Stream reasoning with DatalogMTL. J. Web Semant. 76: 100776 (2023) - [c149]Dingmin Wang, Yeyuan Chen, Bernardo Cuenca Grau:
Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs. AAAI 2023: 4652-4659 - [c148]Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau:
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. AAAI 2023: 6566-6574 - [c147]Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks:
Cardinality-Minimal Explanations for Monotonic Neural Networks. IJCAI 2023: 3677-3685 - [c146]Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev:
Revisiting Inferential Benchmarks for Knowledge Graph Completion. KR 2023: 461-471 - [c145]David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev:
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR 2023: 658-667 - [i24]David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev:
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. CoRR abs/2305.18015 (2023) - [i23]Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev:
Revisiting Inferential Benchmarks for Knowledge Graph Completion. CoRR abs/2306.04814 (2023) - [i22]Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev:
The Stable Model Semantics of Datalog with Metric Temporal Operators. CoRR abs/2306.07625 (2023) - 2022
- [j27]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The delay and window size problems in rule-based stream reasoning. Artif. Intell. 306: 103668 (2022) - [j26]Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
The Complexity and Expressive Power of Limit Datalog. J. ACM 69(1): 6:1-6:83 (2022) - [c144]Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. AAAI 2022: 5906-5913 - [c143]Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau:
Reasoning Techniques in DatalogMTL. Datalog 2022: 127-138 - [c142]David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik:
Explainable GNN-Based Models over Knowledge Graphs. ICLR 2022 - [c141]David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik:
Faithful Approaches to Rule Learning. KR 2022 - [c140]Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
Seminaïve Materialisation in DatalogMTL. RuleML+RR 2022: 183-197 - [i21]Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. CoRR abs/2201.04596 (2022) - [i20]Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks:
Minimal Explanations for Neural Network Predictions. CoRR abs/2205.09901 (2022) - [i19]Dingmin Wang, Shengchao Liu, Hanchen Wang, Linfeng Song, Jian Tang, Song Le, Bernardo Cuenca Grau, Qi Liu:
Augmenting Message Passing by Retrieving Similar Graphs. CoRR abs/2206.00362 (2022) - [i18]Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
Seminaive Materialisation in DatalogMTL. CoRR abs/2208.07100 (2022) - 2021
- [j25]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artif. Intell. 298: 103518 (2021) - [c139]David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev:
Stratified Negation in Datalog with Metric Temporal Operators. AAAI 2021: 6488-6495 - [c138]Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau:
DatalogMTL with Negation Under Stable Models Semantics. KR 2021: 609-618 - [c137]Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau:
Finitely Materialisable Datalog Programs with Metric Temporal Operators. KR 2021: 619-628 - [c136]Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev:
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding. NeurIPS 2021: 2034-2045 - 2020
- [c135]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks:
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI 2020: 2862-2869 - [c134]Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev:
Tractable Fragments of Datalog with Metric Temporal Operators. IJCAI 2020: 1919-1925 - [c133]Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev:
DatalogMTL over the Integer Timeline. KR 2020: 768-777
2010 – 2019
- 2019
- [j24]Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Foundations of ontology-based data access under bag semantics. Artif. Intell. 274: 91-132 (2019) - [j23]Bernardo Cuenca Grau, Egor V. Kostylev:
Logical Foundations of Linked Data Anonymisation. J. Artif. Intell. Res. 64: 253-314 (2019) - [j22]Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik:
Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. 48(4): 6-17 (2019) - [c132]Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau:
Reasoning over Streaming Data in Metric Temporal Datalog. AAAI 2019: 3092-3099 - [c131]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
15 Years of Consequence-Based Reasoning. Description Logic, Theory Combination, and All That 2019: 573-587 - [c130]Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Bagging the DL-Lite Family Further. Description Logics 2019 - [c129]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Sequoia: A Consequence Based Reasoner for SROIQ. Description Logics 2019 - [c128]Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks:
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. IJCAI 2019: 1829-1835 - [c127]Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev:
DatalogMTL: Computational Complexity and Expressive Power. IJCAI 2019: 1886-1892 - [c126]Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Bag Semantics of DL-Lite with Functionality Axioms. ISWC (1) 2019: 128-144 - [c125]Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks:
Towards Explainable Entity Matching via Comparison Queries. OM@ISWC 2019: 197-198 - [c124]Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks:
Query-Based Entity Comparison in Knowledge Graphs Revisited. ISWC (1) 2019: 558-575 - 2018
- [j21]Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev:
Logical foundations of information disclosure in ontology-based data integration. Artif. Intell. 262: 52-95 (2018) - [j20]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks:
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. 63: 625-690 (2018) - [c123]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Stream Reasoning in Temporal Datalog. AAAI 2018: 1941-1948 - [c122]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Stratified Negation in Limit Datalog Programs. IJCAI 2018: 1875-1881 - [c121]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. IJCAI 2018: 1970-1976 - [c120]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The Window Validity Problem in Rule-Based Stream Reasoning. KR 2018: 571-581 - [c119]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie Cross:
LogMap family participation in the OAEI 2018. OM@ISWC 2018: 187-191 - [i17]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Stratified Negation in Limit Datalog Programs. CoRR abs/1804.09473 (2018) - [i16]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. CoRR abs/1805.01396 (2018) - [i15]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The Window Validity Problem in Rule-Based Stream Reasoning. CoRR abs/1808.02291 (2018) - 2017
- [j19]Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau:
Query Nesting, Assignment, and Aggregation in SPARQL 1.1. ACM Trans. Database Syst. 42(3): 17:1-17:46 (2017) - [c118]Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev:
Source Information Disclosure in Ontology-Based Data Integration. AAAI 2017: 1056-1062 - [c117]Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks:
SemFacet: Making Hard Faceted Search Easier. CIKM 2017: 2475-2478 - [c116]David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. Description Logics 2017 - [c115]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI 2017: 1123-1130 - [c114]Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The Bag Semantics of Ontology-Based Data Access. IJCAI 2017: 1224-1230 - [c113]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie Cross:
LogMap family participation in the OAEI 2017. OM@ISWC 2017: 153-157 - [c112]Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks:
Ranking, Aggregation, and Reachability in Faceted Search with SemFacet. ISWC (Posters, Demos & Industry Tracks) 2017 - [c111]Alina Petrova, Evgeny Sherkhonov, Bernardo Cuenca Grau, Ian Horrocks:
Entity Comparison in RDF Graphs. ISWC (1) 2017: 526-541 - [c110]Evgeny Sherkhonov, Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev:
Semantic Faceted Search with Aggregation and Recursion. ISWC (1) 2017: 594-610 - [i14]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR abs/1705.06927 (2017) - [i13]Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
The Bag Semantics of Ontology-Based Data Access. CoRR abs/1705.07105 (2017) - [i12]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Stream Reasoning in Temporal Datalog. CoRR abs/1711.04013 (2017) - 2016
- [j18]Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau:
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. Artif. Intell. 236: 90-118 (2016) - [j17]Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. Artif. Intell. Res. 55: 499-564 (2016) - [j16]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov:
Faceted search over RDF-based knowledge graphs. J. Web Semant. 37-38: 55-74 (2016) - [c109]Bernardo Cuenca Grau, Egor V. Kostylev:
Logical Foundations of Privacy-Preserving Publishing of Linked Data. AAAI 2016: 943-949 - [c108]Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Ontology Module Extraction via Datalog Reasoning. Description Logics 2016 - [c107]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SRIQ. KR 2016: 187-196 - [c106]Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Marcelo Arenas:
SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs. ISWC (Posters & Demos) 2016 - [c105]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie V. Cross:
LogMap family participation in the OAEI 2016. OM@ISWC 2016: 185-189 - [c104]Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks:
SOMM: Industry Oriented Ontology Management Tool. ISWC (Posters & Demos) 2016 - [c103]Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks:
Capturing Industrial Information Models with Ontologies and Constraints. ISWC (2) 2016: 325-343 - [c102]Alexandros Chortaras, Bernardo Cuenca Grau, Giorgos B. Stamou, Giorgos Stoilos:
Reformulating Ontological Queries Using Materialised Rewritings. WIMS 2016: 17:1-17:8 - [c101]Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau:
Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. WWW 2016: 227-238 - [i11]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SRIQ. CoRR abs/1602.04498 (2016) - 2015
- [j15]Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks:
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. J. Artif. Intell. Res. 54: 309-367 (2015) - [c100]Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Ontology Module Extraction via Datalog Reasoning. AAAI 2015: 1410-1416 - [c99]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SHIQ. Description Logics 2015 - [c98]Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks:
Extending the Combined Approach Beyond Lightweight Description Logics. Description Logics 2015 - [c97]Mark Kaminski, Bernardo Cuenca Grau:
Polynomial Horn Rewritings for Description Logics Ontologies. Description Logics 2015 - [c96]Egor V. Kostylev, Bernardo Cuenca Grau:
Semantics of SPARQL under OWL 2 Entailment Regimes. Description Logics 2015 - [c95]Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks:
PAGOdA: Pay-as-you-go ABox Reasoning. Description Logics 2015 - [c94]Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov:
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. IJCAI 2015: 2883-2889 - [c93]Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks:
The Combined Approach to Query Answering Beyond the OWL 2 Profiles. IJCAI 2015: 2971-2977 - [c92]Mark Kaminski, Bernardo Cuenca Grau:
Computing Horn Rewritings of Description Logics Ontologies. IJCAI 2015: 3091-3097 - [c91]Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks:
Ontology-based Query Answering with PAGOdA. ORE 2015: 1-7 - [c90]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Alessandro Solimando, Valerie V. Cross:
LogMap family results for OAEI 2015. OM 2015: 171-175 - [i10]Mark Kaminski, Bernardo Cuenca Grau:
Computing Horn Rewritings of Description Logics Ontologies. CoRR abs/1504.05150 (2015) - [i9]Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov:
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. CoRR abs/1504.06529 (2015) - 2014
- [c89]Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau:
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. AAAI 2014: 1077-1083 - [c88]Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks:
Pay-As-You-Go OWL Query Answering Using a Triple Store. AAAI 2014: 1142-1148 - [c87]David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks:
EL-ifying Ontologies. IJCAR 2014: 464-479 - [c86]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov:
Faceted Search over Ontology-Enhanced RDF Data. CIKM 2014: 939-948 - [c85]David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks:
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. Description Logics 2014: 128-140 - [c84]Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov:
Controlled Query Evaluation over Lightweight Ontologies. Description Logics 2014: 141-152 - [c83]Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas, Sarunas Marciuska:
On Faceted Search over Knowledge Bases. Description Logics 2014: 153-156 - [c82]Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau:
Datalog Rewriting Techniques for Non-Horn Ontologies. Description Logics 2014: 209-220 - [c81]Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks:
Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. Description Logics 2014: 352-364 - [c80]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov:
Enabling Faceted Search over OWL 2 with SemFacet. OWLED 2014: 121-132 - [c79]Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau:
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. RR 2014: 76-91 - [c78]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:
Results of the Ontology Alignment Evaluation Initiative 2014. OM 2014: 61-104 - [c77]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Weiguo Xia, Alessandro Solimando, Xi Chen, Valerie V. Cross, Yuan Gong, Shuo Zhang, Anu Chennai-Thiagarajan:
LogMap family results for OAEI 2014. OM 2014: 126-134 - [c76]David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks:
Pushing the Boundaries of Tractable Ontology Reasoning. ISWC (2) 2014: 148-163 - [c75]Egor V. Kostylev, Bernardo Cuenca Grau:
On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes. ISWC (2) 2014: 374-389 - [c74]Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Yujiao Zhou:
Querying Life Science Ontologies with SemFacet. SWAT4LS 2014 - [c73]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz:
SemFacet: semantic faceted search over yago. WWW (Companion Volume) 2014: 123-126 - [c72]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov:
Towards semantic faceted search. WWW (Companion Volume) 2014: 219-220 - [i8]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. CoRR abs/1401.4604 (2014) - [i7]Bernardo Cuenca Grau, Boris Motik:
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. CoRR abs/1401.5853 (2014) - [i6]Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau:
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. CoRR abs/1404.3141 (2014) - [i5]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR abs/1406.4110 (2014) - [i4]Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Ontology Module Extraction via Datalog Reasoning. CoRR abs/1411.5313 (2014) - 2013
- [j14]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. 47: 741-808 (2013) - [c71]Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks:
Evaluating Mapping Repair Systems with Large Biomedical Ontologies. Description Logics 2013: 246-257 - [c70]Mark Kaminski, Bernardo Cuenca Grau:
Sufficient Conditions for First-Order and Datalog Rewritability in ELU. Description Logics 2013: 271-293 - [c69]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI 2013: 832-838 - [c68]Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz:
MORe: a Modular OWL Reasoner for Ontology Classification. ORE 2013: 61-67 - [c67]Bernardo Cuenca Grau, Martin Giese, Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Schmidt, Ahmet Soylu, Dmitriy Zheleznyakov:
Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems. OWLED 2013 - [c66]Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov:
Controlled Query Evaluation over OWL 2 RL Ontologies. ISWC (1) 2013: 49-65 - [c65]Bernardo Cuenca Grau, Zlatan Dragisic, Kai Eckert, Jérôme Euzenat, Alfio Ferrara, Roger Granada, Valentina Ivanova, Ernesto Jiménez-Ruiz,