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