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

Question

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

例如，类 "village of China" 和 "Village of Netherlands" 都可以在维基数据知识图谱中找到。它们是显而易见的真实 类，因为它们是可实例化的概念。但是，看起来它们可以适合模板 "Village of X"，并且它们可能是 "village" 的子 类。

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

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

例如"List[_]"是一种依赖于另一种类型成为普通类型的类型，有"List[Int]"（整数列表）或List[String]（字符串列表）。但是不知道在描述逻辑或者知识图谱领域有没有研究过这个概念

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

Answer 1

OWL 中没有 "parametrized types" 的特定概念，但您要查找的内容通常会使用 属性 限制[=21] 进行建模=]：您通过指定对其个体的 属性 值的限制来定义子 class。例如，class "villages of China" 会是这样的（使用 OWL 曼彻斯特语法）：

Class: VillageInChina
   EquivalentTo: Village and hasCountry value China

读作："The class VillageInChina is equivalent to the class of all things that are a Village and which have a hasCountry property with value China"。