@Override public PropertyRangeInheritedMatch2 getPropertyRangeInheritedMatch2( PropertyRangeInheritedMatch1 parent, IndexedObjectPropertyRangeAxiomMatch2 secondPremiseMatch) { return new PropertyRangeInheritedMatch2(parent, secondPremiseMatch); }
PropertyRangeInheritedMatch2(PropertyRangeInheritedMatch1 parent, IndexedObjectPropertyRangeAxiomMatch2 secondPremiseMatch) { super(parent); this.superPropertyMatch_ = secondPremiseMatch.getPropertyMatch(); this.rangeMatch_ = secondPremiseMatch.getRangeMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(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 Void visit(PropertyRangeInheritedMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectProperty subPropertyMatch = inferenceMatch3 .getSubPropertyMatch(); PropertyRangeInheritedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkObjectProperty superPropertyMatch = inferenceMatch2 .getSuperPropertyMatch(); ElkClassExpression rangeMatch = inferenceMatch2.getRangeMatch(); elkInferenceFactory_.getElkPropertyRangePropertyExpansion( subPropertyMatch, superPropertyMatch, rangeMatch); return null; }
@Override public String visit(PropertyRangeInheritedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
SubPropertyChainMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getFirstPremiseMatch(factory), getSubPropertyMatch(), 0); }
public PropertyRangeMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getParent().getConclusionMatch(factory), getSubPropertyMatch(), getParent().getRangeMatch()); }
@Override public Void visit(PropertyRangeInheritedMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectProperty subPropertyMatch = inferenceMatch3 .getSubPropertyMatch(); PropertyRangeInheritedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkObjectProperty superPropertyMatch = inferenceMatch2 .getSuperPropertyMatch(); ElkClassExpression rangeMatch = inferenceMatch2.getRangeMatch(); elkInferenceFactory_.getElkPropertyRangePropertyExpansion( subPropertyMatch, superPropertyMatch, rangeMatch); return null; }
@Override public String visit(PropertyRangeInheritedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
SubPropertyChainMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getFirstPremiseMatch(factory), getSubPropertyMatch(), 0); }
IndexedObjectPropertyRangeAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSuperPropertyMatch(), getRangeMatch()); }
PropertyRangeInheritedMatch2(PropertyRangeInheritedMatch1 parent, IndexedObjectPropertyRangeAxiomMatch2 secondPremiseMatch) { super(parent); this.superPropertyMatch_ = secondPremiseMatch.getPropertyMatch(); this.rangeMatch_ = secondPremiseMatch.getRangeMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
public PropertyRangeMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch2( getParent().getParent().getConclusionMatch(factory), getSubPropertyMatch(), getParent().getRangeMatch()); }
@Override public Void visit(PropertyRangeInheritedMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectProperty subPropertyMatch = inferenceMatch3 .getSubPropertyMatch(); PropertyRangeInheritedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkObjectProperty superPropertyMatch = inferenceMatch2 .getSuperPropertyMatch(); ElkClassExpression rangeMatch = inferenceMatch2.getRangeMatch(); elkInferenceFactory_.getElkPropertyRangePropertyExpansion( subPropertyMatch, superPropertyMatch, rangeMatch); return null; }
@Override public String visit(PropertyRangeInheritedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
SubPropertyChainMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getFirstPremiseMatch(factory), getSubPropertyMatch(), 0); }
@Override public PropertyRangeInheritedMatch2 getPropertyRangeInheritedMatch2( PropertyRangeInheritedMatch1 parent, IndexedObjectPropertyRangeAxiomMatch2 secondPremiseMatch) { return new PropertyRangeInheritedMatch2(parent, secondPremiseMatch); }
IndexedObjectPropertyRangeAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSuperPropertyMatch(), getRangeMatch()); }
PropertyRangeInheritedMatch2(PropertyRangeInheritedMatch1 parent, IndexedObjectPropertyRangeAxiomMatch2 secondPremiseMatch) { super(parent); this.superPropertyMatch_ = secondPremiseMatch.getPropertyMatch(); this.rangeMatch_ = secondPremiseMatch.getRangeMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }