構造骨格と構造的検索と検索システム

次の関係が揃っていれば、構造的検索システム（全文検索ではない）は構成可能。

1. ツリー構造： is-child-of : Label +-> Label
2. ツリー構造： is-successor-of : Label +-> Label
3. 出現構造： occurres : Term + CiteKey +→ Label + CiteKey
4. 定義構造： is-defined-in : Term +-> Lable + CiteKey
5. タギング構造： tag : Tag +-> (Label + Term + CiteKey + Tag + Type)
6. タイピング構造： type : Type +-> (Label + Term + CiteKey + Tag + Type)✕Attr

検索言語は、関係圏上の論理の論理式となる。

他に推論がある場合は：

1. 依存構造： is-depend-on : Label +-> Label + CiteKey

構造検索システムに必要な情報を構造情報と呼ぶ。構造情報の一部を抜き出したのが構造骨格。