OWLによる型付き単一化代入
2008 年 2008 巻 SWO-017 号 p. 01-
詳細
2008 年 2008 巻 SWO-017 号 p. 01-
単一化代入（ユニフィケーション）は，一階述語論理やプラニングなどで用いられる推論の基礎技術である．OWLで書かれたドメインオントロジーを用いてアプリケーションを開発しようとすると，OWLクラスで型付けされた論理変項を対象とした単一化代入操作が必要となる．本論文では，OWLによる型付き単一化のアルゴリズムと実装の結果について報告する．
