Search code examples
ontologyprotege

What is data range expression protege?

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: enter image description here

Solution

  • The semantics of data property domains and ranges are given by domain and range semantics

    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.