Skip to content

Properties panels

Jump to bottom
julijaovcinnikova edited this page Apr 23, 2026 · 5 revisions

Class Property Panel:

Main Tab

The Main tab of the Class property panel is used to edit the main information about a class and its basic OWL axioms.

It contains the class name, the main comment field, and sections for class expressions and annotations.

ClassMain

Name

The Name field contains the class name. This is the main identifier of the class in the ontology.

Example: Student

Comment

The Comment field represents the first class annotation assertion of type rdfs:comment.

It is used to store a human-readable description of the class. In OWL terms, this corresponds to an AnnotationAssertion axiom whose annotation property is rdfs:comment.

Example: MandatoryCourse has the comment:

  • "Mandatory courses are taught by only professors"
ClassComment

This corresponds to: AnnotationAssertion(rdfs:comment :MandatoryCourse "Mandatory courses are taught by only professors")

Each section below contains OWL axioms related to the selected class. A new entry can be added by pressing the + button.

EquivalentClasses

This section contains class expressions that are equivalent to the selected class.

Example: Professor is equivalent to:

  • Teacher and facultyLevel value Level_Professor
ClassEquivalent

This means that a class member is a Professor exactly when it is a Teacher whose facultyLevel is Level_Professor.

SuperClasses

This section contains superclass axioms of the selected class. classSuperclass

Example: Student has superclass:

  • :Person

It also has superclass restrictions:

exactly 1 enrolled value from AcademicProgram at least one takes value from Course

So, in OWLGrEd, the SuperClasses section for Student would include:

  • Person
  • enrolled exactly 1 AcademicProgram
  • takes some Course

DisjointClasses

This section contains classes that are disjoint with the selected class. classDisjoint

Example:

  • MandatoryCourse is disjoint with OptionalCourse

This means that no individual can belong to both classes at the same time.

Keys

The Keys section is used to define HasKey axioms for the selected class.

A key specifies one or more properties that can be used to uniquely identify individuals of that class. In OWL, this corresponds to a HasKey axiom. classKey

Example:

Person has key: personID

This corresponds to: HasKey(foaf:Person ( :personID ))

Keys dialog

The Keys dialog contains a table where each row represents one property included in the key. classKeyDialog

It has the following columns:

  • Property - the property used as part of the key
  • IsInverse - specifies whether the inverse of the property is used
  • Delete - removes the property from the key definition

The Add button inserts a new row, allowing another property to be included in the same key.

The dialog therefore allows a key to consist of one or several properties.

Annotation

This section contains other annotations of the class.

These are annotation assertions attached to the class, such as labels, comments, notes, or other metadata.

Each annotation corresponds to an AnnotationAssertion axiom whose subject is the selected class.

Example:

  • annotation type: comment
  • value: Mandatory courses are taught by only professors
  • language: en

This corresponds to an annotation assertion such as:

  • AnnotationAssertion(rdfs:comment :MandatoryCourse "Mandatory courses are taught by only professors"@en)

To create or edit an annotation, click the + button in the Annotation section. This opens the Annotation dialog.

Annotation dialog

classAnnotationDialog

The Annotation dialog contains the following fields:

  • AnnotationType - the annotation property used for the annotation
  • Value - the annotation value
  • Language - the language tag of the annotation value

Attributes Tab

The Attributes tab is used to manage the attributes of the selected class.

Attributes represent datatype properties that are shown inside the class box in the diagram. They describe data values of class individuals, such as names, codes, numbers, or other literal values.

classAttributes

For example, in the class Course, the following attributes are shown:

  • courseCode : string
  • courseCredit : (integer[> 0])
  • courseName : string

The + button in the top-right corner is used to create a new attribute.

Attribute Dialog

To create or edit an attribute, click the Edit button for an existing attribute or the + button in the Attributes tab. This opens the Attributes dialog.

The dialog is used to define one attribute of the selected class.

classAttributeDialog

Name

The Name field contains the attribute name.

Example:

  • courseCredit

This is the name shown in the class box and in the attribute list.

Type

The Type field specifies the datatype of the attribute.

Examples:

  • string
  • (integer[> 0])

The type may be:

  • a simple datatype, such as string,
  • or a restricted datatype expression, such as (integer[> 0]).

Multiplicity

The Multiplicity field is used to specify the allowed number of values for the attribute.

This field can be used when the attribute should have cardinality restrictions.

Annotations

The Annotations section is used to add annotations for the attribute.

Each annotation row contains:

  • Annotation Type
  • Value
  • Language
  • Delete

The Add button inserts a new annotation row.

Is Functional

The Is Functional checkbox specifies whether the attribute is functional.

If selected, the attribute can have at most one value for each individual of the class.

Equivalent Properties

The Equivalent Properties section is used to specify properties equivalent to this attribute.

If two properties are equivalent, they have the same meaning.

Super Properties

The Super Properties section is used to specify superproperties of the attribute.

This means that the current attribute is a subproperty of another property.

Disjoint Properties

The Disjoint Properties section is used to specify properties that are disjoint with this attribute.

Clone this wiki locally