Protege4Views

Protege 4.x Views

This page contains a summary of the default views provided with Protege 4.x, many of which are not visible by default.

Back to Protege4UserDocs

Views are the building blocks of the P4 user interface. They can be placed anywhere on any tab and your setup will be persisted across P4 versions.

For notes on how to configure your user interface to include some of these views please see this section in our quick start guide.

Views are to be found in the View menu, and are categorised as below.

Class views

Anonymous defined classes

Coming in build 105. See this page about anonymous class support

Misc views

Axiom annotations

Inline view for viewing/editing axiom annotations. See axiom annotations for more information.

Query

Better known as DLQuery.

Selected entity

The basis for the entities tab.

This view contains other views and follows the current selection, whether this is a class. property or individual.

The default layout for each entity type can be seen in the entities tab - you can completely change these and they will be preserved.

Manchester syntax entity rendering

Coming in build 105. Manchester syntax rendering for the currently selected entity (for easy cut and paste).

Object property views

Object properties

The primary object property hierarchy.

Inferred object property hierarchy

Once the reasoner has classified this view will show the computed property hierarchy.