実体〈エンティティ | リソース〉の種類が： デジタル・エンティティ〈リソース〉 現実エンティティ 概念エンティティ 名前空間は、リソース・ベースと概念ベースがある。概念エンティティのアイデンティフィケーションと名付けにリソース・ベースの名前空間…

MEDL記述内に、明示的な名前空間指定を入れたほうがいいだろう。 namespace "fooBar" fragment signature Semiring within Set { sort S operation (+):S×S → S operation 0:1 → S }これで指標名 Semiring は fooBar名前空間に入る。

種類： ラップ有り宣言 ： 指標のスコープ内に現れる宣言 ラップ有り割り当て ： 手続きのスコープ内に現れる宣言 ラップ無し宣言 ： 指標のスコープなしに現れる宣言 declare k-mor ラップ無し割り当て ： 手続きのスコープなしに現れる宣言 define k-mor …

なんでもいい。 エム・イー・ディー・エル メデル（檜山使用） メドル メッド・エル

これは役に立つ。https://www.jstage.jst.go.jp/article/jkg/60/9/60_KJ00006580299/_pdf/-char/ja（ 典拠コントロールの現状と将来 / 渡邊 隆弘）より：http://harp.lib.hiroshima-u.ac.jp/haul/wp-content/uploads/2015/04/091204watanabe.pdf も参考にな…

AA = Authoring Assistant software 原稿リソースからターム〈インデキシングキー | 索引語 | トピック{キー}?〉を抜き出す。 原稿リソースを、記述構造に変換する。タームの出現位置は、記述単位のIDとして記録する。 MEDLボックスを解析して、MEDL ID と概…

物理的なパッケージ記述には、package.json にOWLオントロジーヘッダを書けばよさそう。 その他の点でOWLが役に立つ気がしない。 トピックと知識（トピックの集合）に関しては、推論ができるとよい。推論の例は、「トピックAを知っているなら、トピックBも知…

データモデルとボキャブラリー - (新) 檜山正幸のキマイラ飼育記 メモ編 のなかのネーミングだけ抜粋：MathEntの一意識別のためのネーミングルール： 公理系名 → パッケージ名/0/指標ローカル名 公理系演算名 → パッケージ名/0/指標ローカル名/1/ラベル 公理…

Tenjin-MEDL（言語仕様）, Tenjin-AA（API仕様）がある。 MEDL = Mathematical Entity Description Language AA = Authoring Assistant software MEDLにはデータモデルとボキャブラリーが必要。 データモデルとボキャブラリーが記述するものは： MEDLの世界…