@Override public Collection<? extends EntailmentInference> defaultVisit( final Entailment entailment) { return inconsistencyEvidence_.getInferences(entailment); };
@Override public Collection<? extends EntailmentInference> defaultVisit( final Entailment entailment) { return inconsistencyEvidence_.getInferences(entailment); };
@Override public Collection<? extends EntailmentInference> defaultVisit( final Entailment entailment) { return inconsistencyEvidence_.getInferences(entailment); };
@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { final Collection<? extends Inference<Entailment>> infs = inconsistencyEvidence_ .getInferences(OntologyInconsistencyImpl.INSTANCE); if (infs == null || infs.isEmpty()) { /* * If ontology inconsistency is not entailed, this proof is empty. */ return Collections.emptyList(); } // else if (conclusion instanceof Entailment) { return ((Entailment) conclusion).accept(GET_INFERENCES); } // else return Collections.emptyList(); }
@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { final Collection<? extends Inference<Entailment>> infs = inconsistencyEvidence_ .getInferences(OntologyInconsistencyImpl.INSTANCE); if (infs == null || infs.isEmpty()) { /* * If ontology inconsistency is not entailed, this proof is empty. */ return Collections.emptyList(); } // else if (conclusion instanceof Entailment) { return ((Entailment) conclusion).accept(GET_INFERENCES); } // else return Collections.emptyList(); }
public void generate(final Entailment goalEntailment) throws ElkException { try { for (final EntailmentInference inf : evidence_ .getInferences(goalEntailment)) { inf.accept(this); } } catch (final TunnelingException e) { final ElkException elkException = e.getElkException(); if (elkException != null) { throw e.getElkException(); } } }
public void generate(final Entailment goalEntailment) throws ElkException { try { for (final EntailmentInference inf : evidence_ .getInferences(goalEntailment)) { inf.accept(this); } } catch (final TunnelingException e) { final ElkException elkException = e.getElkException(); if (elkException != null) { throw e.getElkException(); } } }
public void generate(final Entailment goalEntailment) throws ElkException { try { for (final EntailmentInference inf : evidence_ .getInferences(goalEntailment)) { inf.accept(this); } } catch (final TunnelingException e) { final ElkException elkException = e.getElkException(); if (elkException != null) { throw e.getElkException(); } } }
@Override public Void visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkEquivalentClassesCycle(entailmentInference .getConclusion().getAxiom().getClassExpressions()); return null; }
@Override public Void visit( final EntailedEquivalentClassesEntailsSameIndividualAxiom entailmentInference) { for (final EquivalentClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkSameIndividualOfEquivalentClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
@Override public Void visit( final EntailedEquivalentClassesEntailsSameIndividualAxiom entailmentInference) { for (final EquivalentClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkSameIndividualOfEquivalentClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
@Override public Void visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkDisjointClassesIntersectionInconsistencies( entailmentInference.getConclusion().getAxiom() .getClassExpressions()); return null; }
@Override public Void visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkDisjointClassesIntersectionInconsistencies( entailmentInference.getConclusion().getAxiom() .getClassExpressions()); return null; }
@Override public Void visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailmentInference) { for (final DisjointClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkDifferentIndividualsOfDisjointClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
@Override public Void visit( final EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkDisjointClassesIntersectionInconsistencies( entailmentInference.getConclusion().getAxiom() .getClassExpressions()); return null; }
@Override public Void visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkEquivalentClassesCycle(entailmentInference .getConclusion().getAxiom().getClassExpressions()); return null; }
@Override public Void visit( final EntailedClassInclusionCycleEntailsEquivalentClassesAxiom entailmentInference) { for (final SubClassOfAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_.getElkEquivalentClassesCycle(entailmentInference .getConclusion().getAxiom().getClassExpressions()); return null; }
@Override public Void visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailmentInference) { for (final DisjointClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkDifferentIndividualsOfDisjointClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
@Override public Void visit( final EntailedEquivalentClassesEntailsSameIndividualAxiom entailmentInference) { for (final EquivalentClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkSameIndividualOfEquivalentClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }
@Override public Void visit( final EntailedDisjointClassesEntailsDifferentIndividualsAxiom entailmentInference) { for (final DisjointClassesAxiomEntailment premise : entailmentInference .getPremises()) { for (final EntailmentInference inf : evidence_ .getInferences(premise)) { inf.accept(this); } } inferenceFactory_ .getElkDifferentIndividualsOfDisjointClasses(entailmentInference .getConclusion().getAxiom().getIndividuals()); return null; }