Semantic web 语义网中的类型推理是什么？不是在编程方面

我想知道语义网中类型推断的定义，但当我在谷歌中搜索时，我只在编程区域找到了一些定义。

首先，为了澄清答案的上下文，语义网背后的想法是让网页既能被人阅读，也能被机器阅读。大多数网页擅长前者，但不擅长后者

---

我还没有在语义网的上下文中看到确切的术语“类型推断”，但我可以推断（没有双关语的意思）它指的是机器学习。在大多数情况下，网络爬虫必须对特定网页上的数据类型及其含义进行有根据的猜测，因此需要进行机器学习。

我猜您指的是在形式本体中使用的推理技术。

一个推断知识库中实例类型（也称为“类”或“类别”）的简单示例：知识库的类型有“person”、“writer”、“素食者”和“Bob White”和“Dan Brown”等实例

---

您可以使用它们的属性（Dan Brown编写Inferno）将它们动态地分配给一个类型（因此，Dan Brown必须是一个编写器），而不是直接将类型分配给实例。另请参见“描述逻辑”。

您是如何得出概念首先存在的结论的？看看它所做的一切可能会对你有所帮助。这个问题似乎离题了，因为它是关于语义网的，而不是编程。