@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; }