@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { if (!getQuery().equals(conclusion)) { return Collections.emptySet(); } // else final C context = saturationState.getContext(existential_); if (context == null) { // not entailed return Collections.emptySet(); } // else final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(existential_, domain_); if (context.containsConclusion(subsumption)) { return Collections.singleton( new DerivedClassInclusionEntailsObjectPropertyDomainAxiomImpl( getQuery(), subsumption)); } // else return Collections.emptySet(); }
@Override public ObjectPropertyDomainEntailmentQuery visit( final ElkObjectPropertyDomainAxiom axiom) { final IndexedClassExpression existential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getOwlThing()) .accept(positiveConverter_); final IndexedClassExpression domain = axiom.getDomain() .accept(negativeConverter_); return new ObjectPropertyDomainEntailmentQuery( new ObjectPropertyDomainAxiomEntailmentImpl(axiom), existential, domain); }
@Override public ObjectPropertyDomainEntailmentQuery visit( final ElkObjectPropertyDomainAxiom axiom) { final IndexedClassExpression existential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getOwlThing()) .accept(positiveConverter_); final IndexedClassExpression domain = axiom.getDomain() .accept(negativeConverter_); return new ObjectPropertyDomainEntailmentQuery( new ObjectPropertyDomainAxiomEntailmentImpl(axiom), existential, domain); }
@Override public ObjectPropertyDomainEntailmentQuery visit( final ElkObjectPropertyDomainAxiom axiom) { final IndexedClassExpression existential = elkFactory_ .getObjectSomeValuesFrom(axiom.getProperty(), elkFactory_.getOwlThing()) .accept(positiveConverter_); final IndexedClassExpression domain = axiom.getDomain() .accept(negativeConverter_); return new ObjectPropertyDomainEntailmentQuery( new ObjectPropertyDomainAxiomEntailmentImpl(axiom), existential, domain); }
@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { if (!getQuery().equals(conclusion)) { return Collections.emptySet(); } // else final C context = saturationState.getContext(existential_); if (context == null) { // not entailed return Collections.emptySet(); } // else final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(existential_, domain_); if (context.containsConclusion(subsumption)) { return Collections.singleton( new DerivedClassInclusionEntailsObjectPropertyDomainAxiomImpl( 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(existential_); if (context == null) { // not entailed return Collections.emptySet(); } // else final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(existential_, domain_); if (context.containsConclusion(subsumption)) { return Collections.singleton( new DerivedClassInclusionEntailsObjectPropertyDomainAxiomImpl( getQuery(), subsumption)); } // else return Collections.emptySet(); }