問題タブ [description-logic]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
45 参照

rdf - 命名法: RDF グラフのパラメータ化されたクラス

用語に疑問があります。一部のクラスは、一部のパラメーターに適用されたときに意味を持つクラスを表すという意味でパラメーター化できることがわかりました。

たとえば、「中国の村」と「オランダの村」というクラスは、どちらもウィキデータのナレッジ グラフで見つけることができます。それらは、インスタンス化可能な概念であるという意味で、明らかな実際のクラスです。ただし、テンプレート「Village of X」に収まるように見え、「village」のサブクラスになる可能性があります。

これらすべての種類のパラメータ化されたクラスを参照する正しい用語はありますか?

関数型プログラミング言語には、パラメーターを持つことができる型である、より高い種類の型の概念があります [1]。

たとえば、「List[_]」は別の型に依存するプレーンな型で、「List[Int]」(int のリスト)または List[String](文字列のリスト)があります。しかし、その概念が記述論理やナレッジグラフの分野で研究されているかどうかはわかりません。

[1] https://en.wikipedia.org/wiki/Kind_(type_theory)