K-CAP Tutorials

Tutorial date: 1st of September, 2009


Developing OWL Ontologies with Protege 4

Half day tutorial (Sept. 1, morning)

Lecturers:
Simon Jupp (*) and Timothy Redmond (**)

(*) Bio-Health Informatics Group, University of Manchester
(**) Stanford Center for Biomedical Informatics Research, Stanford University

Download slides from here.

This half-day introductory tutorial aims to provide attendees with both the theoretical foundations and tool demonstration to begin building OWL ontologies using the latest version of the Protege-OWL tools (Protege4). This tutorial will cover the main conceptual parts of OWL through the demonstrated building of an ontology of pizzas and their ingredients. A series of demonstrations take attendees through the process of conceptualizing the toppings found on a pizza; the entry of this classification into the Protege environment; the description of many types of pizza. All this is set in the context of using automatic reasoning to check the consistency of the growing ontology and to use the reasoner to make queries about pizzas. Since 2003 this tutorial, in various forms, has been given over 20 times and been attended by hundreds of ontologists. The aims of the tutorial are:

  • understand statements written in OWL 1.0;
  • learn about the new OWL 2.0 enhancements;
  • gain experience in the Protege 4 ontology building environment;
  • gain experience with the wide variety of Protege 4 plugins that are available with functionality including visualization, search, ontology views, inference and explanation support;
  • understand the role of automatic reasoning in ontology building;
  • build an ontology and use a reasoner to draw inferences based on that ontology;
  • gain insight into how OWL can play a role in semantic metadata.
  • Learn how to use the expressive power of OWL and to take advantage of its inferencing capabilities to build robust, reusable models
By the end of the tutorial you will have gained sufficient experience in order to model knowledge using the Protege software. The tutorial introduces the theoretical aspects of ontology design.

 

Extreme Design (XD): Pattern-based Ontology Design

Half day tutorial (Sept. 1, afternoon)

Lecturers:
Eva Blomqvist (*), Francois Sharffe (**), Valentina Presutti (*), Aldo Gangemi (*)

(*) Semantic Technology Laboratory ISTC-CNR, Rome (IT)
(**) EXMO team, INRIA Grenoble - Rhone-Alpes (FR)

Download slides from here.

Our tutorial targets ontology designers, engineers, and practitioners (including generic skilled web users). The tutorial provides a method named extreme Design, based on good practices i.e., ontology design patterns, for the development of ontologies. We illustrate theoretical aspects of ontology design patterns, and analyse some relevant samples taken from a catalogue of ontology design patterns. The tutorial includes hands-on sessions with ontology design activities, performed by using the available state of art platforms.

The tutorial has the following goals:

  • to teach ontology design principles and good practices;
  • to teach a pattern-based method (extreme design) for ontology design based on state of the art tools for ontology engineering
  • to provide attendees with practical solutions that facilitate the task of designing high quality ontologies in Semantic Web projects
  • to provide attendees with a method for evaluating ontologies against specific requirements.

The tutorial starts with a brief introduction to ontology design principles. We proceed by providing attendees with the notion of ontology design pattern and by giving a definition for each of their possible types. For each type of ontology design pattern we show and analyze some samples. Finally, we describe a pattern-based method for ontology design. We exemplify it in a sample ontology design project. We also assess the functionalities of existing tools with reference to pattern-based ontology design. Lectures are interleaved with hands-on sessions where attendees will be invited to experience the application of the extreme design method and the exploitation of the online repository of ontology design patterns.