@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { final List<SubClassOfAxiomEntailment> premises = new ArrayList<SubClassOfAxiomEntailment>(); for (final SubClassOfEntailmentQuery subsumption : getPremises()) { premises.add(subsumption.getQuery()); } return Collections.singleton( new EntailedIntersectionInconsistencyEntailsDisjointClassesAxiomImpl( getQuery(), premises)); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override public DisjointClassesEntailmentQuery visit( final ElkDisjointClassesAxiom axiom) { final List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); final int size = disjoint.size(); final List<SubClassOfEntailmentQuery> premises = new ArrayList<SubClassOfEntailmentQuery>( size); for (int first = 0; first < size - 1; first++) { for (int second = first + 1; second < size; second++) { final SubClassOfEntailmentQuery subsumption = visit(elkFactory_ .getSubClassOfAxiom(elkFactory_.getObjectIntersectionOf( disjoint.get(first), disjoint.get(second)), elkFactory_.getOwlNothing())); premises.add(subsumption); } } return new DisjointClassesEntailmentQuery( new DisjointClassesAxiomEntailmentImpl(axiom), premises); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override public DisjointClassesEntailmentQuery visit( final ElkDisjointClassesAxiom axiom) { final List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); final int size = disjoint.size(); final List<SubClassOfEntailmentQuery> premises = new ArrayList<SubClassOfEntailmentQuery>( size); for (int first = 0; first < size - 1; first++) { for (int second = first + 1; second < size; second++) { final SubClassOfEntailmentQuery subsumption = visit(elkFactory_ .getSubClassOfAxiom(elkFactory_.getObjectIntersectionOf( disjoint.get(first), disjoint.get(second)), elkFactory_.getOwlNothing())); premises.add(subsumption); } } return new DisjointClassesEntailmentQuery( new DisjointClassesAxiomEntailmentImpl(axiom), premises); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { final List<SubClassOfAxiomEntailment> premises = new ArrayList<SubClassOfAxiomEntailment>(); for (final SubClassOfEntailmentQuery subsumption : getPremises()) { premises.add(subsumption.getQuery()); } return Collections.singleton( new EntailedIntersectionInconsistencyEntailsDisjointClassesAxiomImpl( getQuery(), premises)); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { return Collections.singleton( new EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl( getQuery(), getPremises().get(0).getQuery())); }
@Override public DisjointClassesEntailmentQuery visit( final ElkDisjointClassesAxiom axiom) { final List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); final int size = disjoint.size(); final List<SubClassOfEntailmentQuery> premises = new ArrayList<SubClassOfEntailmentQuery>( size); for (int first = 0; first < size - 1; first++) { for (int second = first + 1; second < size; second++) { final SubClassOfEntailmentQuery subsumption = visit(elkFactory_ .getSubClassOfAxiom(elkFactory_.getObjectIntersectionOf( disjoint.get(first), disjoint.get(second)), elkFactory_.getOwlNothing())); premises.add(subsumption); } } return new DisjointClassesEntailmentQuery( new DisjointClassesAxiomEntailmentImpl(axiom), premises); }
@Override protected Collection<? extends EntailmentInference> getEntailmentInference() { final List<SubClassOfAxiomEntailment> premises = new ArrayList<SubClassOfAxiomEntailment>(); for (final SubClassOfEntailmentQuery subsumption : getPremises()) { premises.add(subsumption.getQuery()); } return Collections.singleton( new EntailedIntersectionInconsistencyEntailsDisjointClassesAxiomImpl( getQuery(), premises)); }