MINIM = ro_namespaces.makeNamespace(minimnsuri, [ "Constraint", "Checklist" # synonyms , "hasConstraint", "hasChecklist" # synonyms , "hasPrefix" # Model and properties , "Model" , "hasMustRequirement", "hasShouldRequirement", "hasMayRequirement", "hasRequirement" # Requirement and properties , "Requirement" , "isDerivedBy" # Reporting properties , "seq", "show", "showpass", "showfail", "showmiss" , "list", "listpass", "listfail" , "ValueCollector", "collectVar", "collectList" # Rules and properties , "RequirementRule" , "SoftwareEnvironmentRule", "DataRequirementRule", "ContentMatchRequirementRule" , "forTarget", "forTargetTemplate", "forPurpose", "toModel" , "aggregates" , "command", "response" , "forall", "orderby", "exists", "aggregatesTemplate", "isLiveTemplate" # Refactored rule and properties , "QueryTestRule", "graph", "query" , "Query" , "SparqlQuery", "sparql_query", "result_mod" , "QueryResultTest" , "CardinalityTest", "min", "max" ### @@use min, max, all as qualifiers for other tests? , "RuleTest", "affirmRule" , "RuleNegationTest", "negateRule" ### @@use max cardinality constraint instead? , "AggregationTest", "aggregatesTemplate" , "AccessibilityTest", "isLiveTemplate" , "ExistsTest", "exists" ### @@this is structly redundant - drop it? # Result properties , "Result" , "minimUri" , "testedChecklist", "testedPurpose", "testedTarget", "testedModel", "testedRO" , "minimallySatisfies", "nominallySatisfies", "fullySatisfies" , "satisfied", "missingMay", "missingShould", "missingMust" , "ChecklistItemReport" , "tryRequirement", "tryMessage" ])