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

Question

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

例如，可以在维基数据知识图中找到“中国村”和“荷兰村”类。它们是obvius真正的类，因为它们是可实现的概念。但是，看起来它们可以放在模板“X村”中，它们可以是“村庄”的子类。

是否有正确的术语来引用所有这些参数化类？

在函数式编程语言中，存在一种更高级的kinded类型的概念，它们是可以具有参数[1]的类型。

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

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

Answer 1

OWL中没有“参数化类型”的具体概念，但您正在寻找的内容通常使用属性限制建模：您通过指定对其个体的限制来定义子类财产价值。例如，“中国的村庄”类就是这样的（使用OWL曼彻斯特语法）：

Class: VillageInChina
   EquivalentTo: Village and hasCountry value China

其内容为：“类VillageInChina等同于Village 和所有具有hasCountry属性值的所有内容的类China”。