(57)【特許請求の範囲】
【請求項１】
入力された推論規則をスキーマ規則、インスタンス規則及び混合規則のうちの少なくとも一つの規則に分類する推論規則分類部と、
スキーマ規則を既に保存されたスキーマトリプルに適用して推論し、混合規則をスキーマトリプルに適用してインスタンス規則に具体化するメモリ基盤推論部と、
前記メモリ基盤推論部において具体化されたインスタンス規則または前記推論規則分類部において分類されたインスタンス規則を既に保存されたインスタンストリプルに適用して推論するディスク基盤分散／並列推論部と、
を備えることを特徴とするハイブリッド規則の推論装置。
【請求項２】
スキーマトリプルまたはインスタンストリプルが保存されるトリプル保存部をさらに備えることを特徴とする請求項１に記載のハイブリッド規則の推論装置。
【請求項３】
前記推論規則分類部は、推論規則の条件部がスキーマトリプルパターンだけで構成される場合にスキーマ規則に分類し、推論規則の条件部がインスタンストリプルパターンだけで構成される場合にインスタンス規則に分類し、推論規則の条件部がスキーマトリプルパターン及びインスタンストリプルパターンで構成される場合に混合規則に分類することを特徴とする請求項１に記載のハイブリッド規則の推論装置。
【請求項４】
前記メモリ基盤推論部は、前記混合規則を、規則の左側には前記混合規則のスキーマトリプルパターンのみを有し、且つ、右側には元の規則からスキーマトリプルパターンを除去した規則を有する新たな規則に書き直し、書き直した混合規則に前記スキーマトリプルを適用してインスタンス規則に具体化することを特徴とする請求項１に記載のハイブリッド規則の推論装置。
【請求項５】
（ａ）入力された推論規則をスキーマ規則、インスタンス規則及び混合規則のうちの少なくとも一つの規則に分類するステップと、
（ｂ）前記分類された推論規則をメモリ基盤の推論方式またはディスク基盤の分散／並列推論方式を用いて推論するステップと、
を含むことを特徴とするハイブリッド規則の推論装置のハイブリッド規則の推論方法。
【請求項６】
前記ステップ（ａ）においては、
推論規則の条件部がスキーマトリプルパターンだけで構成される場合にスキーマ規則に分類し、推論規則の条件部がインスタンストリプルパターンだけで構成される場合にインスタンス規則に分類し、推論規則の条件部がスキーマトリプルパターン及びインスタンストリプルパターンで構成される場合に混合規則に分類することを特徴とする請求項５に記載のハイブリッド規則の推論装置のハイブリッド規則の推論方法。
【請求項７】
前記ステップ（ｂ）においては、
スキーマ規則の場合に、スキーマ規則にメモリ基盤の推論方式を適用して新たなスキーマトリプルを誘導し、
混合規則の場合に、混合規則にメモリ基盤の推論方式を適用してインスタンス規則に変換した後、前記変換されたインスタンス規則にディスク基盤の分散／並列推論方式を適用して新たなインスタンストリプルを誘導し、
インスタンス規則の場合に、インスタンス規則にディスク基盤の分散／並列推論方式を適用して新たなインスタンストリプルを誘導することを特徴とする請求項５に記載のハイブリッド規則の推論装置のハイブリッド規則の推論方法。
【請求項８】
ハイブリッド規則の推論装置によって起動されるとき、
（ａ）入力された推論規則をスキーマ規則、インスタンス規則及び混合規則のうちの少なくとも一つの規則に分類するステップと、
（ｂ）前記分類された推論規則をメモリ基盤の推論方式またはディスク基盤の分散／並列推論方式を用いて推論するステップと、
を含むことを特徴とするハイブリッド規則の推論装置のハイブリッド規則の推論方法を実現するためのプログラムが記録されたコンピュータ読み取り可能な記録媒体。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、ハイブリッド規則の推論装置及びその方法に係り、さらに詳しくは、推論規則の類型に応じてメモリ基盤の推論及びディスク基盤の分散／並列推論を組み合わせて推論するハイブリッド規則の推論装置及びその方法に関する。
【背景技術】
【０００２】
オントロジー推論は、明示的に与えられたオントロジー知識から黙示的な知識を誘導する過程を意味する。また、セマンティックウェブにおいて、オントロジー知識は、ＲＤＦ（Ｒｅｓｏｕｒｃｅ  Ｄｅｓｃｒｉｐｔｉｏｎ  Ｆｒａｍｅｗｏｒｋ）、ＲＤＦＳ（Ｒｅｓｏｕｒｃｅ  Ｄｅｓｃｒｉｐｔｉｏｎ  Ｆｒａｍｅｗｏｒｋ  Ｓｃｈｅｍａ）、ＯＷＬ（Ｗｅｂ  Ｏｎｔｏｌｏｇｙ  Ｌａｎｇｕａｇｅ）などの言語により記述されるが、オントロジー知識はＲＤＦトリプルの集まりであるため、規則基盤の推論は、明示的に与えられたＲＤＦトリプルの集まりから与えられた規則を適用して新たなトリプルを導き出す過程を意味する。
【０００３】
最近では、セマンティックウェブ技術の拡散が進み、複数の機関においてオントロジー知識を生産してオントロジー知識の規模が次第に大きくなるに伴い、大容量のＲＤＦトリプル（以下、「トリプル」と略称する。）を効率よく保存して推論することのできる大規模のオントロジー推論システム（以下、「推論システム」と略する。）が切望されている。
【０００４】
この理由から、従来、「Ｒｅｔｅアルゴリズムを活用する推論方式」（以下、「メモリ推論方式」と称する。）が提案されてきた。メモリ推論方式は、パターンマッチングを効率よく行って反復的なパターンマッチング過程を減らすことはできるが、その代わりに、過剰なメモリを必要とするという不都合があった。すなわち、数十億個以上のトリプル処理が求められる推論システムにおいて、トリプルに推論規則を適用する過程において生成されるデータであるα−メモリ及びβ−メモリを両方とも物理的なメモリ（例えば、ＲＡＭ）に保存せねばならないため、大容量のメモリが求められるという問題があった。
【０００５】
このような問題を解決するために、従来より提案されてきた「データベース管理システム（ＤＢＭＳ：Ｄａｔａｂａｓｅ  Ｍａｎａｇｅｍｅｎｔ  Ｓｙｓｔｅｍ）を活用する推論方式」（以下、「ＤＢＭＳ推論方式」と略称する。）は、大容量のトリプルを保存するためには適しているが、推論過程においてデータベース（ＤＢ）テーブルを繰り返し読み込んだり、書き込んだりする必要があるため、非効率的であるという問題があった。
【０００６】
このように、従来のメモリ基盤の推論技術は、全ての推論をメモリにおいて処理するため大容量の推論に限界があり、ディスク基盤の分散／並列推論は、全ての推論をディスク基盤で処理するためメモリにおいて処理可能な部分まで、ディスクに繰り返しアクセスしてさらなる性能向上の機会を逃してしまうという問題があった。
【０００７】
【特許文献１】大韓民国登録特許第１，１０６，６２４号（発明の名称：「推論サービスのためのインデックスサービスマネージャと推論サービスシステム及びその方法」）
【発明の開示】
【発明が解決しようとする課題】
【０００８】
本発明の目的は、スキーマ規則、インスタンス規則、混合規則など推論規則の類型に応じてメモリ基盤の推論とディスク基盤の分散／並列推論を組み合わせるハイブリッド規則の推論装置及びその方法を提供するところにある。
【０００９】
本発明の他の目的は、小容量タスク（スキーマ規則）をメモリにおいて速やかに推論することのできるメモリ基盤の推論の長所と、大容量タスク（インスタンス規則）を分散／並列方式を用いて推論することのできるディスク基盤の推論の長所を推論規則の特性に応じて組み合わせるハイブリッド規則の推論装置及びその方法を提供するところにある。
【課題を解決するための手段】
【００１０】
前記目的を達成するために、本発明の一側面によれば、入力された推論規則をスキーマ規則、インスタンス規則及び混合規則のうちの少なくとも一つの規則に分類する推論規則分類部と、スキーマ規則を既に保存されたスキーマトリプルに適用して推論し、混合規則をスキーマトリプルに適用してインスタンス規則に具体化するメモリ基盤推論部と、前記メモリ基盤推論部において具体化されたインスタンス規則または前記推論規則分類部において分類されたインスタンス規則を既に保存されたインスタンストリプルに適用して推論するディスク基盤の分散／並列推論部と、を備えることを特徴とするハイブリッド規則の推論装置が提供される。
【００１１】
好ましくは、前記ハイブリッド規則の推論装置は、スキーマトリプルまたはインスタンストリプルが保存されるトリプル保存部をさらに備える。
【００１２】
また、好ましくは、前記推論規則分類部は、推論規則の条件部がスキーマトリプルパターンだけで構成される場合にスキーマ規則に分類し、推論規則の条件部がインスタンストリプルパターンだけで構成される場合にインスタンス規則に分類し、推論規則の条件部がスキーマトリプルパターン及びインスタンストリプルパターンで構成される場合に混合規則に分類する。
【００１３】
さらに、好ましくは、前記メモリ基盤推論部は、前記混合規則を、規則の左側には前記混合規則のスキーマトリプルパターンのみを有し、且つ、右側には元の規則からスキーマトリプルパターンを除去した規則を有する新たな規則に書き直し、書き直した混合規則に前記スキーマトリプルを適用してインスタンス規則に具体化する。
【００１４】
本発明の他の側面によれば、（ａ）入力された推論規則をスキーマ規則、インスタンス規則及び混合規則のうちの少なくとも一つの規則に分類するステップと、（ｂ）前記分類された推論規則をメモリ基盤の推論方式またはディスク基盤の分散／並列推論方式を用いて推論するステップと、を含むことを特徴とするハイブリッド規則の推論装置のハイブリッド規則の推論方法が提供される。
【００１５】
好ましくは、前記ステップ（ａ）においては、推論規則の条件部がスキーマトリプルパターンだけで構成される場合にスキーマ規則に分類し、推論規則の条件部がインスタンストリプルパターンだけで構成される場合にインスタンス規則に分類し、推論規則の条件部がスキーマトリプルパターン及びインスタンストリプルパターンで構成される場合に混合規則に分類する。
【００１６】
また、好ましくは、前記ステップ（ｂ）においては、スキーマ規則の場合に、スキーマ規則にメモリ基盤の推論方式を適用して新たなスキーマトリプルを誘導し、混合規則の場合に、混合規則にメモリ基盤の推論方式を適用してインスタンス規則に変換した後、前記変換されたインスタンス規則にディスク基盤の分散／並列推論方式を適用して新たなインスタンストリプルを誘導し、インスタンス規則の場合に、インスタンス規則にディスク基盤の分散／並列推論方式を適用して新たなインスタンストリプルを誘導する。
【００１７】
本発明のさらに他の側面によれば、ハイブリッド規則の推論装置によって起動されるとき、（ａ）入力された推論規則をスキーマ規則、インスタンス規則及び混合規則のうちの少なくとも一つの規則に分類するステップと、（ｂ）前記分類された推論規則をメモリ基盤の推論方式またはディスク基盤の分散／並列推論方式を用いて推論するステップと、を含むことを特徴とするハイブリッド規則の推論装置のハイブリッド規則の推論方法を実現するためのプログラムが記録されたコンピュータ読み取り可能な記録媒体が提供される。
【発明の効果】
【００１８】
本発明によれば、小容量タスク（スキーマ規則）をメモリにおいて予め処理するとともに、混合規則を具体化することにより、分散／並列推論における推論に際してディスクへのアクセス負荷を低減して全体の推論エンジンの性能を向上させることができる。
【００１９】
また、メモリにおいて処理可能な部分を予めメモリ基盤の推論で処理した後、残りに対してディスク基盤の推論を適用することにより、既存の方式に比べてさらなる性能向上を図ることができる。
【図面の簡単な説明】
【００２０】
【図１】本発明の実施形態によるハイブリッド規則の推論装置の構成を概略的に示すブロック図である。
【図２】本発明の実施形態によるハイブリッド規則の推論方法を示す図である。
【発明を実施するための最良の態様】
【００２１】
本発明の上述した目的と技術的構成及びそれによる作用効果に関する詳細な事項は、本発明の明細書に添付された図面に基づく以下の詳細な説明によって一層明確に理解される筈である。
【００２２】
以下、添付図面に基づき、本発明に係る「ハイブリッド規則の推論装置及びその方法」について詳細に説明する。説明する実施形態は、本発明の技術思想を当業者が容易に理解できるようにするために提供されるものであり、これによって本発明が限定されることはない。なお、添付図面に示す事項は、本発明の実施形態を容易に説明するために図式化されたものであり、実際に実現される形態とは異なる場合がある。
【００２３】
一方、以下において表現される各構成部は、本発明を実現するための例に過ぎない。このため、本発明の他の実現においては、本発明の思想及び範囲を逸脱しない範囲内において他の構成部が使用可能である。また、各構成部は単にハードウェアまたはソフトウェアの構成だけで実現されてもよいが、同じ機能を行う様々なハードウェア及びソフトウェアの構成の組み合わせにより実現されてもよい。なお、一つのハードウェアまたはソフトウェアによって２以上の構成部が一緒に実現される場合もある。
【００２４】
また、ある構成要素を「備える」という表現は「開放型」の表現であり、当該構成要素が存在することを単に示すだけであり、追加的な構成要素を排除するものと理解されてはならない。
【００２５】
図１は、本発明の実施形態によるハイブリッド規則の推論装置の構成を概略的に示すブロック図である。
【００２６】
図１を参照すると、ハイブリッド規則の推論装置１００は、推論規則分類部１１０と、メモリ基盤推論部１２０と、ディスク基盤分散／並列推論部１３０と、トリプル保存部１４０とを備える。
【００２７】
推論規則分類部１１０は、入力された推論規則をスキーマ規則、インスタンス規則、混合規則、包括規則などに分類する。
【００２８】
推論規則は条件部及び結論部により構成され、条件部及び結論部はそれぞれ一つ以上のトリプルパターンにより構成される。表１及び表２を参照すると、例示された推論規則において、「→」を基準として左側部が条件部に相当し、右側部が結論部に相当する。トリプルパターンは、トリプルと同様に、＜主語、述語、目的語＞により構成されるが、主語及び述語、目的語のそれぞれが定数ではなく、変数であってもよい。推論規則は、事実が条件部のトリプルパターンに適用可能であるとき、結論部に相当するトリプルが新たな事実として推論可能であるということを示し、推論とは、既存のトリプルに推論規則を適用して新たな（推論された）トリプルを得る過程のことをいう。
【００２９】
推論規則分類部１１０は、条件部のトリプルパターンの類型に応じて、スキーマ規則、インスタンス規則、混合規則、包括規則に分類する。
【００３０】
すなわち、推論規則分類部１１０は、推論規則の条件部がスキーマトリプルにのみマッチング可能なスキーマトリプルパターンだけで構成される場合に、スキーマ規則に分類する。すなわち、条件部がクラス（ｃｌａｓｓ）またはプロパーティ（ｐｒｏｐｅｒｔｙ）を定義するトリプルだけで構成される場合にスキーマ規則に分類する。
【００３１】
例えば、表１を参照すると、ｒｄｆｓ ５は、条件部が「（ｐ ｒｄｆｓ：ｓｕｂＰｒｏｐｅｒｔｙＯｆ ｑ）（ｑ ｒｄｆｓ：ｓｕｂＰｒｏｐｅｒｔｙＯｆ ｒ）」というプロパティを定義するトリプルだけで構成されているためスキーマ規則であり、ｒｄｆｓ ６は、条件部が「（ｐ ｒｄｆ：ｔｙｐｅ ｒｄｆ：Ｐｒｏｐｅｒｔｙ）、ｒｄｆｓ ８（ｃ ｒｄｆ：ｔｙｐｅ ｒｄｆｓ：Ｃｌａｓｓ）」というクラス及びプロパティを定義するトリプルだけで構成されているためスキーマ規則である。また、ｒｄｆｓ １０は、条件部が「（ｃ ｒｄｆ：ｔｙｐｅｒｄｆｓ：Ｃｌａｓｓ）」というクラスを定義するトリプルだけで構成されているためスキーマ規則であり、ｒｄｆｓ １１は、条件部が「（ｃ ｒｄｆｓ：ｓｕｂＣｌａｓｓＯｆ ｄ）（ｄ ｒｄｆｓ：ｓｕｂＣｌａｓｓＯｆ ｅ）」というクラスを定義するトリプルだけで構成されているためスキーマ規則である。さらに、ｒｄｆｓ １２は、条件部が「（ｐ ｒｄｆ：ｔｙｐｅ ｒｄｆｓ：ＣｏｎｔａｉｎｅｒＭｅｍｂｅｒｓｈｉｐＰｒｏｐｅｒｔｙ）」というプロパティを定義するトリプルだけで構成されているためスキーマ規則である。
【００３２】
【表１】
0005890000.tif 000002
【００３３】
表２を参照すると、ｏｗｌ−ｈｏｒｓｔ  ９は、条件部が「（ｃ  ｒｄｆ：ｔｙｐｅ  ｏｗｌ：Ｃｌａｓｓ）（ｃ  ｏｗｌ：ｓａｍｅＡｓ  ｄ）」というクラスを定義するトリプルだけで構成されているためスキーマ規則であり、ｏｗｌ−ｈｏｒｓｔ  １０は、条件部が「（ｐ  ｒｄｆ：ｔｙｐｅ  ｒｄｆ：Ｐｒｏｐｅｒｔｙ）（ｐ  ｏｗｌ：ｓａｍｅＡｓ  ｑ）」というプロパティを定義するトリプルだけで構成されているためスキーマ規則である。また、ｏｗｌ−ｈｏｒｓｔ  １２ａは、条件部が「（ｃ  ｏｗｌ：ｅｑｕｉｖａｌｅｎｔＣｌａｓｓ  ｄ）」というクラスを定義するトリプルだけで構成されているためスキーマ規則であり、ｏｗｌ−ｈｏｒｓｔ  １２ｂは、条件部が「（ｃ  ｏｗｌ：ｅｑｕｉｖａｌｅｎｔＣｌａｓｓ  ｄ）」というクラスを定義するトリプルだけで構成されているためスキーマ規則である。さらに、ｏｗｌ−ｈｏｒｓｔ  １２ｃは、条件部が「（ｃ  ｒｄｆｓ：ｓｕｂＣｌａｓｓＯｆ  ｄ）（ｄ  ｒｄｆｓ：ｓｕｂＣｌａｓｓＯｆ  ｃ）」というクラスを定義するトリプルだけで構成されているためスキーマ規則であり、ｏｗｌ−ｈｏｒｓｔ  １３ａの（ｐ  ｏｗｌ：ｅｑｕｉｖａｌｅｎｔＰｒｏｐｅｒｔｙ  ｑ）、ｏｗｌ−ｈｏｒｓｔ  １３ｂの（ｐ  ｏｗｌ：ｅｑｕｉｖａｌｅｎｔＰｒｏｐｅｒｔｙ  ｑ）、ｏｗｌ−ｈｏｒｓｔ  １３ｃの（ｐ  ｒｄｆｓ：ｓｕｂＰｒｏｐｅｒｔｙＯｆ  ｑ）（ｑ  ｒｄｆｓ：ｓｕｂＰｒｏｐｅｒｔｙＯｆ  ｐ）のそれぞれはプロパティを定義するトリプルだけで構成されているためスキーマ規則である。
【００３４】
【表２】
0005890000.tif 000003
【００３５】
また、推論規則分類部１１０は、推論規則の条件部がインスタンストリプルにのみマッチング可能なインスタンストリプルパターンだけで構成される場合に、インスタンス規則に分類する。すなわち、推論規則の条件部が各個体（ｉｎｄｉｖｉｄｕａｌ）の所属（ｒｄｆ：ｔｙｐｅ）及び個体間の関係を記述するインスタンスだけで構成される場合に、インスタンス規則に分類する。インスタンスは量が膨大であるため、インスタンス規則としては主としてユーザ定義規則が挙げられる。
【００３６】
さらに、推論規則分類部１１０は、推論規則の条件部がスキーマトリプルパターン及びインスタンストリプルパターンで構成される場合に、混合規則に分類する。例えば、表１のｒｄｆｓ ２、３、７、９、表２のｏｗｌ−ｈｏｒｓｔ １、２、３、４、８ａ、８ｂ、１４ａ、１４ｂ、１５、１６規則が混合規則である。
【００３７】
加えて、推論規則分類部１１０は、推論規則の条件部が（ｕｐｖ）及び（ｘ ｒｄｆ：ｔｙｐｅ ｃ）などの包括（ｇｅｎｅｒｉｃ）トリプルパターン一つのみを有する場合に包括規則に分類する。包括規則は、条件部がトリプルパターン一つであるため、既に保存されたトリプルを一回スキャンするだけでいつでも推論可能である。このため、包括規則は性能に影響を及ぼす重要な要素ではないため、包括規則を推論する方法についての詳細な説明は省略する。
【００３８】
このように、推論規則分類部１１０は、推論規則の条件部がスキーマトリプルパターンだけで構成される場合にスキーマ規則に分類し、推論規則の条件部がインスタンストリプルパターンだけで構成される場合にインスタンス規則に分類し、推論規則の条件部がスキーマトリプルパターン及びインスタンストリプルパターンで構成される場合に混合規則に分類する。
【００３９】
メモリ基盤推論部１２０は、スキーマ規則にメモリ基盤の推論方式を適用して、新たなスキーマトリプルを誘導する。すなわち、メモリ基盤推論部１２０は、スキーマ規則をトリプル保存部１４０に保存されたスキーマトリプルに適用して、新たなスキーマトリプルを誘導する。このとき、メモリ基盤推論部１２０は、新たなスキーマトリプルがそれ以上誘導されなくなるまで再帰的に推論を行い、推論されたスキーマトリプルはトリプル保存部１４０に保存されるとともに、メモリ基盤推論部１２０のメモリ（図示せず）に保持されて再帰的に推論規則に適用される。メモリ基盤推論部１２０は、再帰的な推論を効率よく行うためにトリプル保存部１４０に保存された初期のスキーマトリプルを内部メモリに読み込んで保持し、推論されたスキーマトリプルをトリプル保存部１４０に保存するとともにメモリに保持する。
【００４０】
また、メモリ基盤推論部１２０は、混合規則にメモリ基盤の推論方式を適用してインスタンス規則に具体化し、その具体化されたインスタンス規則をディスク基盤分散／並列推論部１３０に提供する。すなわち、メモリ基盤推論部１２０は、混合規則をトリプル保存部１４０に保存されたスキーマトリプルに適用して具体的なインスタンス規則に変換する。
【００４１】
例えば、混合規則が「（ｐ  ｒｄｆｓ：ｓｕｂＰｒｏｐｅｒｔｙＯｆ  ｑ）  （ｕ  ｐ  ｖ）→（ｕ  ｑ  ｖ）」である場合、メモリ基盤推論部１２０は、「（ｐ  ｒｄｆｓ：ｓｕｂＰｒｏｐｅｒｔｙＯｆ  ｑ）→  ［（ｕ  ｐ  ｖ）→（ｕ  ｑ  ｖ）］のように規則の左側にはスキーマトリプルパターンのみを有し、右側には元の規則からスキーマトリプルパターンを除去した規則を有する新たな規則に書き直す。次いで、メモリ基盤推論部１２０は、書き直した混合規則の条件部「（ｐ  ｒｄｆｓ：ｓｕｂＰｒｏｐｅｒｔｙＯｆ  ｑ）」にスキーマトリプルを適用して、インスタンス規則に変換する。このような過程を通じて、メモリ基盤推論部１２０は、混合規則をインスタンス規則に変換する。
【００４２】
ディスク基盤分散／並列推論部１３０は、メモリ基盤推論部１２０において具体化されたインスタンス規則または推論規則分類部１１０において分類されたインスタンス規則を、トリプル保存部１４０に保存されたインスタンストリプルに適用して、新たなインスタンストリプルを誘導する。このとき、ディスク基盤分散／並列推論部１３０は、新たなインスタンストリプルがそれ以上誘導されなくなるまで再帰的に推論を行い、推論されたインスタンストリプルがトリプル保存部１４０に保存されて再帰的に推論規則に適用される。
【００４３】
トリプル保存部１４０には、スキーマトリプルまたはインスタンストリプルが保存されている。
【００４４】
トリプル保存部１４０は、スキーマトリプル及びインスタンストリプルを保存するための空間であり、スキーマの特性に応じて様々な資料構造を通じて保存され、インスタンストリプルにはインスタンストリプル毎に固有の文字列ＵＲＩの代わりに整数タイプのＩＤが与えられて保存され、保有の文字列ＵＲＩが与えられたＩＤにマッピングされて管理されて外部にインスタンストリプルを返還するときに当該ＩＤにマッピングされた固有の文字列ＵＲＩが返還されることが好ましい。
【００４５】
図２は、本発明の実施形態によるハイブリッド規則の推論方法を示す図である。
【００４６】
図２を参照すると、ハイブリッド規則の推論装置は、推論規則が入力されると（ステップＳ２０２）、入力された推論規則を条件部のトリプルパターン類型に応じてスキーマ規則、インスタンス規則、混合規則、包括規則に分類する（ステップＳ２０４）。このとき、ハイブリッド規則の推論装置は、推論規則の条件部がスキーマトリプルパターンだけで構成される場合にスキーマ規則に分類し、推論規則の条件部がインスタンストリプルパターンだけで構成される場合にインスタンス規則に分類し、推論規則の条件部がスキーマトリプルパターン及びインスタンストリプルパターンで構成される場合に混合規則に分類する。
【００４７】
ステップＳ２０４が行われると、ハイブリッド規則の推論装置は、規則の類型に応じてメモリ基盤の推論とディスク基盤の分散／並列推論を組み合わせて推論する。
【００４８】
以下、各推論規則を推論する方法について具体的に説明する。
【００４９】
まず、スキーマ規則の場合、ハイブリッド規則の推論装置は、スキーマ規則にメモリ基盤の推論方式を適用して（ステップＳ２０６）、新たなスキーマトリプルを誘導して保存する（ステップＳ２０８）。すなわち、ハイブリッド規則の推論装置は、スキーマ規則を既に保存されたスキーマトリプルに適用して新たなスキーマトリプルを誘導する。このとき、ハイブリッド規則の推論装置は、新たなスキーマトリプルがそれ以上誘導されなくなるまで再帰的に推論を行い、誘導されたスキーマトリプルはトリプル保存部に保存されるとともに、メモリ基盤推論部のメモリに保持されて再帰的に推論規則に適用される。
【００５０】
次いで、混合規則の場合、ハイブリッド規則の推論装置は、混合規則にメモリ基盤の推論方式を適用して混合規則をインスタンス規則に変換し（ステップＳ２１０）、変換されたインスタンス規則にディスク基盤の分散／並列推論方式を適用して（ステップＳ２１２）、新たなインスタンストリプルを誘導して保存する（ステップＳ２１４）。すなわち、ハイブリッド規則の推論装置は、混合規則を既に保存されたスキーマトリプルに適用して、具体的なインスタンス規則に変換し、変換されたインスタンス規則を既に保存されたインスタンストリプルに適用して、新たなインスタンストリプルを誘導する。このとき、ハイブリッド規則の推論装置は、新たなインスタンストリプルがそれ以上誘導されなくなるまで再帰的に推論を行い、誘導されたインスタンストリプルは保存されて再帰的に推論規則に適用される。
【００５１】
最後に、インスタンス規則の場合、ハイブリッド規則の推論装置は、インスタンス規則にディスク基盤の分散／並列推論方式を適用して（ステップＳ２１６）、新たなインスタンストリプルを誘導して保存する（ステップＳ２１８）。すなわち、ハイブリッド規則の推論装置は、インスタンス規則を既に保存されたインスタンストリプルに適用して新たなインスタンストリプルを誘導する。このとき、ハイブリッド規則の推論装置は、新たなインスタンストリプルがそれ以上誘導されなくなるまで再帰的に推論を行い、誘導されたインスタンストリプルは保存されて再帰的に推論規則に適用される。
【００５２】
このように、ハイブリッド規則の推論装置は、小容量タスク（スキーマ規則）をメモリにおいて予め処理するとともに、混合規則を具体化することにより、分散／並列推論における推論に際してディスクへのアクセス負荷を低減して、全体の推論エンジンの性能を向上させることができる。
【００５３】
このようなハイブリッド規則の推論方法はプログラムにより作成可能であり、プログラムを構成するコード及びコードセグメントは当該分野のプログラマによって容易に推論可能である。なお、ハイブリッド規則の推論方法に関するプログラムは電子装置が読み取り可能な情報記録媒体に保存され、電子装置によって読み込まれて起動される。
【００５４】
このように、本発明が属する技術分野における当業者は、本発明がその技術的思想や必須的特徴を変更することなく他の具体的な形態として実施可能であるということが理解できる筈である。よって、上述した実施形態はあらゆる面において例示的なものであり、限定的なものではないと理解されるべきである。本発明の範囲は前記詳細な説明よりは後述する特許請求の範囲によって開示され、特許請求の範囲の意味及び範囲並びにその等価概念から導き出されるあらゆる変更または変形された形態が本発明の範囲に含まれるものと解釈されるべきである。
【符号の説明】
【００５５】
１００：ハイブリッド規則の推論装置
１１０：推論規則分類部
１２０：メモリ基盤推論部
１３０：ディスク基盤分散／並列推論部
１４０：トリプル保存部
【要約】
【課題】ハイブリッド規則の推論装置及び方法を提供すること。
【解決手段】入力された推論規則をスキーマ規則、インスタンス規則及び混合規則のうちの少なくとも一つの規則に分類する推論規則分類部と、スキーマ規則を既に保存されたスキーマトリプルに適用して推論し、混合規則をスキーマトリプルに適用してインスタンス規則に具体化するメモリ基盤推論部と、前記メモリ基盤推論部において具体化されたインスタンス規則または前記推論規則分類部において分類されたインスタンス規則を既に保存されたインスタンストリプルに適用して推論するディスク基盤分散／並列推論部と、を備えることを特徴とするハイブリッド規則の推論装置。
【選択図】  図１【図１】
0005890000.tif 000004
【図２】
0005890000.tif 000005