Bernardo Cuenca Grau

Professor Bernardo Cuenca Grau
Room
305,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
Interests
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 their applications to data management and the Web. My activities within these areas cover a wide spectrum, including theory and foundations, algorithm design, software and systems, technology standards, and engagement with industry.
You can find my DBLP entry here and my Google Scholar profile here.
Biography
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?"
-
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).
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.
Selected Activities
- Co-founder, Oxford Semantic Technologies .
- Editorial Board Member, ACM Transactions on the Web .
- Editorial Board Member, Journal of Web Semantics.
- Editorial Board Member, Semantic Web Journal. .
- General Chair: 2020 International Workshop on Description Logics (DL-2020)
Software Tools
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 and PAGOdA , and the semantic faceted search system SemFacet
See also
Selected Publications
-
DatalogMTL over Integer Timeline
Egor V. Kostylev. Przemyslaw Walega Bernardo Cuenca Grau Mark Kaminski
In Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR−2020). 2020.
Details about DatalogMTL over Integer Timeline | BibTeX data for DatalogMTL over Integer Timeline
-
Tractable Fragments of Datalog with Metric Temporal Operators
Egor V. Kostylev. Przemyslaw Walega Bernardo Cuenca Grau Mark Kaminski
In Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020). 2020.
Details about Tractable Fragments of Datalog with Metric Temporal Operators | BibTeX data for Tractable Fragments of Datalog with Metric Temporal Operators
-
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog
Ian Horrocks. Mark Kaminski Egor V. Kostylev Bernardo Cuenca Grau
In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2020.
Details about Complexity and Expressive Power of Disjunction and Negation in Limit Datalog | BibTeX data for Complexity and Expressive Power of Disjunction and Negation in Limit Datalog