====== OWL ======
===== Before the lab =====
Reading:
  * [[http://www.cs.uu.nl/docs/vakken/smw/lectures/Semantic%20Web%20Languages.pdf|Ontology, SW languages]]
  * [[http://download-book.net/ontology-language-pdf.html|Web Ontology Language: OWL]]
  * [[http://www.inf.unibz.it/~debruijn/teaching/swt/lecture-5-handouts.pdf|Lecture on Web Ontology Language OWL]]
  * [[http://www.co-ode.org/resources/tutorials/intro/ontologies-intro-v04.pdf|OWL tutorial]]

  * [[http://protege.stanford.edu/publications/ontology_development/ontology101.shtml|Build your first ontology]]


==== Control questions ====
  * what is Ontology?
  * what is an ontology?
  * what are the ontologies for?
  * what are the main components of an ontology?

  * what is OWL and what sublanguages the are?
  * what RDFS limitations does OWL overcome?
  * Based on [[http://www.inf.unibz.it/~debruijn/teaching/swt/lecture-5-handouts.pdf|Lecture on Web Ontology Language OWL]] list the differences between RDFS and OWL

  * what are Description Logics?
  * What are the consequences of OWL being grouned in DL?
  * What is Closed World Assumption, what Open World Assumption? Which is valid in OWL?

  * what are the reasoning tasks for a DL ontology?

===== Lab instruction =====
==== Understanding OWL ====

  * We will use [[http://protege.stanford.edu/overview/protege-owl.html|Protégé]], an ontology editor, version 3.4.4./4.1.alpha.
  * We will learn OWL characteristics on the **Pizza ontology** example.
  * Download the [[http://www.co-ode.org/events/tutorials/setup/pizzaMenu.doc|pizza menu]] and [[http://www.co-ode.org/events/tutorials/setup/pizzaCards.doc|pizza toppings cards]]. Think how to group pizza toppings (ingredients) into categories (e.g MeatTopping, CheeseTopping, VegetableTopping etc.) (FIXME PDFs! descriptions in examples do not match protege menus!)
  * You are supposed to make the instructions with assistance of [[http://owl.cs.manchester.ac.uk/tutorials/protegeowltutorial/resources/ProtegeOWLTutorialP3_v1_0.pdf|Protege OWL tutorial]].

While doing the exercise, make sure you understand:
  - Components of OWL ontology:
    * individuals
    * properties
    * classes
  - Classes: basic building blocks
    * Named Class
    * Intersection classes
    * Union classes
    * Complement classes
    * Restrictions
      * Universal restrictions
      * Existential restrictions
    * Enumerated classes
  - Reasoning services:
    * Subsumption testing
    * Equivalence testing
    * Consistency testing
    * Instantiation testing

=== A Practical Introduction to Ontologies and OWL ===
  * Run Protégé: Log in to charon, open terminal and type

  protege3

  * For a reasoner choose direct connection with Pellet (''Reasoning > Pellet 1.5.2.(direct)'')
  * Go through the exercises in [[http://www.co-ode.org/resources/tutorials/intro/exercisesHandout-v04.pdf|University of Manchester tutorial]]


==== Using OWL ====
  * Design an OWL ontology in Protege. It can be a domain ontology (e.g. University) or a task ontology( e.g. Travelling)
    * use various OWL DL constructs (see Piza example)
    * check the ontology consistency
    * infer new instances

Materials:
  * [[http://protege.stanford.edu/publications/ontology_development/ontology101.shtml|Build your first ontology]]
  * [[http://protege.stanford.edu/plugins/owl/documentation.html|Protege documentation]]  

==== If you want to know more ====
Additional resources:    
  * http://www.co-ode.org/ontologies/
  * http://owl.cs.manchester.ac.uk/tutorials/protegeowltutorial/

Further reading:
  * http://www.co-ode.org/resources/tutorials/
  * [[http://www.betaversion.org/~stefano/linotype/news/57/|SemWeb for the XML people]]
  * [[http://www.cs.man.ac.uk/~horrocks/ISWC2003/Tutorial/|OWL Tutorial from 2003]]
  * [[http://ontologydesignpatterns.org/wiki/Main_Page|Ontology Design patterns]]

===== Komentarze =====

Z braku lepszego miejsca tutaj studenci wpisują komentarze natury ogólnej do tego lab. 8-)