@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { if (!getQuery().equals(conclusion)) { return Collections.emptySet(); } // else final C context = saturationState.getContext(subject_); if (context == null) { // not entailed return Collections.emptySet(); } // else final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subject_, objectExistential_); if (context.containsConclusion(subsumption)) { return Collections.singleton( new DerivedClassInclusionEntailsObjectPropertyAssertionAxiomImpl( getQuery(), subsumption)); } // else return Collections.emptySet(); }
@Override public ObjectPropertyAssertionEntailmentQuery visit( final ElkObjectPropertyAssertionAxiom axiom) { final IndexedIndividual subject = axiom.getSubject() .accept(positiveConverter_); final IndexedClassExpression ovjectExistential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getObjectOneOf(axiom.getObject())) .accept(negativeConverter_); return new ObjectPropertyAssertionEntailmentQuery( new ObjectPropertyAssertionAxiomEntailmentImpl(axiom), subject, ovjectExistential); }
@Override public ObjectPropertyAssertionEntailmentQuery visit( final ElkObjectPropertyAssertionAxiom axiom) { final IndexedIndividual subject = axiom.getSubject() .accept(positiveConverter_); final IndexedClassExpression ovjectExistential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getObjectOneOf(axiom.getObject())) .accept(negativeConverter_); return new ObjectPropertyAssertionEntailmentQuery( new ObjectPropertyAssertionAxiomEntailmentImpl(axiom), subject, ovjectExistential); }
@Override public ObjectPropertyAssertionEntailmentQuery visit( final ElkObjectPropertyAssertionAxiom axiom) { final IndexedIndividual subject = axiom.getSubject() .accept(positiveConverter_); final IndexedClassExpression ovjectExistential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getObjectOneOf(axiom.getObject())) .accept(negativeConverter_); return new ObjectPropertyAssertionEntailmentQuery( new ObjectPropertyAssertionAxiomEntailmentImpl(axiom), subject, ovjectExistential); }
@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { if (!getQuery().equals(conclusion)) { return Collections.emptySet(); } // else final C context = saturationState.getContext(subject_); if (context == null) { // not entailed return Collections.emptySet(); } // else final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subject_, objectExistential_); if (context.containsConclusion(subsumption)) { return Collections.singleton( new DerivedClassInclusionEntailsObjectPropertyAssertionAxiomImpl( getQuery(), subsumption)); } // else return Collections.emptySet(); }
@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { if (!getQuery().equals(conclusion)) { return Collections.emptySet(); } // else final C context = saturationState.getContext(subject_); if (context == null) { // not entailed return Collections.emptySet(); } // else final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subject_, objectExistential_); if (context.containsConclusion(subsumption)) { return Collections.singleton( new DerivedClassInclusionEntailsObjectPropertyAssertionAxiomImpl( getQuery(), subsumption)); } // else return Collections.emptySet(); }