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

Question

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

たとえば、「中国の村」と「オランダの村」というクラスは、Wikidataの知識グラフで見つけることができます。彼らはインスタンス可能な概念であるという意味では、obvius実クラスです。しかし、テンプレート "Village of X"に収まるように見え、 "village"のサブクラスになる可能性があります。

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

関数型プログラミング言語では、より上位の類別型の概念があります。これは、パラメータ[1]を持つことができる型です。例えば、 "List [_]"は、他の型がプレーン型である場合、 "List [Int]"（intのリスト）またはList [String]（文字列のリスト） 。しかし、その概念が記述論理や知識グラフの分野で研究されているかどうかはわかりません。

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

Answer 1

ありOWLの「パラメータ化タイプ」の具体的な概念はありませんが、あなたは一般的にプロパティ制限を使用してモデル化されるだろう探しているもの：あなたが指定することで、サブクラスを定義しますその個人のプロパティ値に対する制限。

Class: VillageInChina 
    EquivalentTo: Village and hasCountry value China 

として読み取ります：「クラスVillageInChinaはVillageあるすべてのもののクラスに相当し例えば、クラス「中国の村は」（OWLマンチェスター構文を使用して）このようなものになるだろうおよびであり、値がChina "のhasCountryのプロパティを持ちます。