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;
final IndexedClassExpression superClass = superNode .getCanonicalMember() .accept(resolvingExpressionConverter_); if (strictSubclasses.contains(superClass)) { isDirect = false;
final IndexedClassExpression superClass = superNode .getCanonicalMember() .accept(resolvingExpressionConverter_); if (strictSubclasses.contains(superClass)) { isDirect = false;
final IndexedClassExpression type = typeNode .getCanonicalMember() .accept(resolvingExpressionConverter_); final Set<IndexedClassExpression> subsumers = type.getContext() .getComposedSubsumers();
final IndexedClassExpression type = typeNode .getCanonicalMember() .accept(resolvingExpressionConverter_); final Set<IndexedClassExpression> subsumers = type.getContext() .getComposedSubsumers();
final IndexedClassExpression type = typeNode .getCanonicalMember() .accept(resolvingExpressionConverter_); final Set<IndexedClassExpression> subsumers = type.getContext() .getComposedSubsumers();
objectFactory, index); IndexedClassExpression A = a.accept(converter); IndexedClassExpression B = b.accept(converter); IndexedClassExpression C = c.accept(converter); IndexedClassExpression D = d.accept(converter); IndexedClassExpression I = objectFactory.getObjectIntersectionOf(b, c) .accept(converter);