@Override public SubClassInclusionDecomposedObjectHasValueMatch1 getSubClassInclusionDecomposedObjectHasValueMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch, ElkObjectHasValue premiseSubsumerMatch) { return new SubClassInclusionDecomposedObjectHasValueMatch1(parent, extendedDestinationMatch, premiseSubsumerMatch); }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), premiseSubsumerMatch_); }
@Override public Void visit( SubClassInclusionDecomposedObjectHasValueMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch1 .getExtendedDestinationMatch(); ElkObjectHasValue premiseSubsumer = inferenceMatch1 .getPremiseSubsumerMatch(); ElkObjectPropertyExpression property = premiseSubsumer.getProperty(); ElkIndividual value = premiseSubsumer.getFiller(); ElkObjectSomeValuesFrom conclusionSubsumer = conclusionFactory_ .getObjectSomeValuesFrom(property, conclusionFactory_.getObjectOneOf(value)); elkInferenceFactory_.getElkEquivalentClassesObjectHasValue(property, value); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses( premiseSubsumer, conclusionSubsumer, true); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedDestinationMatch), premiseSubsumer, conclusionSubsumer); return null; }
@Override public String visit( SubClassInclusionDecomposedObjectHasValueMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public Void visit( SubClassInclusionDecomposedObjectHasValueMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch1 .getExtendedDestinationMatch(); ElkObjectHasValue premiseSubsumer = inferenceMatch1 .getPremiseSubsumerMatch(); ElkObjectPropertyExpression property = premiseSubsumer.getProperty(); ElkIndividual value = premiseSubsumer.getFiller(); ElkObjectSomeValuesFrom conclusionSubsumer = conclusionFactory_ .getObjectSomeValuesFrom(property, conclusionFactory_.getObjectOneOf(value)); elkInferenceFactory_.getElkEquivalentClassesObjectHasValue(property, value); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses( premiseSubsumer, conclusionSubsumer, true); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedDestinationMatch), premiseSubsumer, conclusionSubsumer); return null; }
@Override public String visit( SubClassInclusionDecomposedObjectHasValueMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public Void visit( SubClassInclusionDecomposedObjectHasValueMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch1 .getExtendedDestinationMatch(); ElkObjectHasValue premiseSubsumer = inferenceMatch1 .getPremiseSubsumerMatch(); ElkObjectPropertyExpression property = premiseSubsumer.getProperty(); ElkIndividual value = premiseSubsumer.getFiller(); ElkObjectSomeValuesFrom conclusionSubsumer = conclusionFactory_ .getObjectSomeValuesFrom(property, conclusionFactory_.getObjectOneOf(value)); elkInferenceFactory_.getElkEquivalentClassesObjectHasValue(property, value); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses( premiseSubsumer, conclusionSubsumer, true); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedDestinationMatch), premiseSubsumer, conclusionSubsumer); return null; }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), premiseSubsumerMatch_); }
@Override public SubClassInclusionDecomposedObjectHasValueMatch1 getSubClassInclusionDecomposedObjectHasValueMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch, ElkObjectHasValue premiseSubsumerMatch) { return new SubClassInclusionDecomposedObjectHasValueMatch1(parent, extendedDestinationMatch, premiseSubsumerMatch); }
@Override public String visit( SubClassInclusionDecomposedObjectHasValueMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), premiseSubsumerMatch_); }
@Override public SubClassInclusionDecomposedObjectHasValueMatch1 getSubClassInclusionDecomposedObjectHasValueMatch1( SubClassInclusionDecomposedMatch1 parent, IndexedContextRootMatch extendedDestinationMatch, ElkObjectHasValue premiseSubsumerMatch) { return new SubClassInclusionDecomposedObjectHasValueMatch1(parent, extendedDestinationMatch, premiseSubsumerMatch); }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectSomeValuesFrom( premiseSubsumerMatch_.getProperty(), factory.getObjectOneOf( premiseSubsumerMatch_.getFiller()))); }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectSomeValuesFrom( premiseSubsumerMatch_.getProperty(), factory.getObjectOneOf( premiseSubsumerMatch_.getFiller()))); }
@Override public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2(getParent(), getExtendedDestinationMatch(), factory.getObjectSomeValuesFrom( premiseSubsumerMatch_.getProperty(), factory.getObjectOneOf( premiseSubsumerMatch_.getFiller()))); }