Class Description

The class description view is the core of the class editor. It allows the logical description of the selected class to be edited using Manchester OWL Syntax. The view follows the common view look and feel and comprises a number of sections, which are described below. Each line in a section corresponds to an axiom in one of the loaded ontologies.

The sections are:

Inferred information

Inferred information is shown inline with a yellow background. Note that inferred information is not displayed by default for some sections. In order to turn displayed inferred information on or off the Reasoner Preferences panel should be used.

The class description view showing a mix of asserted and inferred information. The rows with the yellow background are inferred. Here, the selected class is asserted to be a subclass of "Aircraft" and "hasManufacturer value Boeing" and is inferred to be a subclass of "BoeingAircraft".

Adding and Editing Class Expressions

Adding or editing Equivalent classes or Superclasses displays a dialog that contains multiple class expression editors. The editors range from a simple tree from which a class can be picked to a complete OWL class expression editor. The class expression editor uses the Manchester OWL Syntax.

The class expression editor showing the class expression editing tab. There are also tabs for selecting classes from a tree view, or creating object and data restrictions by picking properties and classes from a tree view.

The Disjoint classes editor gives the choice of a class hierarchy on which multi-select can be performed, or an expression editor where multiple values can be entered by comma separating them.

Right clicking on a line in the Class Description view displays a popup menu offering various actions:

The popup menu for the class description view.

See also

Common View Look and Feel