Protege manual owl

The selection model is global: when a class, property or individual is selected in the trees on the left-hand side, the right pane changes to display the selection immediately. In addition, most views implement hypertext navigation so that links can be followed easily regardless of which view you are using. Opening up the hierarchies and selecting a class or property displays the appropriate description on the right.

Backward and forward navigation is possible with the left and right arrow buttons in the toolbar, which act just like a Web browser. Another easy way to navigate around the contents of an ontology is to perform a search. The find box in the toolbar performs a global search over any named entity in an ontology.

In addition, the hierarchy views have their own find dialogs first, click anywhere in the view to give it focus, then Ctrl-F on Windows, Command-F on Mac. Reasoning with your ontology is one of the most commonly performed activities and Protege comes with a built-in reasoner called HermiT. To classify your ontology , open the Reasoner menu and select HermiT, which will automatically classify your ontology. After the reasoner finishes classifying, an additional sub tab appears on the Entites tab to show the inferred class hierarchy.

Unsatisfiable classes appear in red under Nothing and everything else appears in the hierarchy under their inferred superclasses. The asserted class hierarchy is still available, stacked under the asserted one. These reasoners are available for download from the File Check for plugins Each tab is made up of multiple views - each with its own perspective on the ontology, or just one aspect of the ontology like the last selected class.

Views can be stacked on top of each other, in which case you will see additional tabs for exposing them. Examples of this are the usage views that are by default on the Entities, Classes, Properties and Individuals tabs. This tab shows a graphical representation of the class subsumption hierarchy.

DL Query - requires the ontology to have been classified before it will return results. Each tab is made up of multiple views - each with its own perspective on the ontology, or just one aspect of the ontology like the last selected class.

Views can be stacked on top of each other, in which case you will see additional tabs for exposing them. Examples of this are the usage views that are by default on the Entities, Classes, Properties and Individuals tabs.

Select the tab to make the view visible. You can add and remove views to create you own custom interfaces see below. Reconfiguring the user interface is easy. Adding and removing tabs and views is possible through the Tabs and View menus.

Try adding a view to the Entities tab:. Many ontologies, in particular biomedical ontologies, use alpha-numeric codes as the identifiers of classes, properties and individuals. If your class hierarchy just looks like a jumble of numbers or other computer-generated codes, but you have labels for each entity, you can ask Protege to use these labels when displaying entities instead. The current renderer selected will be preserved next time you open Protege to save this step in the future.

Introduction Protege is an OWL ontology development environment. The active ontology tab. Navigation Now switch to the Entities Tab.

The Entities tab. Here, the class Country is selected in the Class Hierarchy Tree on the left hand side. The right hand side displays information about the selected entity in this case Country. Reasoning Reasoning over your ontology is a commonly performed activity and Protege comes with a built-in reasoner called HermiT. From here you can install various plugins such as Reasoners.

Investigate views Each tab is made up of multiple views - each with its own perspective on the ontology, or just one aspect of the ontology like the last selected class. Otherwise you may need to download one from Oracle's Java web site or contact your OS manufacturer.

Instructions After downloading, open a shell and cd to the directory where you downloaded the installer. At the prompt type: sh. No, thanks. I'm already registered.