@Override public Boolean visit(OWLEquivalentClassesAxiom axiom) { return !axiom.contains(getRootObject()); }
@Override public Boolean visit(OWLEquivalentClassesAxiom axiom) { return !axiom.contains(getRootObject()); }
OWLClassExpression subClass = subClassOfEntailment.getSubClass(); OWLClassExpression superClass = subClassOfEntailment.getSuperClass(); if (axiom.contains(subClass) && axiom.contains(superClass)) { addExplanation(axiom); else if (axiom.contains(subClass)) { for (OWLClassExpression ce : asList) { if (!ce.equals(subClass) && ce.asConjunctSet().contains(superClass)) { else if (axiom.contains(superClass)) { for (OWLClassExpression ce : asList) { if (!ce.equals(superClass) && ce.asDisjunctSet().contains(subClass)) {
@Nonnull @Override public Set<PropertyValue> visit(OWLEquivalentClassesAxiom axiom) { if (!subject.isOWLClass()) { return Collections.emptySet(); } Set<PropertyValue> result = new HashSet<>(); if (axiom.contains(subject.asOWLClass())) { for (OWLClassExpression ce : axiom.getClassExpressions()) { if (!ce.equals(subject)) { for (OWLClassExpression conj : ce.asConjunctSet()) { Set<PropertyValue> vals = conj.accept(new ClassExpressionTranslator(State.DERIVED)); if (vals != null) { result.addAll(vals); } } } } } return result; }