Intersection de classes au lieu d'union dans le typage d'instance ou la définition de domaine/range
Référence : Debug sur la base de SRSA-IP_STB_PHON_00300.ttl
J'ai généré le fichier en PJ avec la dernière version des règles.
On considère des intersections de classes au lieu d'unions à plusieurs endroits :
Dans le typage des instances :
Dans la déclaration des domains/ranges :
Edited by Aurélien Lamercerie