private void addToAdd(final ElkClass elkClass) { final ModifiableIndexedClassExpression converted = elkClass .accept(converter_); if (converted != null && (converted instanceof IndexedClass)) { final IndexedClass cls = (IndexedClass) converted; toAdd_.add(cls); } }
private void addToAdd(final ElkClass elkClass) { final ModifiableIndexedClassExpression converted = elkClass .accept(converter_); if (converted != null && (converted instanceof IndexedClass)) { final IndexedClass cls = (IndexedClass) converted; toAdd_.add(cls); } }
private void addToAdd(final ElkClass elkClass) { final ModifiableIndexedClassExpression converted = elkClass .accept(converter_); if (converted != null && (converted instanceof IndexedClass)) { final IndexedClass cls = (IndexedClass) converted; toAdd_.add(cls); } }
case 0: defined = (ModifiableIndexedClass) axiom.getDefinedClass() .accept(positiveConverter_); axiomInferenceFactory_.getElkDisjointUnionAxiomOwlNothingConversion( axiom, defined, positiveFactory_ case 1: defined = (ModifiableIndexedClass) axiom.getDefinedClass() .accept(dualConverter_); member = disjoint.iterator().next().accept(dualConverter_); axiomInferenceFactory_ .onIndexing(Occurrence.OCCURRENCE_OF_DISJOINT_UNION); defined = (ModifiableIndexedClass) axiom.getDefinedClass() .accept(positiveConverter_); for (int pos = 0; pos < size; pos++) { ElkClassExpression c = disjoint.get(pos);
case 0: defined = (ModifiableIndexedClass) axiom.getDefinedClass() .accept(positiveConverter_); axiomInferenceFactory_.getElkDisjointUnionAxiomOwlNothingConversion( axiom, defined, positiveFactory_ case 1: defined = (ModifiableIndexedClass) axiom.getDefinedClass() .accept(dualConverter_); member = disjoint.iterator().next().accept(dualConverter_); axiomInferenceFactory_ .onIndexing(Occurrence.OCCURRENCE_OF_DISJOINT_UNION); defined = (ModifiableIndexedClass) axiom.getDefinedClass() .accept(positiveConverter_); for (int pos = 0; pos < size; pos++) { ElkClassExpression c = disjoint.get(pos);
case 0: defined = (ModifiableIndexedClass) axiom.getDefinedClass() .accept(positiveConverter_); axiomInferenceFactory_.getElkDisjointUnionAxiomOwlNothingConversion( axiom, defined, positiveFactory_ case 1: defined = (ModifiableIndexedClass) axiom.getDefinedClass() .accept(dualConverter_); member = disjoint.iterator().next().accept(dualConverter_); axiomInferenceFactory_ .onIndexing(Occurrence.OCCURRENCE_OF_DISJOINT_UNION); defined = (ModifiableIndexedClass) axiom.getDefinedClass() .accept(positiveConverter_); for (int pos = 0; pos < size; pos++) { ElkClassExpression c = disjoint.get(pos);
final IndexedClassExpression superClass = superNode .getCanonicalMember() .accept(resolvingExpressionConverter_); if (strictSubclasses.contains(superClass)) { isDirect = false;
@Override protected int hashCode(ElkClass referent) { return HashGenerator.combinedHashCode("ElkClass", referent.getIri()); }
final IndexedClassExpression superClass = superNode .getCanonicalMember() .accept(resolvingExpressionConverter_); if (strictSubclasses.contains(superClass)) { isDirect = false;
public static int structuralHashCode(ElkClass entity) { return combinedHashCode(CachedIndexedClass.class, entity.getIri()); }
final IndexedClassExpression superClass = superNode .getCanonicalMember() .accept(resolvingExpressionConverter_); if (strictSubclasses.contains(superClass)) { isDirect = false;
@Override protected int hashCode(ElkClass referent) { return HashGenerator.combinedHashCode("ElkClass", referent.getIri()); }
final IndexedClassExpression type = typeNode .getCanonicalMember() .accept(resolvingExpressionConverter_); final Set<IndexedClassExpression> subsumers = type.getContext() .getComposedSubsumers();