Previous  Top  Next

View Menu

The commands in the View menu enable you to configure the display of toolbars and the Status Bar, and enable you to toggle on or off the display of blank nodes (anonymous classes).

Toolbars

The Toolbars menu item pops out a submenu in which you can choose whether to display a toolbar or not. When one of these submenu items is checked, it is displayed in the GUI; otherwise, it is hidden.

Details Window, Status Bar, Overview Window, Errors Window

The Status Bar menu item toggles on and off the display of the Details Window, Status Bar, Overview Window, and Errors Window. The Status Bar is located at the bottom of the SemanticWorks application window. The Status Bar displays a short description of menu items and toolbar icons when the mouse is placed over such an item.

Show Blank Nodes

Toggles the display of blank nodes (anonymous classes) on and off. When selected, the toggle is on (blank nodes are displayed); when unselected, the toggle is off (blank nodes are not displayed).

Show Comments

Toggles the display of comments in Detail View on and off. When selected, the toggle is on (comments are displayed in Detail View); when unselected, the toggle is off (comments are not displayed). Note that comments in large ontologies are hidden in order to provide a better graphical overview of the document. Note that comments are to be edited on the original declaration; where they are displayed as references, they cannot be edited.

Show Possible Inconsistencies

A toggle command to show possible semantic inconsistencies within OWL Lite and OWL DL ontologies. The semantic check in SemanticWorks is a partial semantic check. It is based on knowledge explicitly stated in the ontology; implied knowledge is not deduced. This means that implied knowledge, such as that derived through entailment or inference, will not be evaluated when the ontology is checked for its semantics. The semantics check, therefore, checks for inconsistencies in the explicit knowledge. The relationship between inconsistencies and the semantics check of SemanticWorks is shown in the illustration below. (Also see the section Semantics Check in the User Reference.)

When the Show Possible Inconsistencies toggle is switched on, inconsistencies that arise because implied knowledge is not used are displayed in the Errors Window (screenshot below).

When the toggle is switched off, possible inconsistencies are not displayed (screenshot below).

Note: The display of inconsistencies can also be switched on and off via the Inconsistency Warnings filter in the Filter Menu of the Errors Window.