Difference between revisions of "Protege4TutorialErrata"

From Protege Wiki
Jump to: navigation, search
(Protege-OWL Tutorial Edition 1.1)
(Deprecated errata page)
 
Line 1: Line 1:
 
<div class="orangeBox">
 
<div class="orangeBox">
 
<span class="orangeBoxTitle">Protege 4.x Tutorial Errata</span><br /><br />
 
<span class="orangeBoxTitle">Protege 4.x Tutorial Errata</span><br /><br />
This page contains a list of errata for the current Protege 4.x version of the [http://www.co-ode.org/resources/tutorials/protege-owl-tutorial.php Protege-OWL Tutorial].<br /><br />
+
Errata for all versions are now available from the [http://owl.cs.manchester.ac.uk/tutorials/protegeowltutorial/ Protege-OWL Tutorial] homepage.<br /><br />
Protege 4.x is under heavy development so it is difficult to keep such a comprehensive document completely up-to-date. If you find that the most recent version is not in sync with the tutorial, '''please add to this page''' to describe the problem (and a solution if you have one). We can then use this page when we incrementally update the tutorial and your contributions will allow this to be done more easily.</div><br />
+
</div><br />
  
 
Back to [[Protege4UserDocs]]
 
Back to [[Protege4UserDocs]]
 
 
__TOC__
 
 
== Protege-OWL Tutorial Edition 1.1 ==
 
 
=== Misleading or out of date ===
 
<span style="font-style:italic;">Please give a location of the error where possible (page number, section/paragraph, figure number, etc.).</span>
 
 
{| cellpadding="3" cellspacing="3" style="border:1px dashed #BC8F8F; width: 100%;"
 
! align="left" width="30%" | Location
 
! align="left" | Error
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 29, Exercise 10, step 2
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;" | The properties hierarchy does not show inverse information.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 29, Exercise 10, step 4
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;" | requires rewording. Follow the same procedure as step 2, but select '''isBaseOf'''. If '''isBaseOf''' does not exist it can be created within the dialog by selecting '''isIngredientOf''' and  pressing the '''add sub property''' button.
 
In addition, no inferred informaiton is shown in the view (isBaseOf will not appear as a subproperty of isIngredientOf except in the inferred property hierarchy views).
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 38, Note
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;" | P4 does not show inferred domains or ranges until the ontology has been classified.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 42, Exercise 16, step 2
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;" | '''Subclass Of''' should be '''Superclasses'''. see [[#Terminology]].
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 48, Exercise 21, step 2
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;" | You will be asked to name the duplicate class rather than it being created directly. For the exercise, choose not to duplicate annotations.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 51, Section 4.9.1
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;" | Species Validation not supported. To validate OWL1.0 ontologies, it is possible to use the [http://www.mygrid.org.uk/OWL/Validator Wonderweb Validator].
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 56, Figure 4.44
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;" | out of date. see [[#Terminology]].
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 57, Exercise 29, steps 3 & 5
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | see [[#Drag_and_Drop_support]]. Use cut and paste (in the Edit menu or using keyboard shortcuts) to move restrictions. Or to make a single equivalent class out of several superclasses, select the classes then right click and select '''Convert selected rows to defined class'''.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 62, Section 4.11.1
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | No classification results pane is shown. This proved to be an annoying feature for many people. The '''inferred axioms''' can be viewed in a separate view in the '''Active ontology tab'''.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 69, Exercise 35, step 6
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | You must add the omitted OliveTopping into the union otherwise you will get an unsatisfiable class.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 70, Exercises 36 & 37
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | There is currently no action for automatically creating closure axioms. This operation must be performed by hand as per exercise 35.
 
|-
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;"| page 71, Section 4.14
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;"| The patterns plugin for editing value partitions is currently not available. Value partitions should be created by hand using the manual step specified.
 
|-
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;"| page 74, Section 4.15
 
| valign="top"  style="border-bottom:1px dashed #BC8F8F;"| The matrix wizard is now called '''Matrix views'''. The plugin can be downloaded from [http://code.google.com/p/co-ode-owl-plugins/wiki/MatrixViews here]. Copy into your plugins folder and restart P4 (after saving obviously). In step 2 of Exercise 40 there is no need to select the view (which is now simply called '''Class Matrix''').
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 84, Exercise 48
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | In step 4, for earlier releases an additional space may required between the >= and the 12
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 84, Meaning
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | The text says "We have described a LargePizzaSize to be a subclass of Food", while there is no Food class defined anywhere in the tutorial.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 85, Exercise 51
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | This exercise is incomplete and no classification will take place. In addition the LargePizza class should be selected in the class hierarchy in step 1.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 93, Exercise 58, step 5
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | Select the + button next to the '''types''' header in the Description view. In the dialog either type "Country" into the editor or select it from the class hierarchy tab.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 96, Exercise 60, step 4
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | The enumeration requires commas between the individual values
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 97, Tip box
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | There is currently no wizard for creating this enumeration. It is quicker and simpler to type in the values in the inline editor.
 
|-
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | page 99, Section 7.5
 
| valign="top" style="border-bottom:1px dashed #BC8F8F;" | The description of multiple equivalent classes is out of date. Please ignore.
 
|-
 
| valign="top" | page 101, Section 7.6, Exercises 62 and 63
 
| valign="top" | The examples given will not work as hasSpiciness is a functional property - this causes problems for reasoning. Please ignore.
 
|}
 
 
=== General notes about the tutorial ===
 
 
==== Terminology ====
 
Some references to the class description view currently use slightly different terminology from the current release. The tutorial is in line with Protege 3.x terminology, whereas the Protege 4.x environment has intentionally used the terminology of the [http://www.webont.org/owl/1.1/ OWL 1.1 specification].
 
 
Therefore, in the tutorial when the term '''Necessary Conditions''' is used it is synonymous with '''Superclasses''' in the Class Description View.
 
Also, in the tutorial when the term '''Necessary & Sufficient''' is used it is synonymous with '''Equivalent classes''' in the Class Description View.
 
 
Some screenshots of the view may need to be updated to reflect this.
 
 
==== Drag and Drop support ====
 
Much of the drag and drop support has temporarily been removed as many people were finding it easy to perform operations by mistake while moving around the interface. It is likely that we will re-implement this once we can work out way around these problems. Drag and Drop is still available in the entity hierarchy views (eg for "moving classes" to a new superclass), but has been replaced in favour of cut and paste within other views (eg the class description view).
 
 
==== Icons ====
 
The use of colour and the symbols on the icons have both been minimised to provide a consistent look.
 
 
=== Minor Typos ===
 
 
{| cellpadding="3" cellspacing="3" style="border:1px dashed #BC8F8F; width: 100%;"
 
! align="left" width="30%" | Location
 
! align="left" | Typo
 
|-
 
| valign="top" | page 21, Exercise 6, steps 1 & 2
 
| valign="top" | hierarchy misspelled twice
 
|-
 
| valign="top" | page 35, 4.7, third line
 
| valign="top" | "the the" should be "to the"
 
|-
 
| valign="top" | page 39, 4.8.1, last line
 
| valign="top" |"thought" should be "throughout"
 
|-
 
| valign="top" | throughout
 
| valign="top" |"automatic reasoning" should be "automated reasoning"
 
|}
 

Latest revision as of 07:40, March 13, 2009

Protege 4.x Tutorial Errata

Errata for all versions are now available from the Protege-OWL Tutorial homepage.


Back to Protege4UserDocs