public static boolean removeRuleFor( ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClassExpression definition = axiom.getSecondMember(); if (definition instanceof ModifiableIndexedClass) { // define only complex classes return false; } // else ModifiableIndexedClass definedClass = getDefinedClass(axiom); if (definedClass == null) { return false; } // else boolean success = index.tryRemoveDefinition(definedClass, definition, reason); if (success && LOGGER_.isTraceEnabled()) { LOGGER_.trace("{}: removed definition {} from {}", definedClass, definition, reason); } return success; }
public static boolean removeRuleFor( ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClassExpression definition = axiom.getSecondMember(); if (definition instanceof ModifiableIndexedClass) { // define only complex classes return false; } // else ModifiableIndexedClass definedClass = getDefinedClass(axiom); if (definedClass == null) { return false; } // else boolean success = index.tryRemoveDefinition(definedClass, definition, reason); if (success && LOGGER_.isTraceEnabled()) { LOGGER_.trace("{}: removed definition {} from {}", definedClass, definition, reason); } return success; }
public static boolean addRuleFor(ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClassExpression definition = axiom.getSecondMember(); if (definition instanceof ModifiableIndexedClass) { // define only complex classes return false; } // else ModifiableIndexedClass definedClass = getDefinedClass(axiom); if (definedClass == null) { return false; } // else boolean success = index.tryAddDefinition(definedClass, definition, reason); if (LOGGER_.isTraceEnabled()) { if (success) { LOGGER_.trace("{}: added definition {} from {}", definedClass, definition, reason); } else { LOGGER_.trace("{}: defined multiple times", definedClass); } } return success; }
public static boolean addRuleFor(ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClassExpression definition = axiom.getSecondMember(); if (definition instanceof ModifiableIndexedClass) { // define only complex classes return false; } // else ModifiableIndexedClass definedClass = getDefinedClass(axiom); if (definedClass == null) { return false; } // else boolean success = index.tryAddDefinition(definedClass, definition, reason); if (LOGGER_.isTraceEnabled()) { if (success) { LOGGER_.trace("{}: added definition {} from {}", definedClass, definition, reason); } else { LOGGER_.trace("{}: defined multiple times", definedClass); } } return success; }
public static boolean removeRuleFor( ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClassExpression definition = axiom.getSecondMember(); if (definition instanceof ModifiableIndexedClass) { // define only complex classes return false; } // else ModifiableIndexedClass definedClass = getDefinedClass(axiom); if (definedClass == null) { return false; } // else boolean success = index.tryRemoveDefinition(definedClass, definition, reason); if (success && LOGGER_.isTraceEnabled()) { LOGGER_.trace("{}: removed definition {} from {}", definedClass, definition, reason); } return success; }
public static boolean addRuleFor(ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { ModifiableIndexedClassExpression definition = axiom.getSecondMember(); if (definition instanceof ModifiableIndexedClass) { // define only complex classes return false; } // else ModifiableIndexedClass definedClass = getDefinedClass(axiom); if (definedClass == null) { return false; } // else boolean success = index.tryAddDefinition(definedClass, definition, reason); if (LOGGER_.isTraceEnabled()) { if (success) { LOGGER_.trace("{}: added definition {} from {}", definedClass, definition, reason); } else { LOGGER_.trace("{}: defined multiple times", definedClass); } } return success; }
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 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)); }