@Override public SubClassInclusionComposedEmptyObjectOneOfMatch2 getSubClassInclusionComposedEmptyObjectOneOfMatch2( SubClassInclusionComposedEmptyObjectOneOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedEmptyObjectOneOfMatch2(parent, premiseMatch); }
@Override public String visit( SubClassInclusionComposedEmptyObjectOneOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public Void visit( SubClassInclusionComposedEmptyObjectOneOfMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); ElkClassExpression subExpression = toElkExpression( extendedDestinationMatch); ElkObjectOneOf emptyOneOf = conclusionFactory_ .getObjectOneOf(Collections.<ElkIndividual> emptyList()); elkInferenceFactory_.getElkClassInclusionOwlNothing(emptyOneOf); elkInferenceFactory_.getElkClassInclusionHierarchy(subExpression, conclusionFactory_.getOwlNothing(), emptyOneOf); return null; }
@Override public Void visit( SubClassInclusionComposedEmptyObjectOneOfMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); ElkClassExpression subExpression = toElkExpression( extendedDestinationMatch); ElkObjectOneOf emptyOneOf = conclusionFactory_ .getObjectOneOf(Collections.<ElkIndividual> emptyList()); elkInferenceFactory_.getElkClassInclusionOwlNothing(emptyOneOf); elkInferenceFactory_.getElkClassInclusionHierarchy(subExpression, conclusionFactory_.getOwlNothing(), emptyOneOf); return null; }
@Override public Void visit( SubClassInclusionComposedEmptyObjectOneOfMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); ElkClassExpression subExpression = toElkExpression( extendedDestinationMatch); ElkObjectOneOf emptyOneOf = conclusionFactory_ .getObjectOneOf(Collections.<ElkIndividual> emptyList()); elkInferenceFactory_.getElkClassInclusionOwlNothing(emptyOneOf); elkInferenceFactory_.getElkClassInclusionHierarchy(subExpression, conclusionFactory_.getOwlNothing(), emptyOneOf); return null; }
@Override public SubClassInclusionComposedEmptyObjectOneOfMatch2 getSubClassInclusionComposedEmptyObjectOneOfMatch2( SubClassInclusionComposedEmptyObjectOneOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedEmptyObjectOneOfMatch2(parent, premiseMatch); }
@Override public String visit( SubClassInclusionComposedEmptyObjectOneOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public SubClassInclusionComposedEmptyObjectOneOfMatch2 getSubClassInclusionComposedEmptyObjectOneOfMatch2( SubClassInclusionComposedEmptyObjectOneOfMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedEmptyObjectOneOfMatch2(parent, premiseMatch); }
@Override public String visit( SubClassInclusionComposedEmptyObjectOneOfMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }