別名関係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、検索方法:
- タグ検索、すべてのブール演算あり
- マクロタグ(名前付き検索式)を登録しておいて再利用
- メタタグとタグを使った検索。タグとメタタグを区別する構文必要。
- タームを文字列パターンで検索
- タームのタグ検索
- タームの定義検索と、定義グラフの繰り返し検索/ナビゲーション
- 型によるラベル/アイテム検索
- タームとタグと型によるアイテム検索
検索式:
- theorem[*=term] [tags*~tag]
- paragraph[tags*~ベクトル空間]
- type(std:section) term(ベクトル空間) tag(線形代数) defined(基底)
記述は + [+{線形|ベクトル}空間/の/基底]と呼ぶ。
とか。