May question is a bit basic. But I do not know what happens when we define "data range expressions" in protege? Does it limit the range only to the literals written there? In what cases can we use "data range expressions?"
Below is an example that I saw in an ontology:
The semantics of data property domains and ranges are given by
which you can find defined in the direct semantics of OWL 2.
This means that for every 2 individuals x
and y
that are related by a data property DPE
, that x
is of type CE
and y
is of type DR
.
In your example it means that if x
and y
are related via test type
then the reasoner will infer x
is of type Concrete placement OR Test
and y
is of type {"Self-inspection", "Third-Party Monitoring"}
.
Update based on comment
This means that if individual y
does not have the value of either "Self-inspection"
OR "Third-Party Monitoring"
, it will result in the ontology being inconsistent.
So, yes, the user has to choose between these 2 values.