@Override public Void visit( SubClassInclusionComposedObjectHasValueMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); SubClassInclusionComposedObjectHasValueMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkObjectHasValue conclusionSubsumer = inferenceMatch1 .getConclusionSubsumerMatch(); ElkObjectPropertyExpression property = conclusionSubsumer.getProperty(); ElkIndividual value = conclusionSubsumer.getFiller(); ElkObjectSomeValuesFrom premiseSubsumer = conclusionFactory_ .getObjectSomeValuesFrom(property, conclusionFactory_.getObjectOneOf(value)); elkInferenceFactory_.getElkEquivalentClassesObjectHasValue(property, value); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses( conclusionSubsumer, premiseSubsumer, false); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedDestinationMatch), premiseSubsumer, conclusionSubsumer); return null; }
@Override public Void visit( SubClassInclusionComposedObjectHasValueMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); SubClassInclusionComposedObjectHasValueMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkObjectHasValue conclusionSubsumer = inferenceMatch1 .getConclusionSubsumerMatch(); ElkObjectPropertyExpression property = conclusionSubsumer.getProperty(); ElkIndividual value = conclusionSubsumer.getFiller(); ElkObjectSomeValuesFrom premiseSubsumer = conclusionFactory_ .getObjectSomeValuesFrom(property, conclusionFactory_.getObjectOneOf(value)); elkInferenceFactory_.getElkEquivalentClassesObjectHasValue(property, value); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses( conclusionSubsumer, premiseSubsumer, false); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedDestinationMatch), premiseSubsumer, conclusionSubsumer); return null; }
@Override public Void visit( SubClassInclusionComposedObjectHasValueMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // create ELK inferences IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); SubClassInclusionComposedObjectHasValueMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); ElkObjectHasValue conclusionSubsumer = inferenceMatch1 .getConclusionSubsumerMatch(); ElkObjectPropertyExpression property = conclusionSubsumer.getProperty(); ElkIndividual value = conclusionSubsumer.getFiller(); ElkObjectSomeValuesFrom premiseSubsumer = conclusionFactory_ .getObjectSomeValuesFrom(property, conclusionFactory_.getObjectOneOf(value)); elkInferenceFactory_.getElkEquivalentClassesObjectHasValue(property, value); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses( conclusionSubsumer, premiseSubsumer, false); elkInferenceFactory_.getElkClassInclusionHierarchy( toElkExpression(extendedDestinationMatch), premiseSubsumer, conclusionSubsumer); return null; }