命名法：RDF图中的参数化类

我对术语有疑问。我发现有些类可以参数化，因为它们表示应用于某个参数时具有意义的类

例如，“中国村”和“荷兰村”这两个类都可以在Wikidata知识图中找到。它们是明显的真实类，因为它们是可实例化的概念。然而，看起来它们可以放在模板“X的村庄”中，并且它们可以是“村庄”的子类

是否有一个正确的术语来指代所有这些类型的参数化类

在函数式编程语言中，有一种更高级类型的概念，即可以有参数的类型[1]

例如，“List[3;]”是一种依赖于另一种类型的类型，它是普通类型，有“List[Int]（Int列表）或List[String]（字符串列表）。但我不知道这个概念是否已经在描述逻辑或知识图领域得到研究

---

[1]

在OWL中没有“参数化类型”的特定概念，但是您所寻找的通常是使用属性限制进行建模的：您通过指定对其个人属性值的限制来定义子类。例如，“中国的村庄”类是这样的（使用OWL-Manchester语法）：

其内容如下：“村庄中国的类别相当于所有属于村庄的物品的类别，这些物品具有价值

中国的
地产

Class: VillageInChina
   EquivalentTo: Village and hasCountry value China