GraphStore`

RDFXML (.rdf)

予備知識

ImportとExport

  • Import["file.rdf"]は RDF/XMLファイルをインポートし，RDFStoreを返す．
  • Import["file.rdf",elements]は指定された要素をインポートする．
  • Export["file.rdf",expr]はRDFStoreをRDF/XMLファイルにエキスポートする．

要素

  • 一般的なImport要素：
  • "Elements" このファイルで使用可能な要素とオプションのリスト
    "Rules"各要素とオプションのための規則の完全リスト
    "Options"オプション，特性，設定のための規則のリスト
  • データ表現要素：
  • "Data"RDFStore
    "Base"相対IRIの解決に使用する基底IRI
    "Prefixes"接頭辞と名前空間IRIの連想

オプション

  • Importオプション：
  • "Base"Automatic相対IRIの解決に使用する基底IRI
  • "Base"の値はファイルが基底IRIを指定していない場合にのみ使用される．
  • "Base"には次の値が使える．
  • Automaticインポートされたファイルのファイル名
    None基底IRIはなし
    "iri" または URL["iri"]IRI
  • Exportオプション：
  • "Base"NoneIRIをその基底と相対的に生成する
    "Prefixes"<||>これらの接頭辞を使って接頭辞の付いた名前を生成する
  • "Base"と"Prefixes"を使ってエキスポートするファイルを短縮することができる．これらのオプションがファイルが表すRDFStoreの意味を変えることはない．

例題

例  (1)

RDFグラフをRDF/XMLとしてエキスポートする：

同じドキュメントをインポートする：