SemTech Tutorial 2017

Overview

The goal of the tutorial is to provide a working knowledge of semantic technologies, ranging from background theory through to hands-on experience with state of the art tools and systems. The tutorial is part of Oxford's DBOnto project whose aim is to promote interaction with industry and other centres of excellence.

The tutorial will be a 5-day full time event with attendants from industry and academia. It will be held from Mon 27 March 2017 to Fri 31 March 2017 at the Computer Science Department of the University of Oxford.

Schedule

  • Monday 27 March 2017
  • 09:00 Refreshments
  • 09:30 Introduction

    Welcome, schedule review & local arrangements
    Background and motivation
  • 10:30 Coffee break
  • 11:00 Logical foundations

    Brief review of First Order Logic (FOL)
    Description Logics (DLs) as fragments of FOL
    Brief review of relevant complexity notions
  • 12:00 Lunch break
  • 13:30 Semantic technology languages

    RDF
    OWL
    Datalog
    SPARQL
    OWL -v- databases

    (14:30 - 15:00 Coffee break)
  • 16:00 Wrap-up and discussion

  • Tuesday 28 March 2017
  • 09:00 Refreshments
  • 09:30 Reasoning

    Relevant reasoning problems
    Tableau methods
    Consequence-based methods
    Materialisation-based methods
    Query rewriting methods

    (10:30 - 11:00 Coffee break)
  • 12:00 Lunch break
  • 13:30 Tools and applications

    Editing tools
    Reasoning systems
    Ontology applications

    (14:30 - 15:00 Coffee break)
  • 16:00 Wrap-up and discussion
  • Wednesday 29 March 2017
  • 09:00 Refreshments
  • 09:30 Poster session.

    (10:30 - 11:00 Coffee break)
  • 12:00 Lunch break
  • 14:30 Walking tour around Oxford
    Starting at the Computer Science Department Reception

    16:30 Break

    17:00 College Visits
    ending at Oriel College (Oriel St, Oxford OX14EW)
  • 18:30 Reception at Oriel College, Champneys Room.
  • 19:00 Dinner at Oriel College. (More info on Oriel College)
  • Thursday :30 March
  • 09:00 Refreshments
  • 09:30 Optique Platform Part I

    Installation of Optique and supporting software
    Ontology and mapping construction and editing for OBDA

    (10:30 - 11:00 Coffee break)
  • 12:00 Lunch break
  • 13:30 Optique Platform Part I (ctd...)

    The NPD FactPages Semantic Web Data (our test data)
    Configuration of Optique for virtual OBDA
    Visual querying for OBDA

    (14:30 - 15:00 Coffee break)
  • 16:00 Wrap-up and discussion
  • Friday 31 March 2017
  • 09:00 Refreshments
  • 09:30 Optique Platform Part II

    Wiki construction in Optique
    Good practices in mapping maintenance

    (10:30 - 11:00 Coffee break)
  • 12:00 Lunch break
  • 13:30 Optique Platform Part II (ctd...)

    The Optique approach to federation
    Wrap-up and closing discussion

    (14:30 - 15:00 Coffee break)

Guest List

  • Alain Radix, EDF
  • Brandon Perry, OSIsoft
  • Dag Hovland, University of Oslo
  • David Bruce Cameron, University of Oslo
  • Jens Otten, University of Oslo
  • Jiří Felcman, Aibel
  • Laurent Pierre, EDF
  • Lenka Felcmanová
  • Mathieu Civel, EDF
  • Per Øyvind Øverli, Aibel
  • Pierre Le Marre, EIFER
  • Roy Helge Rasmussen, Aibel