@Override public void produce(ElkInference inference) { targetProducer_.produce(new ElkOwlInference(inference)); }
public static Inference<? extends OWLAxiom> getExample( Inference<? extends OWLAxiom> inference) { if (inference instanceof ElkOwlInference) { return new ElkOwlInference(ElkInferenceExamples .getExample(((ElkOwlInference) inference).getInput())); } // else return null; }
@Override public void produce(ElkInference inference) { targetProducer_.produce(new ElkOwlInference(inference)); }
@Override public void produce(ElkInference inference) { targetProducer_.produce(new ElkOwlInference(inference)); }
@Override public Inference<OWLAxiom> getInference() { return new ElkOwlInference(FACTORY.getElkClassInclusionHierarchy( new AbstractList<ElkClassExpression>() { @Override public ElkClassExpression get(int index) { switch (index) { case 0: return getElkSubClassOfAxiom(getPremises().get(0)) .getSubClassExpression(); default: return getElkSubClassOfAxiom( getPremises().get(index - 1)) .getSuperClassExpression(); } } @Override public int size() { return getPremises().size() + 1; } })); }
@Override public Inference<OWLAxiom> getInference() { return new ElkOwlInference(FACTORY.getElkPropertyInclusionHierarchy( getElkSubClassOfAxiom(getPremises().get(0)) .getSubObjectPropertyExpression(), new AbstractList<ElkObjectPropertyExpression>() { @Override public ElkObjectPropertyExpression get(int index) { return getElkSubClassOfAxiom( getPremises().get(index - 1)) .getSuperObjectPropertyExpression(); } @Override public int size() { return getPremises().size(); } })); }
@Override public Inference<OWLAxiom> getInference() { return new ElkOwlInference( FACTORY.getElkClassInclusionExistentialTransitivity( getElkSuperClassExistential(getPremises().get(0)) .getProperty(), new AbstractList<ElkClassExpression>() { @Override public ElkClassExpression get(int index) { switch (index) { case 0: return getElkSubClassOfAxiom( getPremises().get(0)) .getSubClassExpression(); default: return getElkSuperClassExistential( getPremises().get(index - 1)) .getFiller(); } } @Override public int size() { return getPremises().size(); } })); }