Axiom記述欄の使用例

DefinitionPanelにおける公理（Axiom)記述欄の使用例について簡単に解説します．
★注：この部分は，少し古いバージョンの法造（オントロジーサーバー）用に開発したもので，今後は仕様変更する可能性がありますので，あまり使用されないことを推奨しています．
その点をご了承の上，あくまでも旧バージョンのおける，公理のサンプルとしてご理解下さい．

例としては，下記のように記述します．

　(Participants
　　(?接続情報 "接続情報"
　　　(?ポート ("ポート" ?接続情報))
　　　(?接続先部品 ("接続先部品" ?接続情報))
　　　(?接続先ポート ("接続先ポート" ?接続情報))))
　(AxiomBody
　　(Condition
　　　(equal ("Side" ?ポート) "IN"))
　　(Body
　　　(equal ("Side" ?接続先ポート) "OUT"))
　　(UserUse
　　　(部品の入力ポートは，接続している他の部品の出力
　　　ポートにつながっていなければなりません！)))

参考文献：
古崎 晃司, 來村 徳信, 佐野 年伸, 本松 慎一郎, 石川 誠一, 溝口 理一郎:
“オントロジー構築・利用環境「法造」の開発と利用”, 人工知能学会論文誌, Vol. 17,
No. 4, pp.407-419 (2002)
の３ページ目をご覧下さい．

なお，「法造」においては，公理を記述する代わりに，それに相当することを「関係」を用いて記述することを推奨しています．
これに関しては，「オントロジー構築入門」のp.26～を参照して頂ければいただければと思います．