@Override public SubClassInclusionOwlThingMatch1 getSubClassInclusionOwlThingMatch1( SubClassInclusionOwlThing parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionOwlThingMatch1(parent, conclusionMatch); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParentConclusionMatch(factory), getOriginMatch()); }
@Override public String visit(SubClassInclusionOwlThingMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), factory.getOwlThing()); }
SubClassInclusionOwlThingMatch1(SubClassInclusionOwlThing parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); ElkClass subsumerMatch = conclusionMatch.getSubsumerElkClassMatch(); if (!subsumerMatch.getIri().equals(PredefinedElkIris.OWL_THING)) { throw new ElkMatchException(parent.getConclusionSubsumer(), subsumerMatch); } checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public Void visit(SubClassInclusionOwlThingMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); elkInferenceFactory_ .getElkClassInclusionOwlThing(toElkExpression(originMatch)); return null; }
public SubClassInclusionComposedMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), factory.getOwlThing()); }
SubClassInclusionOwlThingMatch1(SubClassInclusionOwlThing parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); ElkClass subsumerMatch = conclusionMatch.getSubsumerElkClassMatch(); if (!subsumerMatch.getIri().equals(PredefinedElkIris.OWL_THING)) { throw new ElkMatchException(parent.getConclusionSubsumer(), subsumerMatch); } checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public Void visit(SubClassInclusionOwlThingMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); elkInferenceFactory_ .getElkClassInclusionOwlThing(toElkExpression(originMatch)); return null; }
public SubClassInclusionComposedMatch1 getParentConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), factory.getOwlThing()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParentConclusionMatch(factory), getOriginMatch()); }
SubClassInclusionOwlThingMatch1(SubClassInclusionOwlThing parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); ElkClass subsumerMatch = conclusionMatch.getSubsumerElkClassMatch(); if (!subsumerMatch.getIri().equals(PredefinedElkIris.OWL_THING)) { throw new ElkMatchException(parent.getConclusionSubsumer(), subsumerMatch); } checkEquals(conclusionMatch, getParentConclusionMatch(DEBUG_FACTORY)); }
@Override public Void visit(SubClassInclusionOwlThingMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatch originMatch = inferenceMatch1.getOriginMatch(); elkInferenceFactory_ .getElkClassInclusionOwlThing(toElkExpression(originMatch)); return null; }
@Override public SubClassInclusionOwlThingMatch1 getSubClassInclusionOwlThingMatch1( SubClassInclusionOwlThing parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionOwlThingMatch1(parent, conclusionMatch); }
@Override public String visit(SubClassInclusionOwlThingMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParentConclusionMatch(factory), getOriginMatch()); }
@Override public SubClassInclusionOwlThingMatch1 getSubClassInclusionOwlThingMatch1( SubClassInclusionOwlThing parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionOwlThingMatch1(parent, conclusionMatch); }
@Override public String visit(SubClassInclusionOwlThingMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }