置換テーブルは (Term +→ X | function) というプロファイルの関係。タームとアイテムのあいだには出現関係 occ ∈(Term +→ Item×Nat | function) がある。出現は、Occ ∈(Range(Item) +→ Term) としても表現可能で。これらから、置換テーブルによる置換が定義…

RDFa Lite的なボキャブラリー： 名前 同義語 値の型 備考 vocab= context, schema URI 組み込み type= typeof 分類子トークン 構文も解釈もvocab依存 id= label 修飾するとURIになる語 構文は状況依存、自分のID about= on 記述対象を参照するURI 自分のIDで…

関係空間は、多関係の多圏の多ホムセットの部分集合を言う。次の形：$`\quad (\Gamma \not\to \Sigma)`$関係は関係空間の要素。$`\quad \text{toc} \in (Label \not\to Id(Item))\\ \quad \text{glossary} \in (Term \not\to ShortDef)\\ \quad \text{termIn…

多プロファイルはシーケント $`\Gamma \to \Sigma`$ の形で書く。 $`\Gamma, \Sigma`$ はバンチである。 バンチは拡張されたツリー構造だから、複雑なデータ型を書ける。 指標のデータ部＝プロパティ部はバンチで記述可能。 バンチは指標＝スキーマだと思っ…

enhanced ER modeling は、FRBR や IFLA Library Reference Model〈IFLA LRM〉で使われているモデリング手法。これを余代数と関係の多圏を使って定式化すれば、ハイパーメディアの定式化になる。ブリットはハイパーメディアの一種。 トークンは、なんらかの…

用語集〈glossaly〉の半自動生成 用語索引の自動生成 参考文献リストの半自動生成 目次＝ナビゲーションの自動生成（パッドからの情報で） 記号索引の自動生成 チャレンジング 図や表のリストの自動作成 これは目次と同じか 脚注一覧とかも。 タグ検索、メタ…