new TopObjectPropertyInBottomEntailsOntologyInconsistencyImpl( conclusionFactory_ .getSubPropertyChain( topProperty_, bottomProperty_))), .<OntologyInconsistencyEntailmentInference> singleton( new OwlThingInconsistencyEntailsOntologyInconsistencyImpl( conclusionFactory_.getContradiction( owlThing_))), result);
.getContradiction(subClass_); final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subClass_, superClass_); if (context.containsConclusion(contradiction)) { result.add(
new TopObjectPropertyInBottomEntailsOntologyInconsistencyImpl( conclusionFactory_ .getSubPropertyChain( topProperty_, bottomProperty_))), .<OntologyInconsistencyEntailmentInference> singleton( new OwlThingInconsistencyEntailsOntologyInconsistencyImpl( conclusionFactory_.getContradiction( owlThing_))), result);
new TopObjectPropertyInBottomEntailsOntologyInconsistencyImpl( conclusionFactory_ .getSubPropertyChain( topProperty_, bottomProperty_))), .<OntologyInconsistencyEntailmentInference> singleton( new OwlThingInconsistencyEntailsOntologyInconsistencyImpl( conclusionFactory_.getContradiction( owlThing_))), result);
.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(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(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(); }
@Override public void contextMarkSaturated(C context) { IndexedContextRoot root = context.getRoot(); if (!context.containsConclusion( conclusionFactory_.getContradiction(root))) { return; } // else if (root instanceof IndexedIndividual) { tellInconsistentIndividual( (IndexedIndividual) root); } else if (root == owlThing_) { tellInconsistentOwlThing(); } }
@Override public void contextMarkSaturated(C context) { IndexedContextRoot root = context.getRoot(); if (!context.containsConclusion( conclusionFactory_.getContradiction(root))) { return; } // else if (root instanceof IndexedIndividual) { tellInconsistentIndividual( (IndexedIndividual) root); } else if (root == owlThing_) { tellInconsistentOwlThing(); } }
@Override public ClassInconsistency getContradiction(IndexedContextRoot destination) { return saturationConclusionFactory_.getContradiction(destination); }
@Override public void contextMarkSaturated(C context) { IndexedContextRoot root = context.getRoot(); if (!context.containsConclusion( conclusionFactory_.getContradiction(root))) { return; } // else if (root instanceof IndexedIndividual) { tellInconsistentIndividual( (IndexedIndividual) root); } else if (root == owlThing_) { tellInconsistentOwlThing(); } }
@Override public ClassInconsistency getContradiction(IndexedContextRoot destination) { return saturationConclusionFactory_.getContradiction(destination); }