ParadigmLogical modelDomain logicPropertiesOperatorsClass operatorsVersion: 5.xClass operatorsClass operators include the following operators: Classification (AS/IS) Signature matching (ISCLASS)