IndexedSubObjectPropertyOfAxiomMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFirstPremiseMatch(factory), getSubChainMatch(), getInterPropertyMatch()); }
IndexedSubObjectPropertyOfAxiomMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFirstPremiseMatch(factory), getSubChainMatch(), getInterPropertyMatch()); }
IndexedSubObjectPropertyOfAxiomMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFirstPremiseMatch(factory), getSubChainMatch(), getInterPropertyMatch()); }
@Override public Void visit( SubPropertyChainExpandedSubObjectPropertyOfMatch1 inferenceMatch1) { IndexedSubObjectPropertyOfAxiomMatch1 premiseMatch1 = inferenceMatch1 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedSubObjectPropertyOfAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedSubObjectPropertyOfAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit( SubPropertyChainExpandedSubObjectPropertyOfMatch1 inferenceMatch1) { IndexedSubObjectPropertyOfAxiomMatch1 premiseMatch1 = inferenceMatch1 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedSubObjectPropertyOfAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedSubObjectPropertyOfAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit( SubPropertyChainExpandedSubObjectPropertyOfMatch1 inferenceMatch1) { IndexedSubObjectPropertyOfAxiomMatch1 premiseMatch1 = inferenceMatch1 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedSubObjectPropertyOfAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedSubObjectPropertyOfAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }