Fix equivalent class with only one entry (not intersection)
@@ -926,8 +926,12 @@ public class Template {
if (!intersectionEquivalentExpressionColumns.isEmpty()) {
// Special case to support legacy "C"/"equivalent" class type
// Which is the intersection of all C columns
+ if (intersectionEquivalentExpressionColumns.size() == 1) {
+ addEquivalentClassesAxioms(cls, intersectionEquivalentExpressionColumns, row);
+ } else {
addIntersectionEquivalentClassesAxioms(cls, intersectionEquivalentExpressionColumns, row);
}
+ }
if (!disjointExpressionColumns.isEmpty()) {
addDisjointClassAxioms(cls, disjointExpressionColumns, row);
}
