【正文】 需要 ontology ? ? ontology 和 哲學(xué) ? onto面對(duì) web新情景 ? 構(gòu)建 onto（特別是領(lǐng)域性的 onto） 究竟是 ? 著重于反映現(xiàn)實(shí)， ? 還是著重于制定規(guī)范？ ? 邏輯及 DL描述邏輯在 onto搭建中的作用？ ? 半自動(dòng)的構(gòu)建 onto？ 目錄 Ontology 和邏輯 ? 準(zhǔn)確性、嚴(yán)密性 ： 只要是比較有嚴(yán)格基礎(chǔ)的本體表示必須是基于邏輯的，因?yàn)楸倔w需要 ‘邏輯 ’ 推理來檢驗(yàn)?zāi)硞€(gè) onto是否 ‘ 無矛盾 ’ ，利用邏輯理論來 分析推理 ，用另一些更基礎(chǔ)的推理來實(shí)現(xiàn) 更為復(fù)雜推理 ? 缺陷： 目前的邏輯理論，是基于一階謂詞邏輯FOL的，因此 FOL的表示知識(shí)的缺陷多數(shù)也是onto描述語言的缺陷 ，例如， 涉及時(shí)空關(guān)系的連續(xù)變化的 事件流 ，基于統(tǒng)計(jì)數(shù)據(jù)的不確定知識(shí)（容許矛盾沖突），多個(gè) agent之間互相 不了解、有沖突認(rèn)識(shí)和偏見 ， 但 要協(xié)調(diào)一起工作。如果在工作流制定前已經(jīng)確定協(xié)議，那么信息交換就是收發(fā)消息。 ? 研究 logical theory of meaning，語義局限于 外延與內(nèi)涵，可滿足性（無矛盾） ? 一階謂詞邏輯的框框讓思想 thought、 感知perception、語言 language、情感 emotion等，一旦進(jìn)入邏輯公理系統(tǒng)，概念的含義就被圈死了，變成 內(nèi)涵外延的解釋 問題，成為公理系統(tǒng)的可滿足性 ontology 和 哲學(xué) 邏輯 WWW 新情景 和不認(rèn)識(shí)的‘人’交往需要‘語義’ ? 人與自我 大腦的反思：人的大腦、意識(shí)與人自己的身體、感知、 … ? 人與自然， 物理學(xué)和派生出的各類自然科學(xué)，所提出的概念和描述語言， … ? 人與人， 語言和交往，和不認(rèn)識(shí)的 ‘ 人 ’ 交往需要‘ 語義 ’ ? 人 與 WWW的 web， 人要間接地通過這個(gè) web和大量不認(rèn)識(shí)的人交往，通過其代理 agent交往 WWW新情景， 概念的開放語義 ? 概念的含義理解強(qiáng)調(diào) context，概念所涉及的事件，事件所發(fā)生的情景， 因此 理解概念（例如養(yǎng)育）的語義，就要理解概念所關(guān)聯(lián)的 ‘ 事件流 ’ （張女士幼年被她的雙親拋棄，由她的嬸子帶大養(yǎng)育成人），一個(gè)概念所關(guān)聯(lián)著的一組事件（流）；而每一事件（事件流）關(guān)聯(lián)著情景，一組情景，情景集合。 What is the basis of physics? 元物理學(xué) ， 物理學(xué)所基于的自然哲學(xué) 基礎(chǔ) ， 是 元理論 ，描述客觀世界、描述物理知識(shí) 的 描述理論 ? Descartes笛卡爾 是唯物論者，研究 epistemology，研究 how? 頭腦如何 從彼岸獲得 反映客觀世界的 第一手知識(shí) ？ 思想意識(shí)與彼岸自在之物的實(shí)踐互動(dòng)，怎樣產(chǎn)生出知識(shí)？ ? Russell羅素 ， 強(qiáng)調(diào) logic ? 邏輯 是 the study of valid reasoning — how to reason。 web辦公環(huán)境下， web上的工作流要和辦公人員交互，服務(wù)之間的交互。 網(wǎng)頁中所含的寶貴信息，通過 tag（ tag本身是詞語）標(biāo)識(shí)，而詞語的語義則用 ontology來理解是否真的合用， ? 如 ‘ 養(yǎng)育 ’ 一詞在該網(wǎng)站范圍是否意味著： 從 幼小 開始 培養(yǎng) 。 ?。rez. 2022] A Survey on Ontology Tools. OntoWeb Consortium, 31 May 2022. References 02 ? [TOVE 2022] modelling/tove/ ? [Y. Sure, M. Erdmann, J. Angele, S. Staab, R. Studer, and D. Wenke. 2022]. OntoEdit: Collaborative ontology engineering for the semantic web. In International Semantic Web Conference 2022 (ISWC 2022), Sardinia, Italia. 2022