Constraining facets for boolean values in OWL

Hi,

I am wondering whether the OWL language enables us to define a class 
restriction using the boolean value.

In the ABox we can say that

:instance1 :property1 "true"^^xsd:boolean

:instance2 :property1 "true"^^xsd:boolean

:instance3 :property1 "false"^^xsd:boolean

Is it possible to define the OWL class having all instances with 
:property1 assigned to the true value?

We can use facets with strings, numbers etc. in OWL but it seems to me 
that we cannot use facets with boolean values as the OWL 2 Web Ontology 
Language Structural Specification says "No constraining facet is 
normative for this [boolean] datatype." [1]

Is there some way to express such restrictions using boolean values in OWL?

Thank you

Regards,

Ondrej

[1] https://www.w3.org/TR/owl2-syntax/#Boolean_Values



--

Ondřej Zamazal

Department of Information and Knowledge Engineering

University of Economics, Prague

https://nb.vse.cz/~svabo/

Received on Friday, 15 November 2019 22:05:08 UTC