TL2000-12 領域オントロジーと領域言語
スポンサーリンク
概要
- 論文の詳細を見る
本稿では、型理論に基づいてオントロジーを形式化し、領域言語と領域オントロジーの相互依存関係についての形式理論のアウトラインを提案する。
- 一般社団法人電子情報通信学会の論文
- 2000-07-07
著者
関連論文
- Dynamic Epistemic Logics, Dynamic Doxastic LogicsのKripke Systemの観点からのサーベイ(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- TL2000-12 領域オントロジーと領域言語