RDFLibのURLローダーはurllibのプロキシ環境を利用できる
別のRequests呼び出しのオプションが引き継がれると期待するのではなく、RDFLibがリモート文書を解析する前にurllibのURL読み込み経路を設定してください。
RDFLibのURLInputSourceはurllib.request経由でダウンロードします。このURLローダーを初めて使う前に、urllibの通常のプロキシ環境を設定してください:
import os
from rdflib import Graph
os.environ['http_proxy'] = 'http://proxy.example:8080'
os.environ['https_proxy'] = 'http://proxy.example:8080'
graph = Graph()
graph.parse('https://data.example/catalog.ttl', format='turtle')どちらの変数も同じHTTPプロキシのリスナーを指します。それぞれの宛先スキームをカバーし、HTTPS経由のRDF文書も含みます。許可された公開プロキシ経路にある公開RDFソースについては、HTTPプロキシ一覧がこれらの環境URLの候補を提供します。
プロセスがすでに独自のurllibオープナーをインストールまたは構築している場合は、そのプロキシハンドラーを確認してください。後から環境を変更しても、そのハンドラーが必ず再構築されるわけではありません。
別のダウンロードが失敗したときは、tracebackに示されたローダーを使用してください。RDFプラグインやアプリケーションのラッパーが追加のネットワーク経路を持つことがあります。別のRequests呼び出しのproxy引数はその呼び出しに適用され、RDFLibのurllibローダーには適用されません。