multiple value shape?

I want to state that a composite shape ex:C has exactly one part ex:A and minimum one part ex:B. A and B are disjunct shapes (classes)

ex:a1 sh:nodeShape ex:A .
ex:a2 sh:nodeShape ex:A .
ex:b1 sh:nodeShape ex:B .

ex:c1 ex:hasPart ex:a1, ex:b1 .
ex:c2 ex:hasPart ex:a1, ex:a2, ex:b1 .

ex:c1 should pass shape ex:C, ex:c2 not.

My understanding is that
ex:C a sh:Shape;
                sh:property [
                                sh:predicate ex:hasPart;
                                sh:minCount 1;
                                sh:maxCount 1;
                                sh:valueShape ex:A;
                ];
                sh:property [
                                sh:predicate ex:hasPart;
                                sh:minCount 1;
                                sh:valueShape ex:B;
                ];
                .
would be an incorrect shape and could never be fulfilled.

Instead something like:
ex:C a sh:Shape;
                sh:property [
                                sh:predicate ex:hasPart;
                                sh:qualified [
                                                sh:minCount 1;
                                                sh:maxCount 1;
                                                sh:valueShape ex:A;
                                ];
                                sh:qualified [
                                                sh:minCount 1;
                                                sh:valueShape ex:B;
                                ]
                ]
                .

that limits the cardinality constraint to a local scope of sh:valueShape is needed.

Does the group has already a concept how to handle this?


Kind regards,

Thomas Weber
________________________________________________

OSTHUS GmbH
Eisenbahnweg 9 - 11
Eingang TH 6
52068 Aachen

Tel.:     +49 241-94314-27
Fax:     +49 241-94314-19
Email: thomas.weber@osthus.de<mailto:thomas.weber@osthus.de>
Web:  www.osthus.de<http://www.osthus.de>
[linkedin1]<https://www.linkedin.com/company/osthus>  [twitter1] <https://twitter.com/OSTHUS>
Handelsniederlassung: 52068 Aachen
Register: Amtsgericht Aachen, HRB 6398
Geschäftsführer: Dr. Torsten Osthus, Wolfgang Colsman, Andreas Mohr
________________________________________________

Der Inhalt dieser E-Mail ist ausschließlich für den bezeichneten Adressaten bestimmt. Wenn Sie nicht der vorgesehene Adressat dieser E-Mail oder dessen Vertreter sein sollten, so beachten Sie bitte, dass jede Form der Kenntnisnahme, Veröffentlichung, Vervielfältigung oder Weitergabe des Inhalts dieser E-Mail unzulässig ist. Wir bitten Sie, sich in diesem Fall mit dem Absender der E-Mail in Verbindung zu setzen.
________________________________________________

The information contained in this email is intended solely for the addressee. Access to this email by anyone else is unauthorized. If you are not the intended recipient, any form of disclosure, reproduction, distribution or any action taken or refrained from in reliance on it, is prohibited and may be unlawful. Please notify the sender immediately.