Pr4 UG rv On Classification results

Ontology - Selected Entailments

comment   Editing   Glossary   Outline

Views
Ontology
DL Metrics
Imported Ontologies
Manchester Syntax Rendering
Navigation Subject
Navigation View
Ontology Annotations
Ontology Metrics
OWL Functional Syntax Rendering
OWL/XML Rendering
OWLViz Imports Graph
RDF/XML Rendering
Rules
Selected Entailments

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.