WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

予備知識

ImportとExport

要素

オプション

例題  
例  
関連項目
GraphStore`

OWLFunctional (.ofn)

  • ImportおよびExportはOWLFunctionalをサポートする．

予備知識

    • MIMEタイプ：text/owl-functional
    • OWLオントロジーのためのテキストベースの形式．

ImportとExport

  • Import["file.ofn"]はOWL関数スタイルのシンタックスファイルをインポートし，RDFStoreを返す．
  • Import["file.ofn",elements]は指定された要素をインポートする．
  • Export["file.ofn",expr]はRDFStoreをOWL関数スタイルのシンタックスファイルにエキスポートする．

要素

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

オプション

  • Exportオプション
  • "Prefixes"<||>これらの接頭辞を使用して接頭辞付きの名前を生成する
  • 接頭辞名の形式は pre:local である．対応するIRIは，接頭辞 pre に関連付けられた名前空間IRIをローカル部分 local と結合することによって取得される．
  • 「接頭辞」を使用して、エキスポートされたファイルが短縮できる．このオプションは，ファイルが表すRDFStoreの意味を変更しない．

例題

例  (1)

Wolfram Language code: Needs["GraphStore`"]

自転車についてのOWLオントロジーをインポートする：

Wolfram Language code: ImportString[" Prefix(: = <http://example.org/>) Prefix(xsd: = <http://www.w3.org/2001/XMLSchema#>) Ontology( Declaration(Class(:Bike)) Declaration(DataProperty(:wheelCount)) EquivalentClasses( :Bike DataHasValue(:wheelCount \"2\"^^xsd:integer) ) DataPropertyAssertion(:wheelCount :laufmaschine \"2\"^^xsd:integer) DataPropertyAssertion(:wheelCount :unicycle \"1\"^^xsd:integer) ) ", "OWLFunctional"]