@Override public PropertyRangeInheritedMatch1 getPropertyRangeInheritedMatch1( PropertyRangeInherited parent, PropertyRangeMatch1 conclusionMatch) { return new PropertyRangeInheritedMatch1(parent, conclusionMatch); }
PropertyRangeInheritedMatch1(PropertyRangeInherited parent, PropertyRangeMatch1 conclusionMatch) { super(parent); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit(PropertyRangeInheritedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public Void visit(PropertyRangeInheritedMatch1 inferenceMatch1) { IndexedObjectPropertyRangeAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedObjectPropertyRangeAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedObjectPropertyRangeAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
public PropertyRangeMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getParent().getConclusionMatch(factory), getSubPropertyMatch(), getParent().getRangeMatch()); }
@Override public Void visit(PropertyRangeInheritedMatch1 inferenceMatch1) { IndexedObjectPropertyRangeAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedObjectPropertyRangeAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedObjectPropertyRangeAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
public PropertyRangeMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getParent().getConclusionMatch(factory), getSubPropertyMatch(), getParent().getRangeMatch()); }
@Override public String visit(PropertyRangeInheritedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
PropertyRangeInheritedMatch1(PropertyRangeInherited parent, PropertyRangeMatch1 conclusionMatch) { super(parent); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
IndexedObjectPropertyRangeAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSuperPropertyMatch(), getRangeMatch()); }
public PropertyRangeMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getParent().getConclusionMatch(factory), getSubPropertyMatch(), getParent().getRangeMatch()); }
@Override public PropertyRangeInheritedMatch1 getPropertyRangeInheritedMatch1( PropertyRangeInherited parent, PropertyRangeMatch1 conclusionMatch) { return new PropertyRangeInheritedMatch1(parent, conclusionMatch); }
@Override public String visit(PropertyRangeInheritedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
PropertyRangeInheritedMatch1(PropertyRangeInherited parent, PropertyRangeMatch1 conclusionMatch) { super(parent); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public Void visit(PropertyRangeInheritedMatch1 inferenceMatch1) { IndexedObjectPropertyRangeAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedObjectPropertyRangeAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedObjectPropertyRangeAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public PropertyRangeInheritedMatch1 getPropertyRangeInheritedMatch1( PropertyRangeInherited parent, PropertyRangeMatch1 conclusionMatch) { return new PropertyRangeInheritedMatch1(parent, conclusionMatch); }
PropertyRangeMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory .getPropertyRangeMatch1(getParent().getConclusion(factory)); }
IndexedObjectPropertyRangeAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSuperPropertyMatch(), getRangeMatch()); }
public IndexedObjectPropertyRangeAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch1( getParent().getSecondPremise(factory)); }
IndexedObjectPropertyRangeAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSuperPropertyMatch(), getRangeMatch()); }