@Override public SubPropertyChainTautologyMatch1 getSubPropertyChainTautologyMatch1( SubPropertyChainTautology parent, SubPropertyChainMatch1 conclusionMatch) { return new SubPropertyChainTautologyMatch1(parent, conclusionMatch); }
@Override public Void visit(SubPropertyChainTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectPropertyExpression expression = inferenceMatch1 .getPropertyExpressionMatch(); if (expression != null) { elkInferenceFactory_.getElkPropertyInclusionTautology(expression); } return null; }
@Override public String visit(SubPropertyChainTautologyMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubPropertyChainTautologyMatch1(SubPropertyChainTautology parent, SubPropertyChainMatch1 conclusionMatch) { super(parent); fullChainMatch_ = conclusionMatch.getFullSuperChainMatch(); chainStartPos_ = conclusionMatch.getSuperChainStartPos(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParentConclusionMatch(factory), fullChainMatch_, chainStartPos_); }
SubPropertyChainTautologyMatch1(SubPropertyChainTautology parent, SubPropertyChainMatch1 conclusionMatch) { super(parent); fullChainMatch_ = conclusionMatch.getFullSuperChainMatch(); chainStartPos_ = conclusionMatch.getSuperChainStartPos(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParentConclusionMatch(factory), fullChainMatch_, chainStartPos_); }
@Override public Void visit(SubPropertyChainTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectPropertyExpression expression = inferenceMatch1 .getPropertyExpressionMatch(); if (expression != null) { elkInferenceFactory_.getElkPropertyInclusionTautology(expression); } return null; }
SubPropertyChainTautologyMatch1(SubPropertyChainTautology parent, SubPropertyChainMatch1 conclusionMatch) { super(parent); fullChainMatch_ = conclusionMatch.getFullSuperChainMatch(); chainStartPos_ = conclusionMatch.getSuperChainStartPos(); checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit(SubPropertyChainTautologyMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public SubPropertyChainTautologyMatch1 getSubPropertyChainTautologyMatch1( SubPropertyChainTautology parent, SubPropertyChainMatch1 conclusionMatch) { return new SubPropertyChainTautologyMatch1(parent, conclusionMatch); }
public SubPropertyChainMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParentConclusionMatch(factory), fullChainMatch_, chainStartPos_); }
@Override public Void visit(SubPropertyChainTautologyMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectPropertyExpression expression = inferenceMatch1 .getPropertyExpressionMatch(); if (expression != null) { elkInferenceFactory_.getElkPropertyInclusionTautology(expression); } return null; }
@Override public String visit(SubPropertyChainTautologyMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public SubPropertyChainTautologyMatch1 getSubPropertyChainTautologyMatch1( SubPropertyChainTautology parent, SubPropertyChainMatch1 conclusionMatch) { return new SubPropertyChainTautologyMatch1(parent, conclusionMatch); }
public SubPropertyChainMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getConclusion(factory), fullChainMatch_, chainStartPos_); }
public SubPropertyChainMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getConclusion(factory), fullChainMatch_, chainStartPos_); }
public SubPropertyChainMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getConclusion(factory), fullChainMatch_, chainStartPos_); }