@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( List<? extends ElkClassExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionHierarchy(expressions); } return null; }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, List<? extends ElkClassExpression> classExpressions) { classExpressions = removeRepetitions(classExpressions); if (classExpressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionExistentialTransitivity( transitiveProperty, classExpressions); } return null; }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, List<? extends ElkClassExpression> classExpressions) { classExpressions = removeRepetitions(classExpressions); if (classExpressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionExistentialTransitivity( transitiveProperty, classExpressions); } return null; }
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, List<? extends ElkObjectPropertyExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 1) {// otherwise the inference is trivial super.getElkPropertyInclusionHierarchy(subExpression, expressions); } return null; }
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, List<? extends ElkObjectPropertyExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 1) {// otherwise the inference is trivial super.getElkPropertyInclusionHierarchy(subExpression, expressions); } return null; }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( List<? extends ElkClassExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionHierarchy(expressions); } return null; }
@Override public ElkPropertyInclusionHierarchy getElkPropertyInclusionHierarchy( ElkSubObjectPropertyExpression subExpression, List<? extends ElkObjectPropertyExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 1) {// otherwise the inference is trivial super.getElkPropertyInclusionHierarchy(subExpression, expressions); } return null; }
@Override public ElkClassInclusionExistentialTransitivity getElkClassInclusionExistentialTransitivity( ElkObjectPropertyExpression transitiveProperty, List<? extends ElkClassExpression> classExpressions) { classExpressions = removeRepetitions(classExpressions); if (classExpressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionExistentialTransitivity( transitiveProperty, classExpressions); } return null; }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( List<? extends ElkClassExpression> expressions) { expressions = removeRepetitions(expressions); if (expressions.size() > 2) {// otherwise the inference is trivial super.getElkClassInclusionHierarchy(expressions); } return null; }