"検索のためのオントロジーを準備する方法であって、意味的に等価の個人の各組における1人の個人が、圧縮されたオントロジーにも残るように前記オントロジーを圧縮することと、前記圧縮されたオントロジーにおける個人間のセマンティック関係を判定することと、前記圧縮されたオントロジーにおける意味的に等価の概念を判定することと、前記オントロジーにおける概念間のセマンティック関係を判定することと、個人間の前記意味的に制限された関係および概念間の前記意味的に制限された関係に少なくとも基づいて意味的に制限された関係のグラフを作成することとを含み、クエリが、前記意味的に制限された関係のグラフを使用して回答される、方法。前記オントロジーを圧縮することは、前記オントロジーの各概念における意味的に等価の個人を識別することをさらに含む、請求項1に記載の方法。前記オントロジーから前記意味的に等価の個人の少なくとも数人を削除することをさらに含む、請求項2に記載の方法。前記圧縮されたオントロジーにおける個人間のセマンティック関係を判定することは、同じ概念における個人間の意味的に制限された関係を見つけることをさらに含む、請求項1に記載の方法。意味的に制限された関係のグラフを作成することは、前記個人間の前記セマンティック制限に基づいて前記意味的に制限された関係のグラフに個人を配置することをさらに含む、請求項1に記載の方法。意味的に制限された関係のグラフを作成することは、前記概念間の前記セマンティック関係に基づいて前記意味的に制限された関係のグラフに概念を配置することをさらに含む、請求項1に記載の方法。前記オントロジーの最低レベルの概念から前記オントロジーの最高レベルの概念までの概念間のセマンティック関係を判定することをさらに含む、請求項1に記載の方法。前記意味的に制限された関係のグラフを使用して前記クエリを実行することをさらに含む、請求項1に記載の方法。前記クエリを実行することは、前記クエリを1組の一貫性検査問題に変換することをさらに含む、請求項8に記載の方法。前記意味的に制限された関係のグラフ中のノードを反復的に処理して前記クエリに回答することをさらに含み、ノードを反復的に処理することは、前記一貫性検査を実行するための開始ノードを選択し、前記選択されたノードが回答であるときは前記選択されたノードのすべての直接的な後継ノードおよび間接的な後継ノードが前記クエリに対する回答であり、前記選択されたノードの前記直接的な後継ノードおよび前記間接的な後継ノードには一貫性検査は実行されないことと、前記一貫性検査を実行するための終了ノードを選択し、前記終了ノードが前記クエリの回答ではないときはすべての直接的な先祖ノードおよび間接的な先祖ノードが前記クエリの回答でないこととを含む、請求項9に記載の方法。オントロジーにおけるクエリを実行する方法であって、前記オントロジーにアクセスすることのできるサーバでクエリを受け取ることと、前記クエリを1組の一貫性検査問題に変換することと、意味的に制限された関係のグラフを使用して前記1組の一貫性検査問題を実行し、前記意味的に制限された関係のグラフが、前記オントロジーから判定された意味的に制限された関係を含み、前記オントロジーにおける意味的に等価の個人の各組が、前記意味的に制限された関係のグラフ中の1人の個人によって表されることと、前記意味的に制限された関係のグラフから前記クエリに対する回答を決定することとを含む方法。前記意味的に制限された関係のグラフを前記オントロジーからオフラインで作成することをさらに含む、請求項11に記載の方法。前記意味的に制限された関係のグラフを作成することは、前記オントロジーの各概念における個人間の意味的に制限された関係を判定することと、異なる概念における個人間の意味的に制限された関係を判定することとをさらに含む、請求項12に記載の方法。前記意味的に制限された関係のグラフは、オフラインで生成され、前記クエリが受け取られたときに前記クエリに回答するためにアクセスされる、請求項12に記載の方法。前記クエリに対する回答を得ることは、前記意味的に制限された関係のグラフ中のノードを選択することと、前記選択されたノードが前記クエリに対する前記回答である場合に前記選択されたノードのすべての直接的なノードおよび間接的なノードを前記回答に付加することと、前記選択されたノードが前記回答ではないときに終了ノードを検査することとを反復的に行うことをさらに含み、前記終了ノードの後継ノードであるすべての直接的なノードおよび間接的なノードが回答ではなく、一貫性について検査されない、請求項11に記載の方法。前記クエリに対する前記回答を決定する際に前記制限された関係のグラフ中のすべての前記ノードよりも少ない数のノードについて一貫性検査が実行される、請求項11に記載の方法。大きいデータセットにおけるクエリを実行するためのシステムにおいて、メモリに記憶されオントロジーを記憶するデータベースにアクセスするサーバと、前記オントロジーから意味的に制限された関係のグラフを生成するためのグラフ生成構成要素であって、前記意味的に制限された関係のグラフが前記メモリに記憶され、前記意味的に制限された関係のグラフが、個人間の意味的に制限された関係および概念間の意味的に制限された関係を含み、前記オントロジーにおける意味的に等価の少なくとも数人の個人が、前記意味的に制限された関係のグラフから除外されるグラフ作成構成要素と、前記意味的に制限された関係のグラフと相互作用するクエリ構成要素であって、前記クエリの結果を生成するために前記意味的に制限された関係のグラフに対して実行される1組の一貫性検査問題に前記クエリを変換するクエリ構成要素とを備えるシステム。少なくともいくつかの公理およびその他の個人は、前記意味的に制限された関係のグラフから除外される、請求項17に記載のシステム。前記1組の一貫性検査問題は、前記意味的に制限された関係のグラフ中のすべての前記ノードよりも少ない数のノードに対して実行される、請求項17に記載のシステム。前記意味的に制限された関係のグラフは、前記1組の一貫性検査問題を実行するのに必要な時間を改善するためにオフラインで生成される、請求項17に記載のシステム。以下の詳細な説明では、その一部を形成する添付の図面を参照する。図面において、文脈上別の意味が明示されない限り、同様の記号は通常、同様の構成要素を識別する。詳細な説明、図面、および特許請求の範囲において説明する例示的な実施形態は、限定的であることを意味しない。本明細書で提示する主題の趣旨または範囲から逸脱せずに、他の実施形態を利用してもよく、かつ他の変更を施してもよい。本明細書で概略的に説明し、図に示す本開示の態様を、すべてが本明細書で明示的に構想される様々に異なる構成として構成し、置換し、組み合わせ、分離し、設計してもよいことが容易に理解されよう。本明細書で開示する実施形態は、概して、大きいデータセットを含むデータにアクセスすることに関する。実施形態は、オントロジーにおけるクエリを実行することおよび/またはオントロジーをアクセスできるように準備することを含む、大きいデータセットにおけるクエリを実行することに関する。オントロジーにおけるクエリなどのセマンティック検索の実行を1組の一貫性検査問題として単純化してもよい。オントロジーにおけるデータにアクセスするかまたはセマンティック検索を実行する能力は、一貫性検査要件を低減させることによって改善される。本明細書で開示するように、オントロジーにおけるエンティティ例えば、概念、個人、関係など間のセマンティック関係を調べることによって一貫性検査要件を低減させてもよい。セマンティック関係を調べることによって得られた情報を使用してオントロジーを圧縮してもよい。例えば意味的に等価の個人のうちの数人を削除することによってオントロジーを圧縮してもよい。オントロジーを圧縮した後、オントロジーにおける個人および/または概念間のセマンティック関係をさらに調べることによって、意味的に制限された関係のグラフを作成してもよい。次いで、オントロジー全体ではなく、意味的に制限された関係のグラフに従ってクエリに回答することによって、オントロジーに提示される任意のクエリを最適化してもよい。有利なことに、実施形態は、任意の特定の論理言語または知識ベースに限定されず、任意の特定の言語に依存することはない。図1は、知識ベース100の例示的な一例を示す。知識ベース100本明細書ではオントロジーと呼ぶこともあるは、2つの部分、すなわち用語ボックス102TBox102およびアサートボックス104ABox104を有するように表されてもよい。Tbox102は、知識ベース100における概念を定義し、概念間の役割または関係を定義する公理axiom106を含んでもよい。ABox104は、TBox102中の概念または関係を使用して知識ベース100中の個人をアサートするassertことのできる公理108を含む。TBox102および/またはABox104を、一例としてのみであるが、図表形式および/または構文形式を含む様々に異なる形式で表してもよい。公理106および108は、記述言語110のような予め定義されたまたは所定の構文を使用して作成されることが多い。知識ベース100上で推論112を実行してもよい。推論112は、例えば知識ベース100に対するクエリに回答するのに使用されてもよく、クエリに基づいて知識ベース100における一貫性検査を実行することを含んでもよい。当業者には、などの記号が、記述言語110で使用することのできる記述論理における記号の例であることが了解されよう。当業者には、記述論理110がこのような特定の記号に限定されないことが了解されよう。記述論理で使用される記号は、当業者に公知であり、本明細書で詳細に記載される必要はない。以下の1組の公理は、家族の話題または主題に関する知識ベース100の一例である。この例では、知識ベース100は以下の公理を含んでもよい。知識ベース100の上記の例では、公理α1~α4はTBox102中の公理106の例である。公理α5~α6は、ABox104中の公理108の例である。公理α1は、母親が女性のサブクラスであることを示す。公理α2は、男性と女性がばらばらにされ、個人がこの両方に属することはできないことを示す。公理α3は、娘のない母親が母親のサブクラスであることを示す。公理α4である娘のない母親は、子供が女性ではない女性である。公理α6は、関係の例であり、TBox102およびABox104中の他のすべての公理は、この例では概念または個人のアサートである。公理α5は、概念娘のない母親を使用してマリーこの例では個人が娘のない母親であることをアサートする。公理α6は、関係子供を有するを使用してマリーが子供ピーターを有することをアサートする。推論によって、ピーターは男性であると推定することができる。ただし、このアサートは知識ベース100に明示的に提示されてはいない。図2は、セマンティック関係を使用してオントロジー212におけるクエリ210を実行するためのシステム200の例示的な一例を示す。この例では、意味的に制限された関係のグラフ208グラフ208を使用してクエリ210を解決してもよい。グラフ208をオフライン220で生成してもよい。言い換えれば、クエリ210に回答する文脈では、グラフ208の生成をオフラインで実行してもよい。グラフ208をオフラインで生成することによって、クエリ210を受け取った後でグラフ208を生成する場合と比較してクエリ210をより迅速に解決するかまたはクエリ210により迅速に回答することができる。必要に応じて、オントロジー212にさらなるデータが追加されるにつれてグラフ208を経時的に更新してもよい。オントロジー212は知識ベース100の一例である。ボックス206意味的に制限された関係のグラフを作成するでは、オントロジー212におけるセマンティック関係を調べてグラフ208を作成する。グラフ208を生成するプロセスは、一例としてのみであるが、ボックス214に示されているようなオントロジー圧縮と、ボックス202に示すように同じ概念における個人のセマンティック関係を調べることと、ボックス204に示すように異なる概念間の個人の関係を調べることとを含む。ボックス214に示されているオントロジー圧縮は、オントロジー212におけるセマンティック関係のいくつかを調べることによって圧縮されたオントロジー222を生成する。圧縮されたオントロジー222を生成する際、オントロジー212において意味的に等価の個人は、同じ個人または1人の個人としてグループ分けされる。言い換えれば、所与の概念における意味的に等価の個人の群からの1人の個人が、圧縮されたオントロジー222に保持される。圧縮されたオントロジー222は、クエリ210を解決する際に意味的に等価の個人を考慮することを不要にするのでクエリ210の解決を助ける。意味的に等価の個人を削除すると、クエリ210の解決に関連する一貫性検査要件が低減される。セマンティック関係は、オントロジー212における個人および/または概念間の関係を確立または識別することが多い。セマンティック関係は、個人および/または概念を他の個人および/または概念と比べて意味的に等価であるか、意味的により非制限的であるか、あるいは意味的により制限的であると識別することができる。したがって、セマンティック関係は意味的に制限された関係も含む。意味的に制限された関係を以下のように定義してもよい。e1およびe2がオントロジーΣにおける2つのエンティティである各エンティティは、一例としてのみであるが、個人または概念であってもよいオントロジーΣ例えば、オントロジー212において、SeはオントロジーΣにeを含むすべての公理を示すものとする。この例では、は、Seにおけるすべての公理について記号sをs’で置き換えることを表す。1Se1e1→e2=Se2である場合、によって示されるように、e1とe2は意味的に等価である。2Se1e1→e2⊇Se2である場合、によって示されるように、e1はe2よりも意味的に制限される。3Se1e1→e2⊆Se2である場合、によって示されるように、e2はe1よりも意味的に制限される。ボックス202に示すように同じ概念における個人のセマンティック関係を調べることをオントロジー212に対して実行してもよい。オントロジー212またはオントロジー212の同じ概念における2人の個人が意味的に制限された関係を有するとき、個人に対する一貫性検査も関係付けられる。ある意味では、1人の個人に対して一貫性検査を実行すると、一貫性検査を意味的に等価の個人に対して実行した場合に生成されるのと同じ結果が生成される。オントロジーΣを意味的に等価の個人を削除することによって圧縮してもよい。より具体的には、a1およびa2がオントロジーΣにおける2人の個人であるオントロジーΣおよびクエリQxが与えられた場合、2人の個人を意味的に関係付けたときに一貫性検査を単純化することができる。以下の定義を使用し、オントロジーΣにおける個人間の意味的に制限された関係を使用することによって一貫性検査の数を低減させてもよい。4である場合、である意味的に等価である。5である場合、であるa1はa2よりも意味的に制限される。6である場合、であるa2はa1よりも意味的に制限される。上述の定義を使用して、オントロジー212の同じ概念における任意の2人の個人が意味的に等価であるかどうかを判定してもよい。さらに、一貫性検査を実行する必要なしに意味的に関係する他の個人について一貫性検査の結果を得てもよい。言い換えれば、システム200は、クエリ210についての一貫性検査要件を低減させ、クエリ210などのクエリに関してオントロジー212におけるすべての個人について一貫性検査を実行することはもはや不要である。意味的に等価の個人は、オントロジー212の同じ概念にのみ存在してもよい。各概念において、意味的に等価の個人を第1の定義1を使用して識別してもよい。Se1e1→e2=Se2である場合、である。圧縮されたオントロジー222は、意味的に等価の個人の各組に1人の個人を維持することによって生成または確定されてもよい。意味的に等価の他の個人および/または関連する公理は、オントロジー212から削除されてもあるいは少なくともクエリ210を解決するときに考慮するのを不要にされてもよい。同じ概念に数千人の個人が存在することが多いので、ボックス202に示すようにセマンティック関係を調べると、個人レベルで一貫性検査を行うのに必要な時間を短縮することができる。しかし、ボックス202において同じ概念における個人のセマンティック関係を調べることには、単に意味的に等価の個人を識別することを含むにとどまらない。残りの個人間の意味的に制限された関係を同時に判定してもあるいはオントロジーを圧縮した後で判定してもよい。定義2および3を圧縮されたオントロジー222に適用することによって、例えば、所与の個人が、圧縮されたオントロジー222またはオントロジー212における別の個人に対して意味的により制限されているかそれとも意味的により制限されていないかを判定してもよい。このプロセスを所与の概念における個人について反復的に実行し、圧縮されたオントロジー222における概念における個人間のセマンティック関係を判定してもよい。しかし、概念間および/または異なる概念における個人間に意味的に制限された関係が存在することが多い。概念間および/または異なる概念における個人間のセマンティック関係を使用して、一貫性検査を実行するのに必要な時間を短縮してもよい。ボックス204では、ボックス206においてグラフ208を作成するときに異なる概念間の個人のセマンティック関係および/または異なる概念間のセマンティック関係を調べる。概念同士の間のセマンティック関係を調べてもよい。概念同士の間のセマンティック関係を1、2、および3と同じまたは同様の方法を使用することによって判定してもよい。オントロジーΣおよびクエリQxを仮定し、ここで、C1およびC2はΣにおける2つの概念であり、C1およびC2はQxに現れず、aCは、aが概念Cの個人であることを示す場合、個人が概念を通じて意味的に関係付けられたときに一貫性検査を単純化することができる。以下の定義を使用し、オントロジーΣにおける異なる概念に属する個人間の意味的に制限された関係を使用することによって一貫性検査の数を低減させてもよい。7である場合、である。8である場合、である。9である場合、である。これらの定義を適用して概念間のセマンティック関係を調べるとき、オントロジーΣオントロジー212などは通常、下から上に処理される。より具体的には、オントロジーΣの最低レベルの概念が最初に処理される。オントロジーΣにおけるより高いレベルは、最上レベルおよび/または最上概念が処理されるまで反復的に処理される。概念間のセマンティック関係を処理する際、一貫性検査に関連のない公理を削除してもよい。限定ではなく一例として、概念Cでは、オントロジー212における公理タイプおよびを削除してもよい。一貫性検査に関連のない公理を削除した後、定義1を使用して意味的に等価の概念を識別または判定してもよい。同様に、定義2および3を使用して概念間のセマンティック関係を判定してもよい。ボックス202において同じ概念における個人のセマンティック関係を調べ、ボックス204において異なる概念間の個人の関係および/または概念間のセマンティック関係を調べた後、ボックス206でグラフ208が作成される。事前に判定されたセマンティック関係に基づいて各概念における個人に以下のように対処してもよい。である場合、a1←a2のように付加する。である場合、a1→a2のように付加する。次いで、以下のようにグラフ208を作成しつつ概念に対処する。である場合、aC1←bC2のように付加する。ここで、aC1、bC2SaC1→C2,a→b⊇Sbである。である場合、aC1→bC2のように付加する。ここで、aC1、bC2SaC1→C2,a→b⊆Sbである。である場合、のように付加する。ここで、aC1、bC2SaC1→C2,a→b=Sbである。である場合、C2をC1で置き換え、C1における個人についての意味的に等価の関係を調べる。である場合、のように付加し、他のセマンティック関係は本明細書で説明するように処理される。例えば、である場合、e1←e2のように付加する。である場合、e1→e2のように付加する。このように、一例として、異なる概念における個人間のセマンティック関係を調べてもよい。ボックス202で同じ概念における個人のセマンティック関係を調べ、ボックス204で異なる概念間の個人の関係および/または概念間のセマンティック関係を調べた後、ボックス206でグラフ208が作成される。図3~図7は、意味的に制限されたグラフを作成する例示的な一例を示す。意味的に制限されたグラフを使用してクエリに回答するかまたは他のアプリケーションを実行してもよい。意味的に制限されたグラフの生成をオフラインで実行してもよい。図3は、オントロジー300の例示的な一例を示す。オントロジー300は、知識ベース100およびオントロジー212の一例である。オントロジー300は、TBox102の一例であるTBox302と、ABox104の一例であるABox304とを含む。TBox302は公理326を含み、ABox304は公理328を含む。Abox304を図示するグラフ306および308も設けられている。概念308、310、および312などの概念が方形のノードによって表されている。個人314、316、および318などの個人は、円形のノードによって表されている。グラフ306は、概念のアサートconceptassertionsを示し、グラフ308は、関係、例えば関係320、322、および324を含む役割のアサートroleassertionsを示す。図4は、圧縮されたオントロジー400の例示的な一例を示す。圧縮されたオントロジー400は、オントロジー300から生成される。より具体的には、圧縮されたオントロジー400を生成することは、オントロジー300を圧縮するために、オントロジー300におけるセマンティック関係を調べることを含む。オントロジー300におけるセマンティック関係を調べ、意味的に等価の個人の大部分を除去することによって圧縮されたオントロジー400を生成することができる。意味的に等価の個人のうちの1人が圧縮されたオントロジー400に含まれる。より具体的には、各概念における意味的に等価の個人が識別される。圧縮されたオントロジー400は、各概念における意味的に等価の個人の各組について意味的に等価の個人のうちの1人だけを維持することによってオントロジー300から生成される。例えば、図3は、概念308が各個人330例えば、個人a0~aiを含むことを示し、この場合、iは大きい値であってもよい。図4は、各個人330が、この例では個人a0、a1、およびa2を含む各個人410に縮小されたことを示す。一例では、表またはグラフを使用して、オントロジー300における個人を評価する際に各組の意味的に等価の個人を追跡してもよい。この表は、意味的に等価の個人が、圧縮されたオントロジー400に保持される個人にマップされるのを可能にする。以下に示す表1は、概念308に関する部分マッピングテーブルを示す。表1では、個人a0、a3、...が意味的に等価の個人として識別されており、個人a0にマップされている。個人a0は、圧縮されたオントロジー400における個人410に含まれる。意味的に等価の個人b2、b3は個人b2にマップされている。意味的に等価の個人b5、b6は個人b5にマップされている。表1は、この例では、概念A308におけるすべての個人が3人の個人にマップされていることを示している。オントロジー300における他の概念も同様に評価されマップされて圧縮されたオントロジー400が生成されている。その結果、圧縮されたオントロジー400は元のオントロジー300よりも実質的に小さくてもよい。さらに、ABox402に含まれる公理404はそれより少なくてもよい。個人a0、a3については、a0,Sa0={Aa0}を含む1つの公理Aa0およびa3,Sa3={Aa3}を含む1つの公理Aa3しかない。a3をa0に変更すると、Sa3a3→a0=Sa0になる。その結果、個人a0と個人a3は意味的に等価になり、すなわちになる。同様に、個人a0と個人ajは意味的に等価であり、この場合、j>3である。個人b2およびb3については、Sb2={Bb2,Ra1,b2}、Sb3={Bb3,Ra1,b3}、およびSb3b3→b2=Sb2である。その結果、個人b2と個人b3は意味的に等価になり、すなわちになる。他の意味的に等価の個人を同様に判定してもよい。意味的に等価の個人を識別し、意味的に等価の個人のうちの1人のみを維持するこのプロセスでは、オントロジー300が圧縮され、圧縮されたオントロジー400が得られる。同様に、異なる概念における個人間のセマンティック関係を調べるプロセスによって役割のアサートのグラフ408が得られる。Abox304と比べてAbox402のサイズが縮小される。圧縮されたオントロジー400を作成した後、意味的に制限された関係のグラフを生成してもよい。意味的に制限された関係のグラフを作成するプロセスは、同じ概念における個人のセマンティック関係を調べることと、異なる概念における個人のセマンティック関係を調べることとを含む。より具体的には、圧縮されたオントロジー400の作成は、単に意味的に等価の個人の識別を含むにとどまらない。意味的に制限された関係のグラフは、1人の個人が同じ概念または異なる概念における別の個人よりも制限的であるかあるいはその個人よりも非制限的であるインスタンスの分析を含む。図5は、各概念における個人の関係を示すグラフ500の一例を示す。個人a0、a1、およびa2について次式が成立する。Sa0={Aa0},Sa1={Aa1,Ra1,b1,Ra1,c1,Ra1,b2}、およびSa2={Aa2,Rc1,a2,Ra2,b4,Ra2,c3,Ra2,b5}Sa1→a0a1⊇Sa0およびSa2→a0⊇Sa0であるので、個人a1は個人a0よりも制限され、すなわちになる。同様に、個人a2は個人a0よりも制限され、すなわちになる。グラフ500の部分502は、同じ概念内の個人a0、a1、およびa2間のこれらの関係を示す。部分504、506、508、510、および512について、他の概念における個人に対して同様に判定してもよい。図6は、オントロジー300における概念に関するグラフ600の例示的な一例を示す。制限されたグラフ600は、一例としてのみ、前述の定義1~3を使用して生成されてもよい。制限されたグラフ600を最低レベルの概念から反復的に生成してもよい。図6は、概念612が概念610よりも制限的であることを示す。概念608は概念610よりも非制限的である。概念606と概念604は等価の概念である。概念602は最高レベルの概念であり、概念604および606よりも非制限的である。図7は、意味的に制限された関係のグラフ700グラフ700の例示的な一例を示す。グラフ700は、圧縮されたオントロジー400、グラフ500および600中の情報から、グラフ500およびグラフ600で識別される意味的に制限された関係を調べることによって生成されてもよい。例えば、図5および図6ではである。したがって、Sa0=Aa0、Sb0=Bb0、およびSa0A→B,a0→b0⊆Sb0であるので、関係702によって示されるように、である。図5および図6は、であることを示す。この例では、関係704によって示されるように、である。CをBで置き換えると、Sb2={Bb2,Ra1,b2},Sb5={Bb5,Ra2,b5},Sc1={Bc1,Ra1,c1,Rc1,a2},Sc3={Bc3,Ra2,c3}になる。この例では、Sc1→b2c1⊇Sb2である。その結果、関係706によって示されるようにである。Sc3→b5c1=Sb2であるので、関係708によって示されているようにである。グラフ700における他の関係を同様に判定してもよい。図7に示す意味的に制限された関係のグラフ700を使用してクエリに回答し、他の場合にはオントロジー300において実行される一貫性検査要件を低減させてもよい。図8は、オントロジーにおけるクエリを容易にするための方法800の例示的な一例を示す。ボックス802オントロジーを圧縮するにおいて、方法800ではまず、オントロジーを圧縮する。オントロジーを圧縮することは、オントロジーの各概念における意味的に等価の個人を識別することを含んでもよい。通常概念内で生じる意味的に等価の個人は、圧縮されたオントロジーに含まれる代表的な個人にマップされる。ボックス804オントロジーの同じ概念における個人間のセマンティック関係を調べるでは、同じ概念に属する個人のセマンティック関係を調べる。より具体的には、圧縮されたオントロジーまたはオントロジーを圧縮した後に同じ概念に残る個人におけるセマンティック関係を調べる。意味的に等価の個人を識別することを、セマンティック関係を調べることの一部とみなしてもよいが、セマンティック関係を調べることは、1人の個人が別の個人よりも制限的であるかそれともその個人よりも非制限的であるかのようなセマンティック関係を識別することも含む。ボックス806オントロジーにおける概念間のセマンティック関係を調べるでは、概念間のセマンティック関係を判定する。このプロセスは、ボックス808オントロジーにおける意味的に制限された関係を判定するに続き、オントロジーにおける異なる概念に属する個人についてのセマンティック関係をさらに調べる。これには、例えば、1つの概念における個人がオントロジーにおける別の概念の他の個人に対してより非制限的であるかそれとも制限的であるかを判定することを含んでもよい。ボックス810意味的に制限された関係のグラフを作成するでは、事前にボックス802、804、806、および/または808で判定されたセマンティック関係から意味的に制限されたグラフを生成する。ボックス810では、セマンティック関係を構成して意味的に制限された関係のグラフを形成する。当業者には、本明細書で開示するこのプロセスおよび方法ならびに他のプロセスおよび方法について、プロセスおよび方法において実行される機能を異なる順序で実施してもよいことが了解されよう。さらに、上述のステップおよび動作は、一例としてのみ記載されており、開示される実施形態の本質から逸脱せずに、ステップおよび動作のいくつかを任意に選択しても、より少ないステップおよび動作に組み合わせても、さらなるステップおよび動作に拡張してもよい。図9は、オントロジーにおけるクエリを実行するための方法900の例示的な一例を示す。方法900はボックス902クエリを受け取るから始まることが多く、クエリを受け取る。クエリは、特定のフォーマットを有してもよく、あるいは適切な記述言語に従って作成されてもよい。ボックス904クエリを1組の一貫性問題に変換するでは、クエリを1組の一貫性検査問題に変換する。例えば、圧縮されたオントロジーOと、Qxを満たすオントロジーOにおけるすべての個人を得るように動作するクエリ{x}→Qxとを仮定すると、クエリを{Oにおける各個人aiについてのO|=Qai}として1組の一貫性問題に変換してもよい。一実施形態では、すべての一貫性検査問題を算出する必要があるわけではなく、意味的に制限された関係のグラフを本明細書で説明するように使用することによって、上記の一貫性検査問題の数を減らしてもよい。ボックス906意味的に制限された関係のグラフを使用して1組の一貫性検査問題を実行するでは、事前に作成された意味的に制限された関係のグラフを使用して1組の一貫性検査問題を実行する。意味的に制限された関係のグラフは、前述のように、意味的に等価の個人が削除されており、かつ意味的に制限されたグラフには他のセマンティック関係も表現されているので、一貫性検査問題を実行するプロセスを最適化する。その結果、一貫性検査問題を実施するのに必要な時間が実質的に短縮される。ブロック908クエリに対する回答を決定するでは、クエリに対する回答を決定して返す。クエリに対する回答には、一貫性検査問題を実行する間に意味的に制限された関係のグラフで識別される個人を含めることが多い。言い換えれば、一貫性検査問題におけるある個人についての結果が正である場合、その個人が回答に含まれる。しかし、回答には、圧縮されたオントロジーにも意味的に制限された関係のグラフにも含まれない意味的に等価の個人を含めてもよい。図10は、意味的に制限された関係のグラフにおける一貫性検査問題を実行するための方法1000の例示的な一例を示す。方法1000は一般に、意味的に制限された関係のグラフ内のすべてのノードが処理されるまで反復的に繰り返すことのできるステップまたは動作を含む。ボックス1002グラフにおける開始ノードを選択し、一貫性検査を実行するでは、開始ノードに対して一貫性検査を実行する。一貫性検査では、事前に、オントロジーにおけるセマンティック関係を調べる間に適用された定義4~9を利用してもよい。言い換えれば、各個人および/または概念間のセマンティック関係は、意味的に制限された関係のグラフに反映され、一貫性検査を実行する際に使用されてもよい。例えば、開始ノードが一貫性検査に合格する場合、開始ノードのすべての直接的な後継ノードおよび間接的な後継ノードも一貫性検査に合格する。この場合、もはや直接的な後続ノードおよび間接的な後継ノードについて一貫性を検査する必要はない。開始ノードが一貫性検査に合格しない場合、ボックス1004で一貫性検査についての終了ノードが選択されるグラフにおける終了ノードを選択し一貫性検査を実行する。終了ノードに対する一貫性検査の実行には、意味的に制限された関係のグラフに反映されるセマンティック関係も有利に働くことがある。終了ノードがクエリを満たさない場合、すべての直接的な先祖ノード個人および間接的な先祖ノード個人がクエリに対する回答ではなく、これらのすべてのノードを検査する必要はない。ボックス1002および1004をすべてのノードが処理されるまで反復的に実行してもよい。しかし、選択するノードを開始ノードと終了ノードとに交互に切り替える必要はない。複数の終了ノードまたは複数の開始ノードを処理してもよい。図7に示す意味的に制限された関係のグラフ700に関して方法900についてさらに説明する。この例では、クエリを受け取って関係Ra,xを有するすべての個人を取り込む。この場合、aは概念Aの個人である。この方法ではまず、グラフ700における開始ノードである個人a0を選択する。一貫性検査を実行し、すなわちΣ|=Qa0を実行する。一貫性検査に合格しない場合、ノードa0に処理済みとマークする。次に、終了ノードf0を選択し、一貫性検査を実行し、すなわちΣ|=Qf0を実行する。終了ノードの一貫性検査は合格にならない。その結果、直接的な先祖ノードまたは間接的な先祖ノード例えば、個人b0、c0、d0、およびe0のすべてが処理済みとマークされる。これらのステップは、ノードb0、c0、d0、およびe0に一貫性検査が直接実行されなかったことを示す。したがって、意味的に制限された関係のグラフ700のノードが元のオントロジーのノードよりも少ないだけでなく、セマンティック関係が意味的に制限された関係のグラフ700に反映されるため、一貫性検査を実行するうえで、意味的に制限された関係のグラフ700における特定のノードまたは個人を考慮することができるので、一貫性検査を実行する要件は低減される。同様の方法を使用して、ノードまたは個人a1、d1、a2、d2がクエリの回答ではないと判定してもよい。次に、別の開始ノードb2が選択されて、一貫性検査が実行され、すなわちΣ|=Qb2が実行される。この場合、ノードb2が一貫性検査に合格し、ノードb2が回答セットに付加される。さらに、ノードb2のすべての後継ノードが一貫性検査に合格するとみなされ、回答セットに付加される。したがって、ノードb1およびc1が回答セットに付加される。意味的に等価のノードを意味的に制限された関係のグラフ内の単一のノードにマップする表を使用して、ノードb2、b1、およびc1に関する意味的に等価の個人のすべてが回答セットに付加される。終了ノードc3が選択されて、一貫性検査が実行され、すなわちΣ|=Qc3が実行される。この例では、一貫性検査に合格し、終了ノードc3が回答セットに付加される。すべての後継ノードb5およびb4が回答セットに付加される。意味的に制限された関係のグラフ700中のすべてのノードが処理された後、回答セットが返される。回答セットは、この例では、b1、b2、b4、b5、b6、c1、c3およびそのセマンティック等価物を含む。意味的に制限された関係のグラフ700を使用して、クエリの一貫性検査を実行するのに必要な時間を実質的に短縮することができる。図11は、意味的に制限された関係のグラフを使用してクエリが実行されるシステム1100の例示的な一例を示す。図11では、クライアント1102が、ネットワーク1104を介してサーバ1106に送られるクエリ1114を生成してもよい。クエリ1114を記述言語に従って作成してもよい。ただし、クエリ1114は自由形式であってもよい。サーバ1106は、グラフ作成構成要素1108とクエリ構成要素1110とを含む。サーバ1106はまた、オントロジー1120を記憶することのできるデータベース1112を含むかまたはデータベース1112にアクセスする。グラフ作成構成要素は、意味的に制限された関係のグラフ1118をオントロジー1120から生成するように構成されてもよい。意味的に制限された関係のグラフ1118は、サーバ1106にローカルに記憶されかつ/またはデータベース112もしくはその他のストレージに記憶されてもよい。意味的に制限された関係のグラフ1118をオフラインで生成してもよい。意味的に制限された関係のグラフ1118は、個人間の意味的に制限された関係および/またはオントロジー1120における概念間の意味的に制限された関係を含むかあるいはそれらの関係を識別してもよい。一実施形態では、代表的な個人を除き、オントロジー1120における意味的に等価の個人が、意味的に制限された関係のグラフ1118から削除される。一例として、意味的に制限された関係のグラフ1118は、オントロジー1120における意味的に等価の個人の各組について1人の個人を含む。クエリ構成要素1110は、クエリ1114を1組の一貫性検査問題に変換し、意味的に制限された関係のグラフ1118と相互作用し、意味的に制限された関係のグラフ1118を使用して1組の一貫性検査問題を実行する。クエリ構成要素1110は、クエリ1114に対する回答1116を、ネットワーク1104を介してクライアント1102に返してもよい。本開示は、様々な態様の例示を目的とする本願で説明する特定の実施形態に関して限定されない。当業者には明らかなように、本開示の趣旨および範囲から逸脱せずに多数の修正および変形を施してもよい。当業者には、上記の説明から、本明細書で列挙する方法および装置に加えて、本開示の範囲内の機能的に等価の方法および装置が明らかになろう。そのような修正および変形は、添付の特許請求の範囲内にあるように意図されている。本開示は、添付の特許請求の範囲の請求項と、そのような特許請求の範囲の対象となる等価物の全範囲によってのみ限定されるべきである。本開示が特定の方法、試薬、化合物組成、または生物学的システムに限定されず、もちろん、これらが変形されてもよいことを理解されたい。本明細書で使用されている用語が特定の実施形態のみについて説明することを目的としており、限定を意図したものではないことも理解されたい。例示的な一実施形態では、本明細書で説明する動作、プロセスなどのいずれも、コンピュータ可読媒体上に記憶されたコンピュータ可読命令として実現されてもよい。コンピュータ可読命令は、モバイルユニットのプロセッサ、ネットワーク要素、および/または任意の他のコンピューティングデバイスによって実行されてもよい。システムの側面でのハードウェアの実装形態とソフトウェアの実装形態との間には、ほとんど相違が残されていない。ハードウェアまたはソフトウェアの使用は、一般にいつもそうではないが、ある状況ではハードウェアとソフトウェアの間の選択が重要になり得るという点でコスト対効果のトレードオフを表す設計上の選択である。本明細書に記載された、プロセスおよび/またはシステムおよび/または他の技術をもたらすことができる様々な達成手段があり例えば、ハードウェア、ソフトウェア、および/またはファームウェア、好ましい達成手段は、プロセスおよび/またはシステムおよび/または他の技術が導入される状況によって異なる。例えば、実装者が速度と正確性が最も重要であると決定すると、実装者は主にハードウェアおよび/またはファームウェアの達成手段を選択することができる。フレキシビリティが最も重要なら、実装者は主にソフトウェアの実装形態を選択することができる。または、さらに別の代替案として、実装者は、ハードウェア、ソフトウェア、および/またはファームウェアのなんらかの組合せを選択することができる。前述の詳細な説明では、ブロック図、フローチャート、および/または例の使用によって、装置および/またはプロセスの様々な実施形態を説明してきた。そのようなブロック図、フローチャート、および/または例が1つまたは複数の機能および/または動作を含む限りにおいて、そのようなブロック図、フローチャート、または例の中のそれぞれの機能および/または動作は、広範囲のハードウェア、ソフトウェア、ファームウェア、または実質上それらのすべての組合せにより、個別におよび/または集合的に実装可能であることが、当業者には理解されるであろう。ある実施形態では、本明細書に記載された主題のいくつかの部分は、特定用途向け集積回路ASIC、フィールドプログラマブルゲートアレイFPGA、デジタルシグナルプロセッサDSP、または他の集積化方式によって実装することができる。しかし、本明細書で開示された実施形態のいくつかの態様が、全体においてまたは一部において、1つまたは複数のコンピュータ上で動作する1つまたは複数のコンピュータプログラムとして例えば、1つまたは複数のコンピュータシステム上で動作する1つまたは複数のプログラムとして、1つまたは複数のプロセッサ上で動作する1つまたは複数のプログラムとして例えば、1つまたは複数のマイクロプロセッサ上で動作する1つまたは複数のプログラムとして、ファームウェアとして、あるいは実質上それらの任意の組合せとして、等価に集積回路に実装することができることを、当業者は認識するであろうし、電気回路の設計ならびに/またはソフトウェアおよび/もしくはファームウェアのコーディングが、本開示に照らして十分当業者の技能の範囲内であることを、当業者は認識するであろう。さらに、本明細書に記載された主題のメカニズムを様々な形式のプログラム製品として配布することができることを、当業者は理解するであろうし、本明細書に記載された主題の例示的な実施形態が、実際に配布を実行するために使用される信号伝達媒体の特定のタイプにかかわらず適用されることを、当業者は理解するであろう。信号伝達媒体の例には、フロッピー登録商標ディスク、ハードディスクドライブ、CD、DVD、デジタルテープ、コンピュータメモリ、などの記録可能なタイプの媒体、ならびに、デジタル通信媒体および/またはアナログ通信媒体例えば、光ファイバケーブル、導波管、有線通信リンク、無線通信リンクなどの通信タイプの媒体が含まれるが、それらには限定されない。本明細書で説明したやり方で装置および/またはプロセスを記載し、その後そのように記載された装置および/またはプロセスを、データ処理システムに統合するためにエンジニアリング方式を使用することは、当技術分野で一般的であることを当業者は認識するであろう。すなわち、本明細書に記載された装置および/またはプロセスの少なくとも一部を、妥当な数の実験によってデータ処理システムに統合することができる。通常のデータ処理システムは、一般に、システムユニットハウジング、ビデオディスプレイ装置、揮発性メモリおよび不揮発性メモリなどのメモリ、マイクロプロセッサおよびデジタル信号プロセッサなどのプロセッサ、オペレーティングシステムなどの計算実体、ドライバ、グラフィカルユーザインターフェース、およびアプリケーションプログラムのうちの1つもしくは複数、タッチパッドもしくはスクリーンなどの1つもしくは複数の相互作用装置、ならびに/またはフィードバックループおよびコントロールモータを含むコントロールシステム例えば、位置検知用および/もしくは速度検知用フィードバック、コンポーネントの移動用および/もしくは数量の調整用コントロールモータを含むことを、当業者は理解するであろう。通常のデータ処理システムは、データコンピューティング/通信システムおよび/またはネットワークコンピューティング/通信システムの中に通常見られるコンポーネントなどの、市販の適切なコンポーネントを利用して実装することができる。図12は、オントロジーにおけるクエリの実行および/またはオントロジーに関する意味的に制限された関係のグラフの生成向けに構成されたコンピューティングデバイス1200の例示的な一実施形態のブロック図である。非常に基本的な構成1202では、コンピューティングデバイス1200は通常、1つまたは複数のプロセッサ1204とシステムメモリ1206とを含む。プロセッサ1204とシステムメモリ1206との通信にメモリバス1208を使用してもよい。プロセッサ1204は、マイクロプロセッサμP、マイクロコントローラμC、デジタルシグナルプロセッサDSP、またはそれらの任意の組合せを含むがそれらに限定されない任意の種類のプロセッサであってもよい。プロセッサ1204は、レベル1キャッシュ1210およびレベル2キャッシュ1212のようなもう1つのレベルのキャッシングと、プロセッサコア1214と、レジスタ1216とを含んでもよい。例示的なプロセッサコア1214は、算術論理演算ユニットALU、浮動小数点演算ユニットFPU、デジタルシグナル処理コアDSPコア、またはそれらの任意の組合せを含んでもよい。例示的なメモリコントローラ1218は、プロセッサ1204とともに使用されてもよく、あるいはいくつかの実装形態では、メモリコントローラ1218は、プロセッサ1204の一体部分であってもよい。システムメモリ1206は、所望の構成に応じて、揮発性メモリRAMなど、非揮発性メモリROM、フラッシュメモリなど、またはそれらの任意の組合せを含むがそれらに限定されない任意の種類のメモリであってもよい。システムメモリ1206は、オペレーティングシステム1220と、1つまたは複数のアプリケーション1222と、プログラムデータ1224とを含んでもよい。アプリケーション1222は、グラフ作成構成要素および/または、意味的に制限された関係のグラフを使用してオントロジーにおけるクエリを実行するように構成されたクエリ構成要素1226を含んでもよい。プログラムデータ1224は、クエリの実行および/または一貫性検査の実行のための意味的に制限された関係のグラフのデータ1228を含んでもよい。いくつかの実施形態では、アプリケーション1222は、オペレーティングシステム1220上でプログラムデータ1224を用いて動作し、それによって、オントロジーに関する意味的に制限された関係のグラフが生成されるように構成されてもよい。この上述の基本構成1202は、図12において内側点線内の構成要素によって示されている。コンピューティングデバイス1200は、追加の特徴または機能と、基本構成1202と任意の必要なデバイスおよびインターフェースとの通信を容易にする追加のインターフェースとを有してもよい。例えば、バス/インターフェースコントローラ1230は、ストレージインターフェースバス1234を介して、基本構成1202と1つまたは複数のデータ記憶装置1232との通信を容易にするために用いられてもよい。データ記憶装置1232は、取外し式記憶装置1236、非取外し式記憶装置1238、またはそれらの組合せであってもよい。取外し式記憶装置および非取外し式記憶装置の例には、数個挙げるとフレキシブルディスクドライブおよびハードディスクドライブHDDなどの磁気ディスクデバイス、コンパクトディスクCDドライブまたはデジタル多用途ディスクDVDドライブなどの光学ディスクドライブ、ソリッドステートドライブSSD,テープドライブなどが含まれる。例示的なコンピュータ記憶媒体には、コンピュータ可読命令、データ構造、プログラムモジュール、または他のデータなどの情報を記憶するための任意の方法および技法に実装される揮発性媒体、非揮発性媒体、取外し式媒体、および非取外し式媒体を含めてもよい。システムメモリ1206、取外し式記憶装置1236、および非取外し式記憶装置1238は、コンピュータ記憶媒体の例である。コンピュータ記憶媒体には、RAM、ROM、EEPROM、フラッシュメモリまたはその他のメモリ技法、CD-ROM、デジタル多用途ディスクDVD、またはその他の光学ストレージ、磁気カセット、磁気テープ、磁気ディスクストレージ、またはその他の磁気記憶装置、あるいは所望の情報を記憶するのに使用することができ、コンピューティングデバイス1200によってアクセスすることのできる任意のその他の媒体が含まれるが、それらに限定されない。任意のそのようなコンピュータ記憶媒体がコンピューティングデバイス1200の一部であってもよい。コンピューティングデバイス1200は、バス/インターフェースコントローラ1230を介した様々なインターフェースデバイス例えば、出力装置1242、周辺インターフェース1244、および通信装置1246から基本構成1202への通信を容易にするためのインターフェースバス1240を含んでもよい。例示的な出力装置1242は、1つまたは複数のA/Vポート1252を介してディスプレイまたはスピーカのような様々な外部装置と通信するように構成することのできるグラフィック処理ユニット1248およびオーディオ処理ユニット1250を含む。例示的な周辺インターフェース1244は、1つまたは複数のI/Oポート1258を介して入力装置例えば、キーボード、マウス、ペン、音声入力装置、タッチ入力装置などまたはその他の周辺装置例えば、プリンタ、スキャナなどと通信するように構成することのできるシリアルインターフェースコントローラ1254またはパラレルインターフェースコントローラ1256を含む。例示的な通信装置1246は、ネットワーク通信リンク上での1つまたは複数の通信ポート1264を介した1つまたは複数の他のコンピューティングデバイス1262との通信を容易にするように構成することのできるネットワークコントローラ1260を含む。ネットワーク通信リンクは、通信媒体の一例であってもよい。通信媒体は通常、搬送波などの変調データ信号またはその他の搬送メカニズムにおけるコンピュータ可読命令、データ構造、プログラムモジュール、あるいはその他のデータによって具現化されてもよく、任意の情報配信媒体を含んでもよい。変調データ信号は、その特徴のうちの1つまたは複数が信号中の情報を符号化するように設定または変更される信号であってもよい。限定ではなく一例として、通信媒体には、有線ネットワークまたは直接有線接続などの有線媒体ならびに音響、無線周波数RF、マイクロ波、赤外線IR、およびその他のワイヤレス媒体などのワイヤレス媒体を含めてもよい。本明細書で使用されるコンピュータ可読媒体という用語には、記憶媒体と通信媒体の両方を含めてもよい。コンピューティングデバイス1200は、上記の機能のいずれかを含む携帯電話、パーソナルデータアシスタントPDA、パーソナルメディアプレイヤーデバイス、無線ウェブ監視装置、パーソナルヘッドセットデバイス、特定用途向け装置、またはハイブリッドデバイスなどの小型の携帯またはモバイル電子装置の一部として実装されてもよい。コンピューティングデバイス1200は、ラップトップコンピュータ構成と非ラップトップコンピュータ構成の両方を含むパーソナルコンピュータとして実装されてもよい。本明細書における実質的に任意の複数形の用語および/または単数形の用語の使用に関して、当業者は、文脈および/または用途の必要に応じて複数形から単数形への変換および/または単数形から複数形への変換が可能である。本明細書では、説明を明確にするために、様々な単数形/複数形変換が明示的に記載されていることもある。本明細書に記載された主題は、様々な他の構成要素内に含まれるかまたは様々な他の構成要素に接続される様々な構成要素を示すことがある。そのような図示のアーキテクチャが例示的なものに過ぎず、かつ同じ機能を実現する多数の他のアーキテクチャを実装してもよいことを理解されたい。概念的な意味では、同じ機能を実現する構成要素の任意の構成は、所望の機能が実現されるように効果的に関連付けられる。したがって、本明細書において特定の機能を実現するように組み合わされた任意の2つの構成要素は、アーキテクチャまたは中間的構成要素にかかわらず、所望の機能が実現されるように互いに関連付けられているとみなされてもよい。同様に、そのように関連付けられた任意の2つの構成要素を所望の機能を実現するように互いに動作可能に接続されているかまたは動作可能に結合されているとみなしてもよく、そのように関連付けることのできる任意の2つの構成要素を所望の機能を実現するように互いに動作可能に結合することができるとみなしてもよい。動作可能に結合可能な特定の例には、物理的に嵌め合わせ可能であり、かつ/あるいは物理的に相互作用する構成要素ならびに/あるいはワイヤレスで相互作用可能であり、かつ/あるいはワイヤレスで相互作用する構成要素ならびに/あるいは論理的に相互作用し、かつ/あるいは論理的に相互作用可能な構成要素が含まれるが、それらに限定されない。本明細書における実質的に任意の複数形の用語および/または単数形の用語の使用に関して、当業者は、文脈および/または用途の必要に応じて複数形から単数形への変換および/または単数形から複数形への変換が可能である。本明細書では、説明を明確にするために、様々な単数形/複数形変換が明示的に記載されていることもある。当業者には、一般に、本明細書、特に添付の特許請求の範囲例えば、特許請求の範囲の本文で使用される用語が、一般にオープンな用語例えば、用語含むincludingはを含むがそれらに限定されないと解釈すべきであり、用語有するhavingは少なくとも~を有すると解釈すべきであり、用語含むincludesはを含むがそれらに限定されないと解釈すべきである等ことが理解されよう。当業者には、特定の数の導入される請求項記載事項が意図される場合、そのような意図が請求項に明示的に記載され、そのような記載がない場合、そのような意図が存在しないことがさらに理解されよう。例えば、理解の助けとして、以下の添付の特許請求の範囲は、請求項記載事項を導入するために導入句少なくとも1つおよび1つまたは複数を使用することを含んでもよい。しかし、そのような句の使用は、同じ請求項が1つまたは複数または少なくとも1つおよびaまたはanなどの不定冠詞を含むときでも例えば、aおよび/またはanは少なくとも1つまたは1つまたは複数を意味すると解釈すべきである、不定冠詞aまたはanによる請求項記載事項の導入が、そのような導入された請求項記載事項を含む任意の特定の請求項をそのような1つの記載事項のみを含む実施形態に限定することを意味するものと解釈すべきではない。同じことが請求項記載事項を導入するために定冠詞を使用する場合にも当てはまる。さらに、特定の数の導入される請求項記載事項が明示的に記載される場合でも、当業者には、そのような記載事項が少なくとも1つの記載された数を意味するものと解釈すべきであることが認識されよう例えば、他の修飾語なしで2つの記載事項がそのまま記載された場合、少なくとも2つの記載事項または2つ以上の記載事項を意味する。さらに、A、B、およびCなどのうちの少なくとも1つに類似した常套句が使用される場合、一般にそのような構成は当業者がその常套句を理解する意味で意図される例えば、A、B、およびCのうちの少なくとも1つを有するシステムは、Aのみ、Bのみ、Cのみ、AとBの両方、AとCの両方、BとCの両方、および/またはAとBとCのすべてを有するシステムを含むがそれらに限定されない等。A、B、またはCなどのうちの少なくとも1つに類似した常套句が使用される場合、一般にそのような構成は当業者がその常套句を理解する意味で意図される例えば、A、B、またはCのうちの少なくとも1つを有するシステムは、Aのみ、Bのみ、Cのみ、AとBの両方、AとCの両方、BとCの両方、および/またはAとBとCのすべてを有するシステムを含むがそれらに限定されない等。当業者には、2つ以上の代替用語を表す事実上あらゆる離接語および/または離接句は、明細書中であるか、特許請求の範囲中であるか、図面中であるかにかかわらず、1つの用語、いずれかの用語、または両方の用語を含む可能性が考えられると理解すべきであることがさらに理解されよう。例えば、句AまたはBは、AまたはBあるいはAおよびBの可能性を含むものと理解される。さらに、開示の特徴または態様がマーカッシュグループの用語で記載されている場合、当業者には、それによって、開示がマーカッシュグループの任意の個々のメンバーまたはマーカッシュグループのメンバーのサブグループでも記述されることが認識されよう。上記のことから、本開示の様々な実施形態が例示を目的として本明細書に記載されており、本開示の範囲および趣旨から逸脱せずに様々な修正を施すことができることが了解されよう。したがって、本明細書で開示される様々な実施形態は限定を意図したものではなく、真の範囲および趣旨は以下の特許請求の範囲によって示される。"