计算机与社会/语义网/本体论
根据“一切都是通过语言媒介”的基本原则，我们可以推断出更精确的原则：“一切可计算的东西都是通过编程语言媒介”。让我们将这两个原则作为公理
- 公理 1：一切都是通过语言媒介。
- 公理 2：一切可计算的东西都是通过编程语言媒介。
我们可以将它们视为不言自明的真理。但如果你担心这种规范，那么你应该深入研究并寻求证据和证明。换句话说，除非你非常确定它们值得作为进一步工作的基础，否则不要相信它们。我们如何找到这样的证据呢？
本体论 被认为是关于“存在的东西”。不要惊讶于发现许多人对它的确切含义有截然不同的看法。例如，人们经常读到关于独角兽（一种独角动物）。有些人说它不存在。这仅仅是想象力的产物。另一些人说它存在，正是因为我们有语言来谈论它。在这本书中，我们将采取后者的观点，即如果我们能够以精确的方式谈论它，那么在所有实际目的上，独角兽与我们同在。人们可能会想象一个未来，我们或许能够使独角兽成为现实的物理存在。但这只是未来。
有一点我们或多或少可以确定，那就是在西方哲学传统中，本体论之父是亚里士多德。
OWL 有三种变体
- OWL-Lite
- OWL-DL，其中 DL 代表描述逻辑
- OWL-Full
我们推荐在本课程中使用 OWL-DL。
最重要的是尽快开始用 OWL-DL 描述我们的世界。你可能会说，这个世界是什么？好吧，它是计算机与社会的世界。
我们将如何描述独角兽？它不是（像）一匹长着角的马吗？我们介绍两个概念：马和角。利用它们，我们可以将独角兽描述为
- 独角兽 isa 马
- 独角兽 hasThing 角
- 对于语义网本体 (OWL) 的实际工作，我们推荐斯坦福大学的Protégé 编辑器。