Protege4TutorialErrata

Protege 4.x Tutorial Errata

This page contains a list of errata for the current Protege 4.x version of the Protege-OWL Tutorial.

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.

Back to Protege4UserDocs

Protege-OWL Tutorial Edition 1.1

Misleading or out of date

Please give a location of the error where possible (page number, section/paragraph, figure number, etc.).

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"