@Override public IndexedContextRoot getRoot() { // should be the same for local and non-local return localPremises_.getRoot(); }
@Override public IndexedContextRoot getRoot() { // should be the same for local and non-local return localPremises_.getRoot(); }
@Override public void apply(IndexedObjectSomeValuesFrom premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedObjectSomeValuesFrom.Helper.produceDecomposedExistentialLink( producer, premises.getRoot(), premise); }
@Override public void apply(IndexedClassExpression member, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < disjointMembers_.size(); i++) { producer.produce(new DisjointSubsumerFromSubsumer( premises.getRoot(), disjointMembers_.get(i), positions_.get(i), reasons_.get(i))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < firstEquivalentMembers_.size(); i++) { producer.produce(new SubClassInclusionExpandedSecondEquivalentClass(premises.getRoot(), premise, firstEquivalentMembers_.get(i), reasons_.get(i))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < secondEquivalentMembers_.size(); i++) { producer.produce(new SubClassInclusionExpandedFirstEquivalentClass( premises.getRoot(), premise, secondEquivalentMembers_.get(i), reasons_.get(i))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < disjunctions_.size(); i++) { producer.produce(new SubClassInclusionComposedObjectUnionOf( premises.getRoot(), disjunctions_.get(i), positions_.get(i))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < definedClasses_.size(); i++) { producer.produce(new SubClassInclusionComposedDefinedClass(premises.getRoot(), definedClasses_.get(i), premise, reasons_.get(i))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < toldSubsumers_.size(); i++) { producer.produce(new SubClassInclusionExpandedSubClassOf(premises.getRoot(), premise, toldSubsumers_.get(i), reasons_.get(i))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < firstEquivalentMembers_.size(); i++) { producer.produce(new SubClassInclusionExpandedSecondEquivalentClass(premises.getRoot(), premise, firstEquivalentMembers_.get(i), reasons_.get(i))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < secondEquivalentMembers_.size(); i++) { producer.produce(new SubClassInclusionExpandedFirstEquivalentClass( premises.getRoot(), premise, secondEquivalentMembers_.get(i), reasons_.get(i))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < firstEquivalentMembers_.size(); i++) { producer.produce(new SubClassInclusionExpandedSecondEquivalentClass(premises.getRoot(), premise, firstEquivalentMembers_.get(i), reasons_.get(i))); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (int i = 0; i < definedClasses_.size(); i++) { producer.produce(new SubClassInclusionComposedDefinedClass(premises.getRoot(), definedClasses_.get(i), premise, reasons_.get(i))); } }
@Override public void apply(ContextInitialization premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce( new SubClassInclusionOwlThing(premises.getRoot(), owlThing_)); }
@Override public void apply(ContextInitialization premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce( new SubClassInclusionOwlThing(premises.getRoot(), owlThing_)); }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new ClassInconsistencyOfOwlNothing(premises.getRoot(), (IndexedClass) premise)); }
@Override public void apply(IndexedObjectIntersectionOf premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new SubClassInclusionDecomposedFirstConjunct(premises.getRoot(), premise)); producer.produce(new SubClassInclusionDecomposedSecondConjunct(premises.getRoot(), premise)); }
@Override public Boolean visit(SubContextInitialization subConclusion) { ContextPremises premises = get(); if (LOGGER_.isTraceEnabled()) { LOGGER_.trace("{}::{} applying sub-concept init rules:", premises.getRoot(), subConclusion.getSubDestination()); } PropagationInitializationRule.getInstance().accept(ruleAppVisitor, subConclusion, premises, producer); return true; }
@Override public void apply(IndexedObjectHasSelf premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedObjectHasSelf.Helper.produceDecomposedExistentialLink(producer, premises.getRoot(), premise); for (IndexedClassExpression range : premise.getProperty() .getSaturated().getRanges()) { producer.produce(new SubClassInclusionObjectHasSelfPropertyRange(premises .getRoot(), premise, range)); } }
@Override public void apply(IndexedClass premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedClassExpression definedExpression = getDefinition(premise); if (definedExpression == null) return; producer.produce(new SubClassInclusionExpandedDefinition(premises.getRoot(), premise, definedExpression, getDefinitionReason(premise))); }