static ProofStep<OWLAxiom> convert(ProofStep<OWLAxiom> step) { if (!canConvertStep(step)) { return null; } // else ProofStep<OWLAxiom> result = new InlinedPropertyInclusionHierarchyStep( step); if (result.getPremises().size() == step.getPremises().size()) { result = step; } return result; }
static ProofStep<OWLAxiom> convert(ProofStep<OWLAxiom> step) { if (!canConvertStep(step)) { return null; } // else ProofStep<OWLAxiom> result = new InlinedClassInclusionHierarchyStep( step); if (result.getPremises().size() == step.getPremises().size()) { result = step; } return result; }
@Override void process(ProofStep<OWLAxiom> step) { List<? extends ProofNode<OWLAxiom>> premises = step.getPremises(); for (int i = 0; i < premises.size(); i++) { ProofNode<OWLAxiom> premise = premises.get(i); if (!process(premise)) { // inferences for the premise cannot be flattened addPremise(premise); } } }
@Override void process(ProofStep<OWLAxiom> step) { List<? extends ProofNode<OWLAxiom>> premises = step.getPremises(); for (int i = 0; i < premises.size() - 1; i++) { ProofNode<OWLAxiom> premise = premises.get(i); if (!process(premise)) { // inferences for the premise cannot be flattened addPremise(premise); } } }
AbstractInlinedStep(ProofStep<OWLAxiom> step) { this.conclusion_ = step.getConclusion(); this.premises_ = new ArrayList<ProofNode<OWLAxiom>>( step.getPremises().size()); process(step); }
return null; List<? extends ProofNode<OWLAxiom>> premises = step.getPremises(); ProofNode<OWLAxiom> lastPremise = premises.get(premises.size() - 1); Collection<? extends ProofStep<OWLAxiom>> lastPremiseSteps = lastPremise if (lastPremiseStep .getName() == ElkPropertyInclusionOfTransitiveObjectProperty.NAME) { return lastPremiseStep.getPremises().get(0);