.<OntologyInconsistencyEntailmentInference> singleton( new OwlThingInconsistencyEntailsOntologyInconsistencyImpl( conclusionFactory_.getContradiction( owlThing_))), result);
.<OntologyInconsistencyEntailmentInference> singleton( new OwlThingInconsistencyEntailsOntologyInconsistencyImpl( conclusionFactory_.getContradiction( owlThing_))), result);
.<OntologyInconsistencyEntailmentInference> singleton( new OwlThingInconsistencyEntailsOntologyInconsistencyImpl( conclusionFactory_.getContradiction( owlThing_))), result);
.getContradiction(subClass_); final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subClass_, superClass_);
.getContradiction(subClass_); final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subClass_, superClass_);
.getContradiction(subClass_); final SubClassInclusionComposed subsumption = conclusionFactory .getSubClassInclusionComposed(subClass_, superClass_);
@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 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 ClassInconsistency getContradiction(IndexedContextRoot destination) { return saturationConclusionFactory_.getContradiction(destination); }
@Override public ClassInconsistency getContradiction(IndexedContextRoot destination) { return saturationConclusionFactory_.getContradiction(destination); }
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"); }