Difference between revisions of "Protege4Views"
Nickdrummond (talk | contribs) m |
Nickdrummond (talk | contribs) (→Ontology views) |
||
| Line 109: | Line 109: | ||
== Ontology views == | == Ontology views == | ||
| + | === Annotations === | ||
=== DL metrics === | === DL metrics === | ||
=== Explanation === | === Explanation === | ||
| − | |||
| − | |||
=== Inferred axioms === | === Inferred axioms === | ||
| − | |||
=== Navigation subject === | === Navigation subject === | ||
=== Navigation view === | === Navigation view === | ||
| − | === | + | === Ontology metrics === |
| + | === Rules === | ||
| + | |||
| + | <br /> | ||
| + | === Imported ontologies === | ||
| + | === OWLViz imports graph === | ||
| + | |||
| + | <br /> | ||
| + | === Manchester syntax rendering === | ||
| + | === OWL functional syntax rendering === | ||
=== OWL/XML rendering === | === OWL/XML rendering === | ||
| − | |||
| − | |||
| − | |||
=== RDF/XML rendering === | === RDF/XML rendering === | ||
| − | === | + | === FaCT++ Rendering === |
Revision as of 08:28, November 26, 2008
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
Contents
- 1 Class views
- 2 Data property views
- 3 Individual views
- 4 Misc views
- 5 Object property views
- 6 Ontology views
- 6.1 Annotations
- 6.2 DL metrics
- 6.3 Explanation
- 6.4 Inferred axioms
- 6.5 Navigation subject
- 6.6 Navigation view
- 6.7 Ontology metrics
- 6.8 Rules
- 6.9 Imported ontologies
- 6.10 OWLViz imports graph
- 6.11 Manchester syntax rendering
- 6.12 OWL functional syntax rendering
- 6.13 OWL/XML rendering
- 6.14 RDF/XML rendering
- 6.15 FaCT++ Rendering
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
Asserted class hierarchy
Asserted superclass hierarchy
Annotations
Description
Usage
General class axioms
Inferred superclass hierarchy
Inferred class hierarchy
OWLViz
Anonymous defined classes
Coming in build 105. See this page about anonymous class support
Data property views
Data properties
Annotations
Usage
Characteristics
Description
Domains and ranges
Individual views
Description
Annotations
Usage
Individuals
Individuals by class
Members list
Property assertions
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
Annotations
Characteristics
Description
Domains and ranges
Usage
Object properties
The primary object property hierarchy.
Inferred object property hierarchy
Once the reasoner has classified this view will show the computed property hierarchy.
Ontology views
Annotations
DL metrics
Explanation
Inferred axioms
Ontology metrics
Rules
Imported ontologies
OWLViz imports graph
