public SubClassInclusionTautology(IndexedContextRoot inferenceRoot) { super(inferenceRoot, inferenceRoot.accept(SUBSUMER_EXTRACTOR_)); }
public SubClassInclusionTautology(IndexedContextRoot inferenceRoot) { super(inferenceRoot, inferenceRoot.accept(SUBSUMER_EXTRACTOR_)); }
public SubClassInclusionTautology(IndexedContextRoot inferenceRoot) { super(inferenceRoot, inferenceRoot.accept(SUBSUMER_EXTRACTOR_)); }
IndexedContextRootMatch getRootMatch(IndexedContextRoot root, final IndexedContextRootMatch.Factory factory) { return root.accept( new DummyIndexedContextRootVisitor<IndexedContextRootMatch>() { @Override protected IndexedContextRootMatch defaultVisit( IndexedClassExpression element) { return premiseSuperExpressionMatch_ .getFillerRootMatch(factory); } @Override public IndexedContextRootMatch visit( IndexedRangeFiller element) { return premiseSuperExpressionMatch_ .getRangeRootMatch(factory); } }); }
IndexedContextRootMatch getRootMatch(IndexedContextRoot root, final IndexedContextRootMatch.Factory factory) { return root.accept( new DummyIndexedContextRootVisitor<IndexedContextRootMatch>() { @Override protected IndexedContextRootMatch defaultVisit( IndexedClassExpression element) { return premiseSuperExpressionMatch_ .getFillerRootMatch(factory); } @Override public IndexedContextRootMatch visit( IndexedRangeFiller element) { return premiseSuperExpressionMatch_ .getRangeRootMatch(factory); } }); }
IndexedContextRootMatch getRootMatch(IndexedContextRoot root, final IndexedContextRootMatch.Factory factory) { return root.accept( new DummyIndexedContextRootVisitor<IndexedContextRootMatch>() { @Override protected IndexedContextRootMatch defaultVisit( IndexedClassExpression element) { return premiseSuperExpressionMatch_ .getFillerRootMatch(factory); } @Override public IndexedContextRootMatch visit( IndexedRangeFiller element) { return premiseSuperExpressionMatch_ .getRangeRootMatch(factory); } }); }
@Override public void apply(ContextInitialization premise, final ContextPremises premises, final ClassInferenceProducer producer) { IndexedContextRoot root = premises.getRoot(); producer.produce(new SubClassInclusionTautology(premises.getRoot())); root.accept(new DummyIndexedContextRootVisitor<Void>() { @Override public Void visit(IndexedRangeFiller element) { for (IndexedClassExpression range : element.getProperty() .getSaturated().getRanges()) { producer.produce( new SubClassInclusionRange(element, range)); } return null; } }); }
@Override public void apply(ContextInitialization premise, final ContextPremises premises, final ClassInferenceProducer producer) { IndexedContextRoot root = premises.getRoot(); producer.produce(new SubClassInclusionTautology(premises.getRoot())); root.accept(new DummyIndexedContextRootVisitor<Void>() { @Override public Void visit(IndexedRangeFiller element) { for (IndexedClassExpression range : element.getProperty() .getSaturated().getRanges()) { producer.produce( new SubClassInclusionRange(element, range)); } return null; } }); }
@Override public void apply(ContextInitialization premise, final ContextPremises premises, final ClassInferenceProducer producer) { IndexedContextRoot root = premises.getRoot(); producer.produce(new SubClassInclusionTautology(premises.getRoot())); root.accept(new DummyIndexedContextRootVisitor<Void>() { @Override public Void visit(IndexedRangeFiller element) { for (IndexedClassExpression range : element.getProperty() .getSaturated().getRanges()) { producer.produce( new SubClassInclusionRange(element, range)); } return null; } }); }
@Override public Void visit(BackwardLinkChainFromBackwardLinkRule rule, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedPropertyChain prop : rule .getForwardLinksByObjectProperty().keySet()) { for (IndexedContextRoot target : rule .getForwardLinksByObjectProperty().get(prop)) { target.accept(rootValidator_); } } return null; }