3

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

例如，“中国村”和“荷兰村”这两个类都可以在 Wikidata 知识图谱中找到。在它们是可实例化的概念的意义上，它们是明显的真实类。但是，看起来它们可以适合模板“X 村”，并且它们可以是“村”的子类。

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

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

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

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

4

1 回答 1

1

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

Class: VillageInChina
   EquivalentTo: Village and hasCountry value China

其内容为：“类VillageInChina等价于所有事物的类，它们是 aVillage 并且具有hasCountry具有值的属性China”。

于 2016-10-26T23:52:25.440 回答