Difference between revisions of "Pr4 UG rv On Classification results"
From Protege Wiki
(Automated import of articles) |
m (moved Pr4 UG rv On Selected entailments to Pr4 UG rv On Classification results: Name of menu item changed in the Protege 4 UI.) |
(No difference)
| |
Revision as of 16:45, February 25, 2011
Ontology - Selected Entailments
comment Editing Glossary Outline
This view allows display and editing of selected entailments for an ontology.
Context
By default, this view appears in the following tabs:
- Active Ontology, in the "Selected entailments" sub-tab
Content and Layout
The external header begins with the text "Selected entailments". The internal header begins with the text "Inferred axioms", followed by an "Add" (+) button (to add an axiom to the ontology). Zero or more ontology axioms may follow.
Examples
The image below shows the default appearance of this view.
