In the Magic Concept Modeler, a property restriction appears as one with a {subsets} or {redefines}.
Importing Property Restrictions
The Magic Concept Modeler will import each property restriction as a unidirectional association between the two concepts.
The Magic Concept Modeler will import each concept restriction as a unidirectional association between the concept on which the restriction is specified and the concept filler specified in the restriction definition. If the restriction is defined in an ontology different than the concept on which it is defined, then the resulting unidirectional association is owned by the «Model» corresponding to the ontology in which it is defined. In this case, the restricting property is owned by the association.