計算機與社會/語義網/本體論
根據“一切都是透過語言媒介”的基本原則，我們可以推斷出更精確的原則：“一切可計算的東西都是透過程式語言媒介”。讓我們將這兩個原則作為公理
- 公理 1：一切都是透過語言媒介。
- 公理 2：一切可計算的東西都是透過程式語言媒介。
我們可以將它們視為不言自明的真理。但如果你擔心這種規範，那麼你應該深入研究並尋求證據和證明。換句話說，除非你非常確定它們值得作為進一步工作的基礎，否則不要相信它們。我們如何找到這樣的證據呢？
本體論 被認為是關於“存在的東西”。不要驚訝於發現許多人對它的確切含義有截然不同的看法。例如，人們經常讀到關於獨角獸（一種獨角動物）。有些人說它不存在。這僅僅是想象力的產物。另一些人說它存在，正是因為我們有語言來談論它。在這本書中，我們將採取後者的觀點，即如果我們能夠以精確的方式談論它，那麼在所有實際目的上，獨角獸與我們同在。人們可能會想象一個未來，我們或許能夠使獨角獸成為現實的物理存在。但這只是未來。
有一點我們或多或少可以確定，那就是在西方哲學傳統中，本體論之父是亞里士多德。
OWL 有三種變體
- OWL-Lite
- OWL-DL，其中 DL 代表描述邏輯
- OWL-Full
我們推薦在本課程中使用 OWL-DL。
最重要的是儘快開始用 OWL-DL 描述我們的世界。你可能會說，這個世界是什麼？好吧，它是計算機與社會的世界。
我們將如何描述獨角獸？它不是（像）一匹長著角的馬嗎？我們介紹兩個概念：馬和角。利用它們，我們可以將獨角獸描述為
- 獨角獸 isa 馬
- 獨角獸 hasThing 角
- 對於語義網本體 (OWL) 的實際工作，我們推薦斯坦福大學的Protégé 編輯器。