@Override protected Boolean defaultVisit(final ClassInference inference) { inferenceProducer_.produce(inference); return true; } }
@Override protected Boolean defaultVisit(final ClassInference inference) { inferenceProducer_.produce(inference); return true; } }
@Override protected Boolean defaultVisit(final ClassInference inference) { inferenceProducer_.produce(inference); return true; } }
private void toDoInference(SubPropertyChainInference inference) { LOGGER_.trace("{}: new inference", inference); inferenceProducer_.produce(inference); inference.accept(inferenceProcessor_); }
private void toDoInference(SubPropertyChainInference inference) { LOGGER_.trace("{}: new inference", inference); inferenceProducer_.produce(inference); inference.accept(inferenceProcessor_); }
@Override protected <T extends ModifiableIndexedAxiomInference> T filter(T input) { inferenceProducer_.produce(input); input.accept(inferenceVisitor_); return input; }
private void toDoInference(SubPropertyChainInference inference) { LOGGER_.trace("{}: new inference", inference); inferenceProducer_.produce(inference); inference.accept(inferenceProcessor_); }
@Override protected <T extends ModifiableIndexedAxiomInference> T filter(T input) { inferenceProducer_.produce(input); input.accept(inferenceVisitor_); return input; }
@Override protected <T extends ModifiableIndexedAxiomInference> T filter(T input) { inferenceProducer_.produce(input); input.accept(inferenceVisitor_); return input; }
@Override public void produce(ElkInference inference) { targetProducer_.produce(new ElkOwlInference(inference)); }
@Override public void produce(ElkInference inference) { targetProducer_.produce(new ElkOwlInference(inference)); }
@Override public void produce(ElkInference inference) { targetProducer_.produce(new ElkOwlInference(inference)); }
void process() { for (;;) { IndexedObjectProperty next = toDoSuperProperties_.poll(); if (next == null) break; List<IndexedClassExpression> ranges = next.getToldRanges(); List<ElkAxiom> reasons = next.getToldRangesReasons(); for (int i = 0; i < ranges.size(); i++) { IndexedClassExpression range = ranges.get(i); ElkAxiom reason = reasons.get(i); ranges_.add(range); inferenceProducer_.produce(new PropertyRangeInherited(input_, next, range, reason)); } ranges_.addAll(next.getToldRanges()); for (IndexedObjectProperty superProperty : next .getToldSuperProperties()) { toDo(superProperty); } } }
void process() { for (;;) { IndexedObjectProperty next = toDoSuperProperties_.poll(); if (next == null) break; List<IndexedClassExpression> ranges = next.getToldRanges(); List<ElkAxiom> reasons = next.getToldRangesReasons(); for (int i = 0; i < ranges.size(); i++) { IndexedClassExpression range = ranges.get(i); ElkAxiom reason = reasons.get(i); ranges_.add(range); inferenceProducer_.produce(new PropertyRangeInherited(input_, next, range, reason)); } ranges_.addAll(next.getToldRanges()); for (IndexedObjectProperty superProperty : next .getToldSuperProperties()) { toDo(superProperty); } } }
void process() { for (;;) { IndexedObjectProperty next = toDoSuperProperties_.poll(); if (next == null) break; List<IndexedClassExpression> ranges = next.getToldRanges(); List<ElkAxiom> reasons = next.getToldRangesReasons(); for (int i = 0; i < ranges.size(); i++) { IndexedClassExpression range = ranges.get(i); ElkAxiom reason = reasons.get(i); ranges_.add(range); inferenceProducer_.produce(new PropertyRangeInherited(input_, next, range, reason)); } ranges_.addAll(next.getToldRanges()); for (IndexedObjectProperty superProperty : next .getToldSuperProperties()) { toDo(superProperty); } } }