Protege 中“等效于”和数据属性的问题

Question

I am trying to add to "Equivalent To"

Patient and (hasSmokerStatus some xsd:boolean [= "true"])

however I cannot add it as I got error in xsd:boolean .

I tried

Patient and (hasSmokerStatus some xsd:boolean ["true"])

I tried all that with and without quotes, as well as

Patient and (hasSmokerStatus some "true"^^xsd:boolean)

but nothing works.

How can I use boolean in the "Equivalent To"?

Answer 1

Your idea is to adapt datatype restrictions ( 7.5 ) to boolean values. However, no constraining facet is normative for this datatype ( 4.4 ). Instead, you need enumerations of literals ( 7.4 ). In Protégé:

Patient  hasSmokerStatus  {true}

Data property existential restrictions (8.4.2 ) with single-value data ranges could be replaced with literal value restrictions ( 8.4.3 ). In Protégé:

Patient  hasSmokerStatus  true