ISO/IEC 13250-5:2015 specifies a formal model for subject maps, minimal access functionality and information retrieval from subject maps and a constraint framework governing the interpretation of subject maps.
Particular formalisms to constrain subject maps are not covered by this part of ISO/IEC 13250.