@Override public SubClassInclusionComposedObjectHasValueMatch2 getSubClassInclusionComposedObjectHasValueMatch2( SubClassInclusionComposedObjectHasValueMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedObjectHasValueMatch2(parent, premiseMatch); }
@Override public String visit( SubClassInclusionComposedObjectHasValueMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@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; }
@Override public SubClassInclusionComposedObjectHasValueMatch2 getSubClassInclusionComposedObjectHasValueMatch2( SubClassInclusionComposedObjectHasValueMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedObjectHasValueMatch2(parent, premiseMatch); }
@Override public String visit( SubClassInclusionComposedObjectHasValueMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public SubClassInclusionComposedObjectHasValueMatch2 getSubClassInclusionComposedObjectHasValueMatch2( SubClassInclusionComposedObjectHasValueMatch1 parent, SubClassInclusionComposedMatch2 premiseMatch) { return new SubClassInclusionComposedObjectHasValueMatch2(parent, premiseMatch); }
@Override public String visit( SubClassInclusionComposedObjectHasValueMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }