Common View Look and Feel

Many of the views in the Protégé distribution, such as the Class Description view shown below, have a common look and feel. A typical view consist of a list of Sections, and each Section contains a list of Rows.

An example of such a view is the Class Description view, which contains sections such as “Equivalent To”, “SubClass Of” and “Disjoint With” (amongst others). These sections are pertinent to the current selected class, and a given section contains rows that are pertinent to that section. For example, the “SubClass Of” section contains rows that contain class expressions that the current selected class is a subclass of. Similarly, the “Equivalent To” section contains rows that contain class expressions that the current selected class is equivalent to.

The purpose of this page is to describe these sections and rows based views, along with their generic functionality are described in more detail.

Sections

As mentioned above, most views are broken up into sections. Each section has a header that specifies the meaning of the rows that it contains. For example, in the Class Description view, the section, “SubClassOf”, contains rows that the current selected class is a subclass of.

Sections that can have rows added to them have a + button (Add button) to the right of the header label. Pressing this button displays an editor for adding a new row to the section.

An example of a Section Header. This section header is taken from the Class Description view. The + button (Add button) allows extra rows to be added to the associated section.

Rows

Each row in a section typically represents a single axiom (or statement) in one of the active ontologies. For example, in the class description view shown above, the “SubClass Of” section contains the row “hasTopping some TomatoTopping”. This particular row represents the axiom “AmericanHot SubClassOf hasTopping some TomatoTopping” (since the view is displaying information for the class “AmericanHot”). We say that this is the underlying axiom for this row.

Asserted and Inferred Rows

A row that has a white background represents an asserted row. In other words, the axiom that is represented by the row has been asserted into one of the active ontologies. The afore mentioned row containing “hasTopping some TomatoTopping” in an example of an asserted row. Hovering over an asserted row will cause a tooltip to be displayed that shows the ontology that the axiom is asserted in. Finally, rows whose underlying axioms are asserted in the active ontology are highlighted in bold.

An example of an asserted row. Note the white background that indicates the underlying axiom is asserted. In this particular case, the row is shown in bold, which indicates that the underlying axiom is asserted in the active ontology.

A row that has a yellow background represents an inferred row. In other words, the axiom that is represented by the row has been inferred and is not contained in one of the active ontologies. In the class description view shown above, the row containing “SpicyPizza” is an example of such a row. This row means that the axiom “AmericanHot SubClassOf SpicyPizza” is inferred.

An example of an inferred row. Note the pale yellow background that indicates that the row is inferred and the underlying axiom is entailed by the active ontologies but is not asserted in any of the active ontologies.

Row Buttons

Each row has a series of row buttons that are located on the right hand side of it. The standard buttons for an assert row are “Explain inference”, “Annotations”, “Remove” (Delete) and “Edit”. The standard buttons for an inferred row are “Explain inference” and “Annotations”.

The standard row buttons for an asserted row. From left to right: "Explain inference", "Annotations", "Delete" and "Edit".

These buttons offer the following functionality:

Section Header Keyboard Shortcuts

Row Keyboard Shortcuts