Data Property Hierarchy

The data property hierarchy view displays the asserted and inferred data property hierarchies. The asserted data property hierarchy is visible by default.

The asserted data property hierarchy view is one of the primary navigation devices in Protégé. It is presented as a tree where tree nodes correspond to data properties. A child node represents an data property that is a subproperty of the property represented by the parent node.

An data property will be shown under another data property if it is asserted to be a SubPropertyOf that other property. For example, if the ontology contains P SubPropertyOf Q, then P will appear under Q in the tree. Any data properties that are not asserted to be a subproperty of some other data property will show up directly under owl:topObjectProperty (the root).

Note that names in the data property hierarchy are quoted using single quotes if the name contains spaces. The quotes, however, are not part of the name.

Switching between Asserted and Inferred modes

The asserted data property hierarchy is shown by default. To switch to the inferred hierarchy either select “Inferred” from the drop-down or press ‘i’ when the hierarchy has the focus. If the inferred hierarchy is shown, the asserted hierarchy can be displayed by selecting “Asserted” from the drop-down or press ‘a’ when the hierarchy has the focus.

Inserting New data properties

In order to insert new data properties into the data property hierarchy, the Asserted data property hierarchy must be selected.

New data properties can be inserted into the data property hierarchy using the property creation buttons at the top of the hierarchy, by using the popup menu that is displayed by right clicking (CMD+Click on a Mac) on the data property hierarchy, or by using keyboard shortcuts. These mechanisms are described in more detail below.

The data property hierarchy toolbar. From left to right the buttons are: "Add SubProperty", "Add sibling property", "Delete selected property"

Deleting data properties

The data property hierarchy can be used to delete data properties (axioms that mention the selected data properties will be removed from the ontology). Select the property (or data properties) to be deleted and then activate delete:

After activating delete in one of the ways described above, the “Delete data property” dialog will be displayed (shown below). Select the option to either delete the selected property, or delete the selected property and all of the descendants of the selected property in the asserted data property hierarchy. Protégé will compute the data properties to be deleted based on the selected option and will then remove all axioms that mention these data properties from the set of active ontologies.

The delete property dialog. Here, the property hasSugarContent is being deleted.

Bolding

The data property hierarchy view may show some names in a bold font and others in a regular font. Roughly speaking, data properties whose names are shown in a bold font are described using axioms in the active ontology. This means that the property appears on the left hand side of a SubPropertyOf axiom, in an Equivalentdata properties axiom, in a property characteristics axiom (Transitive, Symmetrics etc.). Object properties whose names are shown in a regular weight font are merely referenced in the imports closure of the active ontology.

An example the bolding used in the data property hierarchy. The property hasDeveloperName is shown in bold because the active ontology contains axioms that describe it. The property hasName is not shown in bold because it is merely referenced by the active ontology (in the description of hasDeveloperName in this case).

Drag and Drop

It is possible to edit some of the SubPropertyOf axioms in the ontology by dragging and dropping tree nodes in the asserted data property hierarchy. Dropping an data property on top of an other property will make it a SubPropertyOf that other property.

Cycles

Data properties that appear in a cycle of SubPropertyOf axioms, for example P SubPropertyOf Q, Q SubPropertyOf R and R SubPropertyOf P will be collapsed and shown together, with one tree node for each property in the cycle so that each property may be selected. An example is shown below.

The reason for this notation is that a cycle in the data property hierarchy between two or more data properties states that the data properties in the cycle are equivalent. This is because P EquivalentTo Q is an abbreviation for the two axioms P SubPropertyOf Q and Q SubPropertyOf P.

See also

Common View Look and Feel