@Override public O visit( ElkAsymmetricObjectPropertyAxiom elkAsymmetricObjectPropertyAxiom) { return defaultLogicalVisit(elkAsymmetricObjectPropertyAxiom); }
@Override public O visit( ElkAnnotationPropertyDomainAxiom annotationPropertyDomainAxiom) { return defaultNonLogicalVisit(annotationPropertyDomainAxiom); }
/** * Invoked to visit every logical axiom */ protected O defaultLogicalVisit(ElkAxiom axiom) { return defaultVisit(axiom); }
@Override public void accept(final Conclusion conclusion, final TracingInference.Visitor<Boolean> inferenceVisitor) { final Set<TracingInference> seenInferences = new HashSet<TracingInference>(); // should be empty anyways innferencesToDo_.clear(); addToQueue(conclusion, seenInferences); // this visitor visits all premises and putting them into the todo queue TracingInferencePremiseVisitor<?> premiseVisitor = new TracingInferencePremiseVisitor<Void>( new DummyConclusionVisitor<Void>() { @Override protected Void defaultVisit(Conclusion newConclusion) { addToQueue(newConclusion, seenInferences); return null; } }, new DummyElkAxiomVisitor<Void>()); for (;;) { // take the first element final TracingInference next = innferencesToDo_.poll(); if (next == null) { break; } // user visitor if (next.accept(inferenceVisitor)) { // visiting premises next.accept(premiseVisitor); } } }
@Override public void accept(final Conclusion conclusion, final TracingInference.Visitor<Boolean> inferenceVisitor) { final Set<TracingInference> seenInferences = new HashSet<TracingInference>(); // should be empty anyways innferencesToDo_.clear(); addToQueue(conclusion, seenInferences); // this visitor visits all premises and putting them into the todo queue TracingInferencePremiseVisitor<?> premiseVisitor = new TracingInferencePremiseVisitor<Void>( new DummyConclusionVisitor<Void>() { @Override protected Void defaultVisit(Conclusion newConclusion) { addToQueue(newConclusion, seenInferences); return null; } }, new DummyElkAxiomVisitor<Void>()); for (;;) { // take the first element final TracingInference next = innferencesToDo_.poll(); if (next == null) { break; } // user visitor if (next.accept(inferenceVisitor)) { // visiting premises next.accept(premiseVisitor); } } }
@Override public O visit( ElkNegativeObjectPropertyAssertionAxiom elkNegativeObjectPropertyAssertion) { return defaultLogicalVisit(elkNegativeObjectPropertyAssertion); }
@Override public O visit( ElkAnnotationPropertyDomainAxiom annotationPropertyDomainAxiom) { return defaultNonLogicalVisit(annotationPropertyDomainAxiom); }
/** * Invoked to visit every logical axiom */ protected O defaultLogicalVisit(ElkAxiom axiom) { return defaultVisit(axiom); }
@Override public void accept(final Conclusion conclusion, final TracingInference.Visitor<Boolean> inferenceVisitor) { final Set<TracingInference> seenInferences = new HashSet<TracingInference>(); // should be empty anyways innferencesToDo_.clear(); addToQueue(conclusion, seenInferences); // this visitor visits all premises and putting them into the todo queue TracingInferencePremiseVisitor<?> premiseVisitor = new TracingInferencePremiseVisitor<Void>( new DummyConclusionVisitor<Void>() { @Override protected Void defaultVisit(Conclusion newConclusion) { addToQueue(newConclusion, seenInferences); return null; } }, new DummyElkAxiomVisitor<Void>()); for (;;) { // take the first element final TracingInference next = innferencesToDo_.poll(); if (next == null) { break; } // user visitor if (next.accept(inferenceVisitor)) { // visiting premises next.accept(premiseVisitor); } } }
@Override public O visit( ElkObjectPropertyAssertionAxiom elkObjectPropertyAssertionAxiom) { return defaultLogicalVisit(elkObjectPropertyAssertionAxiom); }
@Override public O visit( ElkAnnotationPropertyDomainAxiom annotationPropertyDomainAxiom) { return defaultNonLogicalVisit(annotationPropertyDomainAxiom); }
/** * Invoked to visit every non-logical (annotation) axiom */ protected O defaultNonLogicalVisit(ElkAxiom axiom) { return defaultVisit(axiom); }
@Override public O visit( ElkNegativeObjectPropertyAssertionAxiom elkNegativeObjectPropertyAssertion) { return defaultLogicalVisit(elkNegativeObjectPropertyAssertion); }
@Override public O visit(ElkSubAnnotationPropertyOfAxiom subAnnotationPropertyOfAxiom) { return defaultNonLogicalVisit(subAnnotationPropertyOfAxiom); }
/** * Invoked to visit every non-logical (annotation) axiom */ protected O defaultNonLogicalVisit(ElkAxiom axiom) { return defaultVisit(axiom); }
@Override public O visit( ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties) { return defaultLogicalVisit(elkEquivalentObjectProperties); }
@Override public O visit(ElkAnnotationPropertyRangeAxiom annotationPropertyRangeAxiom) { return defaultNonLogicalVisit(annotationPropertyRangeAxiom); }
/** * Invoked to visit every logical axiom */ protected O defaultLogicalVisit(ElkAxiom axiom) { return defaultVisit(axiom); }
@Override public O visit( ElkInverseObjectPropertiesAxiom elkInverseObjectPropertiesAxiom) { return defaultLogicalVisit(elkInverseObjectPropertiesAxiom); }
@Override public O visit(ElkSubAnnotationPropertyOfAxiom subAnnotationPropertyOfAxiom) { return defaultNonLogicalVisit(subAnnotationPropertyOfAxiom); }