トークン空間に入る構造〈関係〉と検索

別名関係A 略記関係S 伴意関係E 親子関係P^t 含有関係C^t
ラベル
ターム
タグ
タイプ名 ?継承
ボキャブラリー名
プロパティ名
  • A : is_alias_of
  • S : is_shorthand_of
  • E : entails
  • P : is_parent_of
  • P^t : is_child_of
  • C : contains
  • C^t : : is_contained_in

誘導された関係:

  • ラベルの祖先関係: (Δ∪P^t)^+
  • ターム/タグが同義である: (Δ∪A∪A^t∪S∪S^t)^+
  • タグが同義である: (Δ∪A∪A^t)^+
  • タグの一般伴意関係: (Δ∪E)^+

ヘテロな関係:

  • タームの出現関係 : Term +-> Item
  • タームの定義関係 : Term +-> Item
  • タグ付け関係 : Tag +-> Item, Tag +-> Term, Tag +-> Tag
  • タイプ付け関係 : Type +-> Item
  • 属性付け関係 : Attr✕Value +-> Item

モットー:topic-searchable document、検索方法:

  1. タグ検索、すべてのブール演算あり
  2. マクロタグ(名前付き検索式)を登録しておいて再利用
  3. メタタグとタグを使った検索。タグとメタタグを区別する構文必要。
  4. タームを文字列パターンで検索
  5. タームのタグ検索
  6. タームの定義検索と、定義グラフの繰り返し検索/ナビゲーション
  7. 型によるラベル/アイテム検索
  8. タームとタグと型によるアイテム検索

検索式:

  1. theorem[*=term] [tags*~tag]
  2. paragraph[tags*~ベクトル空間]
  3. type(std:section) term(ベクトル空間) tag(線形代数) defined(基底)

記述は + [+{線形|ベクトル}空間/の/基底]と呼ぶ。 とか。