@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(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(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(); }
.getContradiction(subClass_); final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subClass_, superClass_); if (context.containsConclusion(contradiction)) { result.add(
.getContradiction(subClass_); final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subClass_, superClass_); if (context.containsConclusion(contradiction)) { result.add(
.getContradiction(subClass_); final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subClass_, superClass_); if (context.containsConclusion(contradiction)) { result.add(
@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(individual_); if (context == null) { // not entailed return Collections.emptySet(); } // else final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(individual_, classExpression_); if (context.containsConclusion(subsumption)) { return Collections.singleton( new DerivedClassInclusionEntailsClassAssertionAxiomImpl( 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(individual_); if (context == null) { // not entailed return Collections.emptySet(); } // else final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(individual_, classExpression_); if (context.containsConclusion(subsumption)) { return Collections.singleton( new DerivedClassInclusionEntailsClassAssertionAxiomImpl( 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(); }
@Override public Collection<? extends EntailmentInference> getInferences( final Object conclusion) { if (!getQuery().equals(conclusion)) { return Collections.emptySet(); } // else final C context = saturationState.getContext(individual_); if (context == null) { // not entailed return Collections.emptySet(); } // else final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(individual_, classExpression_); if (context.containsConclusion(subsumption)) { return Collections.singleton( new DerivedClassInclusionEntailsClassAssertionAxiomImpl( 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(); }
static ClassConclusion getConclusionToTrace(Context context, IndexedClassExpression subsumer) { if (context != null) { IndexedContextRoot root = context.getRoot(); ClassConclusion contradiction = FACTORY_.getContradiction(root); if (context.containsConclusion(contradiction)) { return contradiction; } return FACTORY_.getSubClassInclusionComposed(root, subsumer); } throw new IllegalArgumentException("Context may not be null"); }
@Override public SubClassInclusionComposed getSubClassInclusionComposed( IndexedContextRoot destination, IndexedClassExpression subsumer) { return saturationConclusionFactory_ .getSubClassInclusionComposed(destination, subsumer); }
@Override public SubClassInclusionComposed getSubClassInclusionComposed( IndexedContextRoot destination, IndexedClassExpression subsumer) { return saturationConclusionFactory_ .getSubClassInclusionComposed(destination, subsumer); }
@Override public SubClassInclusionComposed getSubClassInclusionComposed( IndexedContextRoot destination, IndexedClassExpression subsumer) { return saturationConclusionFactory_ .getSubClassInclusionComposed(destination, subsumer); }