private ImmutableMap<Predicate, Datatype> getDescendentNodesPartialMap(ClassifiedTBox reasoner, DataRangeExpression node, Equivalences<DataRangeExpression> nodeSet) { if (node instanceof Datatype) { return reasoner.dataRangesDAG().getSub(nodeSet).stream() .map(Equivalences::getRepresentative) .filter(d -> d != node) .map(this::getPredicate) .filter(Optional::isPresent) .collect(ImmutableCollectors.toMap( Optional::get, d -> (Datatype) node )); } return ImmutableMap.of(); }
private ImmutableMap<IRI, Datatype> getDescendentNodesPartialMap(ClassifiedTBox reasoner, DataRangeExpression node, Equivalences<DataRangeExpression> nodeSet) { if (node instanceof Datatype) { return reasoner.dataRangesDAG().getSub(nodeSet).stream() .map(Equivalences::getRepresentative) .filter(d -> d != node) .map(this::getPredicateIRI) .filter(Optional::isPresent) .collect(ImmutableCollectors.toMap( Optional::get, d -> (Datatype) node )); } return ImmutableMap.of(); }
Set<Equivalences<ClassExpression>> subClasses = reasoner.classesDAG().getSub(set); boolean couldBeGenerating = set.size() > 1 || subClasses.size() > 1; for (ClassExpression concept : set) {
for (Equivalences<ObjectPropertyExpression> subpropNode : reasoner.objectPropertiesDAG().getSub(propNode)) { for (ObjectPropertyExpression subprop : subpropNode) { if (subprop.isInverse()) for (Equivalences<DataPropertyExpression> subpropNode : reasoner.dataPropertiesDAG().getSub(propNode)) { for (DataPropertyExpression subprop : subpropNode) { DataAtom<AtomPredicate> body = translate(subprop, variableXname, variableYname); for (Equivalences<ClassExpression> subclassNode : reasoner.classesDAG().getSub(classNode)) { for (ClassExpression subclass : subclassNode) { DataAtom<AtomPredicate> body = translate(subclass, variableYname);
TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate); for (Equivalences<DataPropertyExpression> descendants : dag.getSub(propertySet)) { for(DataPropertyExpression childproperty : descendants) {
TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate); for (Equivalences<ClassExpression> descendants : reasoner.classesDAG().getSub(classSet)) { for (ClassExpression childDescription : descendants) {
TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate); for (Equivalences<ClassExpression> descendants : reasoner.classesDAG().getSub(classSet)) { for (ClassExpression childDescription : descendants) {
TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate); for (Equivalences<ObjectPropertyExpression> descendants : dag.getSub(propertySet)) { for(ObjectPropertyExpression childproperty : descendants) {
TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate); for (Equivalences<ObjectPropertyExpression> descendants : dag.getSub(propertySet)) { for(ObjectPropertyExpression childproperty : descendants) {
TMappingIndexEntry currentNodeMappings = getMappings(mappingIndex, currentPredicate); for (Equivalences<DataPropertyExpression> descendants : dag.getSub(propertySet)) { for(DataPropertyExpression childproperty : descendants) {