public String maxCardinalityExplanation() { return describeNode(getNode()) + " has more than " + _args[1] + " values for property " + _args[0] + " violating the cardinality restriction"; }
public String maxCardinalityExplanation() { return describeNode(getNode()) + " has more than " + _args[1] + " values for property " + _args[0] + " violating the cardinality restriction"; }
public String atomicExplanation() { return describeNode(getNode()) + " is forced to belong to class " + _args[0] + " and its complement"; }
public String nominalExplanation() { return describeNode(getNode()) + " is sameAs and differentFrom " + _args[0] + " at the same time "; }
public String bottomExplanation() { return describeNode(getNode()) + " has " + _args[0] + " property"; }
public String bottomExplanation() { return describeNode(getNode()) + " has " + _args[0] + " property"; }
public String functionalCardinalityExplanation() { return describeNode(getNode()) + " has more than " + "one value for the functional property " + _args[0]; }
public String atomicExplanation() { return describeNode(getNode()) + " is forced to belong to class " + _args[0] + " and its complement"; }
public String functionalCardinalityExplanation() { return describeNode(getNode()) + " has more than " + "one value for the functional property " + _args[0]; }
public String nominalExplanation() { return describeNode(getNode()) + " is sameAs and differentFrom " + _args[0] + " at the same time "; }