The School of Computer Science at The University of Manchester is
looking for individuals to participate in a funded OWL tutorial that
covers the more advanced language concepts for OWL. We will cover
reasonable expenses for travel in the UK, subsistence and up to 2 nights
of accommodation. The tutorial is gratis and will take place on Tuesday
16th and Wednesday 17th of June at the University of Manchester.
From those who attend the tutorial we will seek volunteers to take part
in a study in which their interaction with ProteÌgeÌ will be logged.
In doing so, we will learn how people go about authoring ontologies.
Taking part in the study will not interfere in your learning objectives
as no additional tasks have to be carried out and data will be collected
silently. If you decide to participate in the study, you will be free to
opt-out anytime without detriment to your funding and participation in
the tutorial. We will award volunteers a £20 Amazon voucher.
This tutorial goes beyond the world-famous Manchester Pizza Tutorial, by
exploring OWL concepts in greater depth, concentrating on properties,
property hierarchies, property features and individuals. The topic of
family history is used to take the tutee through various modelling
issues and, in doing so, using many features of OWL 2 to build a Family
History KnowledgeBase (FHKB). The exercises involving the FHKB are
designed to maximise inference about family history through use of an
automated reasoner on an OWL knowledge base (KB) containing many members
of a family. The aim, therefore, is to enable people to learn advanced
features of OWL 2 in a setting that involves both classes and
individuals, while attempting to maximise the use of inference within
the FHKB.
By the end of the tutorial you will be able to:
1. Know about the separation of entities into TBox and ABox;
2. Use classes and individuals in modelling;
3. Write sophisticated class expressions;
4. Assert facts about individuals;
5. Use the effects of property hierarchies, property characteristics,
domain/range constraints to drive inference;
6. Use property characteristics and subproperty chains on inferences
about individuals
7. Understand and manage the consequences of the open world assumption
in the TBox and ABox;
8. Use nominals in class expressions;
9. Appreciate some of the limits of OWL 2.
Supplementary material for the tutorial can be found at:
http://owl.cs.manchester.ac.uk/publications/talks-and-tutorials/fhkbtutorial/
Participants should at least be familiar with fundamental OWL constructs
– those covered in the OWL Pizza Tutorial:
http://owl.cs.manchester.ac.uk/publications/talks-and-tutorials/protg-owl-tutorial/
We are looking for a maximum of 15 individuals and we will register
participants on a first-come, first-served basis. You will be reimbursed
for travel within the UK (or price equivalent), subsistence and
accommodation for up to 2 nights in compliance with the University of
Manchester expenses policy; we will reimburse up to £500. The tutorial
is gratis.
To register, please use Eventbrite
https://www.eventbrite.co.uk/e/advanced-owl-tutorial-manchester-family-history-tickets-16857552393
before June 12. For further enquiries about the tutorial and funding
email Robert Stevens (robert.stev...@manchester.ac.uk). For enquiries
about the study email Markel Vigo (markel.v...@manchester.ac.uk).
--
Professor Robert Stevens
Bio-health Informatics Group
School of Computer Science
University of Manchester
Oxford Road
Manchester
United Kingdom
M13 9PL
robert.stev...@manchester.ac.uk
Tel: +44 (0) 161 275 6251
Blog: http://robertdavidstevens.wordpress.com
Web: http://staff.cs.manchester.ac.uk/~stevensr/
KBO
