Re: Constraining facets for boolean values in OWL

You can use a OneOf datarange restriction.

https://www.w3.org/TR/owl2-syntax/#Enumeration_of_Literals

On Nov 15, 2019, at 22:07, Ondøej Zamazal <ondrej.zamazal@vse.cz<mailto:ondrej.zamazal@vse.cz>> wrote:

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:57:07 UTC