28th April 2017: Ian Horrocks, joint seminar with LFCS

“Scalable Reasoning for Semantic Technologies”.

 

Logic based "Semantic Technologies" are maturing rapidly, with RDF and OWL now being deployed in diverse application domains, and with major technology vendors starting to augment their existing systems accordingly. For example, the Optique project has successfully piloted Ontology Based Data Access in the energy domain, and Oracle Inc. has enhanced its well-known database management system with modules that use RDF/OWL ontologies to support "semantic data management". Such applications increasingly focus on data, and critically depend on efficient query answering services; this in turn depends on the provision of robustly scalable reasoning systems. In this talk I will review the evolution of Semantic Technologies to date, and show how research ideas from logic based knowledge representation developed into a mainstream technology. I will then go on to examine the scalability challenges arising from deployment in large scale applications, particularly those that primarily focus on query answering over large datasets, compare various different approaches and present some results from ongoing research in the area.

 

Bio:

 

Ian Horrocks is a full professor in the Oxford University Department of Computer Science and a visiting professor in the Department of Informatics at the University of Oslo. His research interests include logic-based knowledge representation and reasoning and semantic technologies, with a particular focus on ontology languages and applications. He was an author of the OIL, DAML+OIL, and OWL ontology language standards, chaired the W3C working group that standardised OWL 2, and developed many of the algorithms, optimisation techniques and reasoning systems that underpin OWL applications. He has participated in numerous national and international research projects, and is currently Scientific Director of the EU funded Optique project, which is deploying semantic technologies in the Oil & Gas and Power Generation industries. He is a Fellow of the Royal Society, a member of Academia Europaea, an ECCAI Fellow and a Fellow of the British Computer Society.