Notation
An ontology is a set of precise descriptive statements about some part of the world (usually referred to as the domain of interest or the subject matter of the ontology). Precise descriptions satisfy several purposes: most notably, they prevent misunderstandings in human communication and they ensure that software behaves in a uniform, predictable way and works well with other software. What is OWL 2 OWL 2 Primer
On the "Diagrams" screen, click the "New Diagram" button and the "New Diagram" form will appear.
Select the ontology seed diagram from the list.
Select an element from the left toolbar and edit its details in the right properties panel.
Namespaces are used to declare prefixes for IRIs used in the ontology. This allows shorter and more readable names to be used in diagrams and property panels.
In OWLGrEd notation, classes are represented by yellow nodes with the name of the class at the top. The class node may also contain attributes, restrictions, or other text notations related to the class. See also the Class Properties Panel.
This notation shows that one class is a subclass of another class. It corresponds to the OWL axiom SubClassOf.
This notation shows that several classes are subclasses of the same superclass using a shared fork.
This notation shows superclass expressions in text form inside the class node or in the class property panel. See SuperClasses.
Equivalent classes express that two or more class descriptions define exactly the same set of individuals.
This notation represents an equivalence relation between classes using a line.
This notation represents class equivalence using a separate node connected to the participating classes.
This notation represents equivalent class expressions as text. See EquivalentClasses.
Disjoint classes express that the same individual cannot belong to both classes at the same time.
This notation represents disjointness between classes using a line.
This notation represents class disjointness using a separate node connected to the participating classes.
This notation represents disjoint class expressions as text. See DisjointClasses.
This notation represents a HasKey axiom for a class. A key specifies one or more properties that can be used to identify individuals of that class. Keys can be managed in Keys.
In OWLGrEd notation, individuals are represented by purple nodes. Individual nodes represent named instances of classes.
The instance of relation links an individual to its class.
This notation shows that an individual is an instance of a class.
This notation shows the class membership of an individual in text form.
Same individuals express that two or more names refer to the same individual.
This notation represents equality between individuals using a line.
This notation represents equality between individuals using a separate node.
This notation represents the same individual relation in text form.
Different individuals express that two or more individuals are distinct.
This notation represents inequality between individuals using a line.
This notation represents inequality between individuals using a separate node.
This notation represents different individuals in text form.
Object properties describe relations between individuals of classes.
This notation represents an object property as an association between two classes. One line combines the property and its inverse property. These properties can be edited in Association Properties Panel.
This notation represents an object property using a separate node connected to its domain and range classes.
This notation represents an object property assertion between two individuals using a line.
This notation represents an object property assertion using a separate node.
Data properties describe relations between individuals and literal values.
This notation represents a data property as text, usually inside a class node. These properties can be edited in Attributes Tab.
This notation represents a data property using a separate node connected to a class and a datatype.
This notation represents a data property assertion between an individual and a literal value in text form.
This notation represents a data property assertion using a separate node.
Datatypes represent the types of literal values, such as string, integer, or restricted datatype expressions. Datatype values used in attributes can be specified in Attribute Dialog.
Property restrictions represent class expressions based on property constraints, such as existential restrictions, universal restrictions, and cardinality restrictions.
Annotations provide descriptive information and metadata for ontology elements. They do not affect logical reasoning.
This notation represents an annotation using a separate node.
This notation represents an annotation in text form.
