@Override public IndexedClassFromDefinitionRule create(ChainableSubsumerRule tail) { return new IndexedClassFromDefinitionRule(tail); } };
@Override public IndexedClassFromDefinitionRule create(ChainableSubsumerRule tail) { return new IndexedClassFromDefinitionRule(tail); } };
@Override public IndexedClassFromDefinitionRule create(ChainableSubsumerRule tail) { return new IndexedClassFromDefinitionRule(tail); } };
public static boolean removeRuleFor(ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClass definedClass = IndexedClassDecompositionRule.getDefinedClass(axiom); if (definedClass == null) { return false; } // else return index.remove(axiom.getSecondMember(), new IndexedClassFromDefinitionRule(definedClass, reason)); }
public static boolean addRuleFor(ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClass definedClass = IndexedClassDecompositionRule.getDefinedClass(axiom); if (definedClass == null) { return false; } // else return index.add(axiom.getSecondMember(), new IndexedClassFromDefinitionRule(definedClass, reason)); }
public static boolean removeRuleFor(ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClass definedClass = IndexedClassDecompositionRule.getDefinedClass(axiom); if (definedClass == null) { return false; } // else return index.remove(axiom.getSecondMember(), new IndexedClassFromDefinitionRule(definedClass, reason)); }
public static boolean addRuleFor(ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClass definedClass = IndexedClassDecompositionRule.getDefinedClass(axiom); if (definedClass == null) { return false; } // else return index.add(axiom.getSecondMember(), new IndexedClassFromDefinitionRule(definedClass, reason)); }
public static boolean addRuleFor(ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClass definedClass = IndexedClassDecompositionRule.getDefinedClass(axiom); if (definedClass == null) { return false; } // else return index.add(axiom.getSecondMember(), new IndexedClassFromDefinitionRule(definedClass, reason)); }
public static boolean removeRuleFor(ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClass definedClass = IndexedClassDecompositionRule.getDefinedClass(axiom); if (definedClass == null) { return false; } // else return index.remove(axiom.getSecondMember(), new IndexedClassFromDefinitionRule(definedClass, reason)); }