@Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { final IndexedIndividual ind = (IndexedIndividual) root; toRemove_.add(ind); } }
@Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedClass) { final IndexedClass cls = (IndexedClass) root; toRemove_.add(cls); } }
@Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { final IndexedIndividual ind = (IndexedIndividual) root; toRemove_.add(ind); } }
@Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedClass) { final IndexedClass cls = (IndexedClass) root; toRemove_.add(cls); } }
@Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedClass) { final IndexedClass cls = (IndexedClass) root; toRemove_.add(cls); } }
@Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { final IndexedIndividual ind = (IndexedIndividual) root; toRemove_.add(ind); } }
@Override public IndexedContextRoot next() { return iter_.next().getRoot(); }
@Override public IndexedContextRoot next() { return iter_.next().getRoot(); }
@Override public IndexedContextRoot next() { return iter_.next().getRoot(); }
@Override public void contextMarkNonSaturated(C context) { IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { IndexedIndividual ind = (IndexedIndividual) root; inconsistentIndividuals_.remove(ind); toDoEntities_.add(ind); } else if (root == owlThing_) { isOwlThingInconsistent_ = false; toDoEntities_.add(owlThing_); } }
@Override public void contextMarkNonSaturated(C context) { IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { IndexedIndividual ind = (IndexedIndividual) root; inconsistentIndividuals_.remove(ind); toDoEntities_.add(ind); } else if (root == owlThing_) { isOwlThingInconsistent_ = false; toDoEntities_.add(owlThing_); } }
@Override public void contextMarkNonSaturated(C context) { IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { IndexedIndividual ind = (IndexedIndividual) root; inconsistentIndividuals_.remove(ind); toDoEntities_.add(ind); } else if (root == owlThing_) { isOwlThingInconsistent_ = false; toDoEntities_.add(owlThing_); } }
@Override public Context get() { return state_.getContext(mainContextRef_.get().getRoot()); }
@Override public Context get() { return state_.getContext(mainContextRef_.get().getRoot()); }
@Override public Context get() { return state_.getContext(mainContextRef_.get().getRoot()); }
@Override public void execute() throws ElkException { // check roots for all contexts now for (Context context : reasoner_.saturationState.getContexts()) { if (!context.getComposedSubsumers().contains(context.getRoot())) { LOGGER_.error(context.getRoot() + (context.isSaturated() ? " [saturated]" : " [modified]") + ": not a subsumer of itself"); } ClassInference inference = context.takeToDo(); if (inference != null) { LOGGER_.error(context.getRoot() + ": non-empty TODO: " + inference); } } }
@Override public Boolean visit(ContextInitialization conclusion) { Context context = get(); if (context.containsConclusion(conclusion)) return false; // else // Mark context as non-saturated if conclusion was not already // initialized. It is important to mark before we insert, otherwise // the context can be found initialized and saturated when it is not. writer_.markAsNotSaturated(context.getRoot()); return defaultVisit(conclusion); }
@Override public Boolean visit(ContextInitialization conclusion) { Context context = get(); if (context.containsConclusion(conclusion)) return false; // else // Mark context as non-saturated if conclusion was not already // initialized. It is important to mark before we insert, otherwise // the context can be found initialized and saturated when it is not. writer_.markAsNotSaturated(context.getRoot()); return defaultVisit(conclusion); }
@Override public Boolean visit(ContextInitialization conclusion) { Context context = get(); if (context.containsConclusion(conclusion)) return false; // else // Mark context as non-saturated if conclusion was not already // initialized. It is important to mark before we insert, otherwise // the context can be found initialized and saturated when it is not. writer_.markAsNotSaturated(context.getRoot()); return defaultVisit(conclusion); }
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"); }