Bernardo Cuenca Grau
My research is in the broad field of artificial intelligence. In particular, my work revolves around the areas of knowledge representation and reasoning, knowledge graphs, computational logic, semantic technologies, and graph representation learning. My activities within these areas cover a wide spectrum, including theory and foundations, algorithm design, software and systems, technology standards, and engagement with industry.
I am a professor at the Department of Computer Science and a Tutorial Fellow at Keble College. Until October 2017, I held a prestigious University Research Fellowship awarded by the British Royal Society. I am a co-founder of Oxford Semantic Technologies , a start-up company from the University of Oxford focusing on high-performance reasoning and query evaluation over large-scale knowledge graphs.
Awards and Fellowships
Distinguished Paper Award at the 2017 International Joint Conference on Artificial Intelligence for the paper "Foundations of Declarative Data Analysis Using Limit Datalog Programs"
Best Paper Award at the 2010 AAAI Conference on Artificial Intelligence for the paper "How Incomplete is your Semantic Web Reasoner?"
The 2021 Semantic Web Science Association 10 Year Award for the paper "LogMap: Logic Based and Scalable Ontology Matching".
Best Paper Award at the 3thrd European Semantic Web Conference (ESWC-2006) for the paper "Repairing Unsatisfiable Concepts in OWL Ontologies."
Royal Society University Research Fellowship (2009-2017).
Oxford Department of Computer Science Teaching Award in 2021 and teaching commendation in 2022 for the course "Artificial Intelligence".
University of Oxford Mathematical And Physical Sciences Division (MPLS) Commercial Impact Award (Honourable Mention) in 2021.
Doctoral Study in Computer Science
Students working towards their D.Phil (PhD) are an integral part of the Information Systems Group, and make a vital contribution to our research. See our studentships page for further details, and information about funding opportunities . Should you consider applying for a doctoral position in our group, please do not hesitate to contact me first.
- Co-founder, Oxford Semantic Technologies .
- Editorial Board Member, ACM Transactions on the Web .
- Editorial Board Member, Transactions on Graph Data and Knowledge
- Editorial Board Member, Semantic Web Journal. .
- General Chair: 2020 International Workshop on Description Logics (DL-2020)
I have been involved in the design of several tools for ontology management and reasoning. These include the ontology matching tool LogMap , the ontology reasoners MORe , PAGOdA , and SEQUOIA, the temporal reasoner METEOR, and the semantic faceted search system SemFacet
The Stable Models Semantics of Datalog with Metric Temporal Operators
Przemyslaw Walega‚ David Tena Cucala‚ Egor Kostylev and Bernardo Cuenca Grau
In Theory and Practice of Logic Programming (TPLP). 2023.
Stream Reasoning with DatalogMTL
Przemyslaw Walega‚ Mark Kaminski‚ Dingmin Wang and Bernardo Cuenca Grau
In Journal of Web Semantics (JWS). 2023.
Finite Materialisability of Datalog Programs with Metric Temporal Operators
Przemysław Wałęga‚ Michal Zawidzki and Bernardo Cuenca Grau
In Journal of Artificial Intelligence Research (JAIR). 2023.