Protege4Views - Revision history

TaniaTudorache at 03:56, May 24, 2016

2016-05-24T03:56:22Z

TaniaTudorache at 03:55, May 24, 2016

2016-05-24T03:55:55Z

Nickdrummond: /* Frame views */

2009-05-15T11:54:20Z

‎Frame views

Nickdrummond: /* Frame views */

2009-05-15T11:48:38Z

‎Frame views

Nickdrummond: Modified frame views and added links

2009-05-15T11:43:22Z

Modified frame views and added links

Nickdrummond: /* General views */ added Frame views

2009-05-15T11:28:36Z

‎General views: added Frame views

Nickdrummond: /* Domains and ranges */

2009-05-15T11:06:07Z

‎Domains and ranges

Nickdrummond: /* Data property views */ added descriptions

2009-05-15T11:05:28Z

‎Data property views: added descriptions

Nickdrummond: Moved object properties section up

2009-05-15T10:59:37Z

Moved object properties section up

Nickdrummond: /* Object property views */ added descriptions

2009-05-15T10:57:32Z

‎Object property views: added descriptions

@@ Line 4: / Line 4: @@
 </div><br />
-Back to [[Protege4UserDocs|Protege User Documentation]]
+'''Back to [[Protege4UserDocs|Protege User Documentation]]'''
@@ Line 387: / Line 387: @@
 === RDF/XML rendering ===
 === FaCT++ Rendering ===

@@ Line 1: / Line 1: @@
 <div class="orangeBox">
-<span class="orangeBoxTitle">Protege 4.x Views</span><br /><br />
+<span class="orangeBoxTitle">Protege Views</span><br /><br />
-This page contains a summary of the default views provided with Protege 4.x, many of which are not visible by default.
+This page contains a summary of the default views provided with Protege 4, 5 and newer, many of which are not visible by default.
 </div><br />
-Back to [[Protege4UserDocs]]
+Back to [[Protege4UserDocs|Protege User Documentation]]
 __TOC__
-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.
+Views are the building blocks of the Protege user interface. They can be placed anywhere on any tab and your setup will be persisted across Protege versions.
 For notes on how to configure your user interface to include some of these views please see [[Protege4GettingStarted#Reconfigure_the_User_Interface|this section in our quick start guide]].

@@ Line 33: / Line 33: @@
 Each item in a frame list will generally represent a single statement(axiom) in the ontology.
 The '''buttons''' on the right hand side allow some standard actions (hover over to see the tooltops):
-* '''Annotations''' axiom annotations - this is in bold if annotations already exist
+* '''Annotations''' axiom annotations - this is highlighted with a circle if annotations already exist
 * '''Remove X''' delete this statement from the ontology
 * '''Edit''' open an editor to change this axiom in some way. An edit can also be performed by double clicking on the item.

@@ Line 32: / Line 32: @@
 Each item in a frame list will generally represent a single statement(axiom) in the ontology.
-The buttons on the right hand side allow some standard actions (hover over to see the tooltops):
+The '''buttons''' on the right hand side allow some standard actions (hover over to see the tooltops):
 * '''Annotations''' axiom annotations - this is in bold if annotations already exist
 * '''Remove X''' delete this statement from the ontology
@@ Line 39: / Line 39: @@
 A combination of asserted and '''inferred''' information can be shown in frame lists. Inferred information is displayed in pale yellow with a dashed border. Inferred axioms cannot be edited or deleted.
-If the axiom is asserted, hovering over the item will pop up a tooltip to state which ontology the axiom was asserted in (see right). By default , there are several actions in an item's context menu to manage where the assertion is made. To access the context menu click the right mouse button (mac users may have to first select the item with the left mouse button).
+If an axiom is asserted, hovering over the item will pop up a tooltip to state which ontology the axiom was asserted in (see right). In addition, axioms that are asserted in the active ontology are highlighted in '''bold'''.
-The standard actions are:
+By default, there are several actions in an item's '''context menu''' to manage where the assertion is made. To access the context menu click the right mouse button (mac users may have to first select the item with the left mouse button). The standard actions are:
 * '''Switch to defining ontology''' make the ontology that contains this assertion the active ontology
 * '''Pull into active ontology''' move the assertion into the current active ontology

@@ Line 27: / Line 27: @@
 They are a subtitled or categorised list of elements.
-The component used is a frame list and it is discussed here to explain its generic behaviour.
+The component used is a '''frame list''' and it is discussed here to explain its generic behaviour.
 The first thing to notice is that a frame list is broken up into subsections, each with a '''section header''' describing the type of items it contains. All sections that can be added to have a '''+''' button in the header. This button will provide an editor for creating a new item in the section.
-Each item in a frame list will generally represent a single axiom in the ontology. Hovering over the item will pop up a tooltip to state which ontology the axiom was asserted in (see right). By default , there are several actions in an item's context menu to manage where the assertion is made. To access the context menu click the right mouse button (mac users may have to first select the item with the left mouse button).
+Each item in a frame list will generally represent a single statement(axiom) in the ontology.
 The standard actions are:
+* '''Switch to defining ontology''' make the ontology that contains this assertion the active ontology
 A particular frame list may implement additional actions in this menu.
@@ Line 55: / Line 65: @@
 [[Image:P4-class-annotations-view.png|right|400px]]
-See also: [[Protege4Views#Frameviews]]
+See also: [[Protege4Views#Frame_views|Frame views]]
 Classes, properties, individuals, ontologies and even axioms can be annotated. All of the views look and act the same way.
@@ Line 133: / Line 143: @@
 [[Image:Classdescription.png|400px|right]]
-The class description view is the core of the class editor. A combination of asserted and inferred information is shown in this view. Inferred information in pale yellow with a dashed border.
+See also: [[Protege4Views#Frame_views|Frame views]]
 The sections are
@@ Line 146: / Line 158: @@
 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.
-Many entries in this view can be right clicked (select first, then right click on a mac) for a contextual menu that allows several options depending on the type of thing selected.
+Additional entries in the context menu include:
 * '''Convert selected rows to defined class''' build an intersection using the selected superclasses and make this class equivalent to the intersection (removing the superclass assertions)
 * '''Create new defined class''' make a new defined class that is equivalent to the selected class
@@ Line 180: / Line 189: @@
 [[Image:Generalclassaxioms.png|400px|right]]
 The '''General class axioms''' view displays class axioms that cannot be directly associated with a named class.
@@ Line 231: / Line 242: @@
 [[Image:Objectpropdescriptionview.png‎|400px|right]]
 Contains the following sections:
@@ Line 269: / Line 282: @@
 === Description ===
 Very much the same as the [[Protege4Views#Description_2|Object property description view]] but range is defined as a datatype and has the appropriate editor and there are no inverses or property chains on data properties.
@@ Line 291: / Line 306: @@
 == Individual views ==
 === Description ===
 === Annotations ===
 See [[#Annotations_views|Annotations views]]
 === Usage ===
 See [[#Usage_views|Usage views]]
-=== Individuals ===
 === Members list ===
 === Property assertions ===
 <br /><br />
@@ Line 339: / Line 364: @@
 === DL metrics ===
 === Explanation ===
 === Inferred axioms ===
 === Navigation subject ===
 === Navigation view ===
 === Ontology metrics ===
 === Rules ===
 <br />

@@ Line 20: / Line 20: @@
 Some views are very similar for multiple categories (particularly those for different entity types), and are therefore cross-referenced to here to avoid duplication.
 == Hierarchy views ==
@@ Line 33: / Line 54: @@
 [[Image:P4-class-annotations-view.png|right|400px]]
 Classes, properties, individuals, ontologies and even axioms can be annotated. All of the views look and act the same way.

@@ Line 263: / Line 263: @@
 === Domains and ranges ===
-Now merged into the [[Protege4Views#Description_3|description view].
+Now merged into the [[Protege4Views#Description_3|data property description view]].
 <br /><br />

@@ Line 181: / Line 181: @@
 <br /><br />
 == Data property views ==
@@ Line 242: / Line 297: @@
 <br /><br />
 == Ontology views ==

@@ Line 247: / Line 247: @@
 === Object properties ===
-[[Image:Obj-prop-hierarchy.png|200px|right]]
+<div style="float: right">
 Also see [[Protege4Views#Hierarchy_views|Hierarchy Views]]
 Displays the hierarchy of data properties based on subPropertyOf assertions.
 <br style="clear:both;"/>
 === Description ===
 Contains the following sections:
@@ Line 265: / Line 278: @@
 * '''Disjoint properties''' multiselect can be used in the editor to create a disjoint set including this property
 * '''Property chains''' Allow transitivity across multiple properties. For the currently selected property prop3, the editor syntax is prop1 o prop2 [o ...] -> prop3 which means if '''a prop1 b''' and '''b prop2 c''' then '''a prop3 c'''.
 === Characteristics ===
@@ Line 279: / Line 294: @@
 === Annotations ===
 See [[#Annotations_views|Annotations views]]
 == Ontology views ==