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