This is the errata page for the Protégé OWL Tutorial.

Errata for Protégé OWL Tutorial Version 1.1

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 let us know so that we can update the errata.

We can then use this page when we incrementally update the tutorial and your contributions will allow this to be done more easily.

When reporting errors please give a location where possible (page number, section/paragraph, figure number, etc).

Misleading or out of date

Location	Error
page 29, Exercise 10, step 2	The properties hierarchy does not show inverse information.
page 29, Exercise 10, step 4	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).
page 38, Note	P4 does not show inferred domains or ranges until the ontology has been classified.
page 42, Exercise 16, step 2	Subclass Of should be Superclasses. see #Terminology.
page 48, Exercise 21, step 2	You will be asked to name the duplicate class rather than it being created directly. For the exercise, choose not to duplicate annotations.
page 51, Section 4.9.1	Species Validation not supported. To validate OWL1.0 ontologies, it is possible to use the Wonderweb Validator.
page 56, Figure 4.44	out of date. see #Terminology.
page 57, Exercise 29, steps 3 & 5	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.
page 62, Section 4.11.1	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.
page 69, Exercise 35, step 6	You must add the omitted OliveTopping into the union otherwise you will get an unsatisfiable class.
page 70, Exercises 36 & 37	There is currently no action for automatically creating closure axioms. This operation must be performed by hand as per exercise 35.
page 71, Section 4.14	The patterns plugin for editing value partitions is currently not available. Value partitions should be created by hand using the manual step specified.
page 74, Section 4.15	The matrix wizard is now called Matrix views. The plugin can be downloaded from 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).
page 84, Exercise 48	In step 4, for earlier releases an additional space may required between the >= and the 12
page 84, Meaning	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.
page 85, Exercise 51	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.
page 93, Exercise 58, step 5	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.
page 96, Exercise 60, step 4	The enumeration requires commas between the individual values
page 97, Tip box	There is currently no wizard for creating this enumeration. It is quicker and simpler to type in the values in the inline editor.
page 99, Section 7.5	The description of multiple equivalent classes is out of date. Please ignore.
page 101, Section 7.6, Exercises 62 and 63	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 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

Location	Typo
page 21, Exercise 6, steps 1 & 2	hierarchy misspelled twice
page 35, 4.7, third line

“the the” should be “to the”page 39, 4.8.1, last line”thought” should be “throughout”throughout”automatic reasoning” should be “automated reasoning”

Errata for Protégé OWL Tutorial Version 1.2

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 let us know so that we can update the errata.

We can then use this page when we incrementally update the tutorial and your contributions will allow this to be done more easily.

When reporting errors please give a location where possible (page number, section/paragraph, figure number, etc).

Misleading or out of date

Location	Error
page 35, Note	interpreted as Man union Woman should read interpreted as Man intersection Woman
page 41, Exercise 16, step 3	Should read A dialog is shown with a series of tabs available. If it is not already selected by default, select the Class Expression Editor tab. This displays a text area in which you can type in the required restriction. This is done in exercise 17. The text following this excercise describes the restriction editor tab in the dialog and can be ignored.
page 45, Exercise 19, step 2 page 46, Exercise 20, step 2	The add button is on the Superclasses section of the class description view.
page 47, Exercise 21, step 2	The name of the new (duplicated) class should be AmericanaPizza.
page 48, Figure 4.37	The description of AmericanaPizza includes HotGreenPepperTopping which is not part of the exercise.
page 48, Exercise 23, step 2	There is no longer a disjoints view. To make all siblings mutually disjoint select Edit | Make all primitive siblings disjoint. This creates a new allDisjoint axiom containing all the pizzas.
page 66, Exercise 35, step 2	Should read “Press the ‘Add’ icon (+) on the Superclasses section of the Class Description view to open the edit text box.”
page 66, Exercise 36, step 2 page 67, Exercise 37, step 2	Ignore step 2. The correct steps for creating a covering axiom are below: In the class description view, select one of the restrictions on the hasTopping property (eg hasTopping some TomatoTopping) Right click the restriction and select Create closure axiom A new closure restriction is created: hasTopping only (MozzarellaTopping or TomatoTopping... ...)
page 71, Section 4.15	The matrix plugin is described on page 106.
page 72, Exercise 41, step 2 & 3	Replace these 2 steps with: Ensure SpicyPizza is selected Press the ‘Add class’ button on the Superclasses section of the class description view
page 74, Exercise 43, step 3 onwards	Creating a defined class in this way will not produce the desired effect – InterestingPizza will end up being equivalent to Pizza and also equivalent to hasTopping min 3 (there will be two separate equivalent classes). Instead, a new superclass should be added hasTopping min 3 and then InterestingPizza can be correctly converted to a defined class.
page 76, Exercise 45, step 1	Ignore step 1. Simply create a subclass of Pizza by whatever method preferred.
page 78, Exercise 47, step 3	Margherita should be MargheritaPizza.
page 81, Exercise 49, step 4	The repetition of Pizza is unnecessary. This should be “In the Class expression editor, type hasCalorificContentValue some integer[>= 400] and click OK.”
page 90	This chapter is best followed using the pizza ontology already built.
page 94, Exercise 60, Figure 7.4	Country will simply be equivalent to {France, Italy, England, America, Germany}
page 98, Exercise 61	Ignore this exercise. It is incomplete in many ways.
page 106, Section C.2.1	Plugin installation is described earlier on page 106.

Minor Typos

Location	Typo
page 38, 3rd bullet	“… that have more that… ” should be “…that have more than…”
page 5, Acknowledgements	University spelled incorrectly.

Errata for Protégé OWL Tutorial Version 1.3

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 let us know so that we can update the errata.

We can then use this page when we incrementally update the tutorial and your contributions will allow this to be done more easily.

When reporting errors please give a location where possible (page number, section/paragraph, figure number, etc).

Misleading or out of date

Location	Error

Minor Typos

Location	Typo