ontologyowlprotegemanchester-syntax

Enumerations in OWL Restrictions

I am trying to add restrictions to properties in an ontology using Protege3.x.

I have a problem specifying enumerations inside restrictions. For example trying to specify a enum to restrict the possible data elements in this way:

enter image description here

which considers the whole expression as a single string:

enter image description here

In another example, I tried solving the problem by using multiple expressions and 'or' between them, which seems to be appropriate. But in the previous one, no 'or' is allowed.

enter image description here

How is it possible to use enumerations for this need? Thanks!

Solution

  • The issue is solved using Protege 4.

    The following expression was used in the class Superclasses attribute:

    hasRole only {"physician_generalPractice", "specialist_neurologist", "specialist_neurosurgeon"}