In the Concept Modeler, a property restriction appears as one with a {subsets} or {redefines}. The Concept Modeler will import each property restriction as a unidirectional association between the two concepts.
Cameo Concept Modeler 19.0 LTR SP1 Documentation