This is the web page of the Artificial Intelligence track of the ABCP 2021 Annual Conference, to be held on Friday 2nd and Saturday 3rd July 2021.

Programme (Tentative)

Day 1: Friday 2nd July 2021

Day 2: Saturday 3rd July 2021

  • 1:00-2:00pm:  Keynote speech
  • 2:00-3:00pm: Which is the tallest building in Europe? —Representing and Reasoning About Knowledge
    • Professor Ian Horrocks, University of Oxford
      show more on/off
      Professor Ian Horrocks
      Professor Ian Horrocks

      Ian Horrocks is a professor at the University of Oxford, and a fellow of Oriel College. He is also a Fellow of the Royal Society, a member of Academia Europaea, and a fellow of the European Association for Artificial Intelligence (EurAI). His research concerns the representation of knowledge, and the efficient manipulation of such knowledge by computers. He played a leading role in establishing the Semantic Web as a significant research field, pioneering many of the underlying logics, algorithms, optimization techniques, and reasoning systems.

      Abstract: the need for representing knowledge is ubiquitous in applications: travel apps need to know about transport links and accommodation; music apps need to know about artists and albums; (social) networking apps need to know about user profiles and preferences; and “virtual assistants” need to answer questions such as “what is the height of the Eiffel Tower”. Although real-world knowledge can be complex, a great deal can be achieved even with simple representations such as knowledge graphs; Google’s knowledge graph, for example, contains billions of facts, and enables Google to provide direct answers to many questions. Maintaining and extending such a knowledge graph is, however, extremely challenging. This problem can be mitigated to some extent by using structural rules, often called an ontology, to reduce the need for and identify obvious errors in explicitly stored facts. However, answering queries over ontology augmented knowledge graphs requires more complex reasoning, and scaling this up to large graphs is also challenging. In this talk I will introduce basic knowledge graphs, illustrate the benefits of augmenting them with ontologies, explore some inherent challenges, and compare various techniques for query answering over ontology augmented large-scale knowledge graphs.

  • 3:00-5:00pm: short presentations

Organising Committee