植入互聯(lián)網(wǎng)基因戴爾轉(zhuǎn)型電商30-資料下載頁(yè)
2025-02-21 14:47本頁(yè)面
【正文】 sic description logic is ALC (equiv modal K(m)) ? Concepts constructed using ?, ? , ? , ? and ? ? S often used for ALC with transitive roles ? Additional letters indicate other extension, .: ? H for role inclusion axioms (role hierarchy) ? O for nominals (singleton classes, written {x}) ? I for inverse roles ? N for number restrictions (of form ? n R, ≥ n R) ? Q for qualified number restrictions (of form ? n , ≥ n ) ? … China 2023 39 DLLite: A “Scalable” DL Family ? R ? AtomicRole =R, R ? BasicRole ? A ? AtomicConcept =A? BasicConcept, ? R ? AtomicRole = ?R ? BasicConcept ? C? BasicConcept= C, ?C? GeneralConcept ? R? BasicRole= R, ?R? GeneralRole China 2023 40 Simplified DLLite Syntax Rules ? R P|P ? B A| ? R ? CB| ? B ? E R| ? R Where R is basic role, P is atomic role, A is atomic concept, B is basic concept, C is general concept, E is general role China 2023 41 DLLite Family ? DLLitecore Tbox is a set of inclusion axioms of the from B ? C ? DLLiteR = DLLitecore + role inclusion axioms of the from R ? E ? DLLiteF = DLLitecore + functionality on role or on their inverse with the form (funct R) China 2023 42 想一想： DLLite能不能表達(dá)下列描述 ? ? A1 ? A2 ? C ? B ? C1 ? C2 ? Disjoint(A,B) ? A1 ? A2 ? C ? B ? C1 ? C2 China 2023 43 思考：描述邏輯的下一步擴(kuò)展？ 想一想，如果讓你對(duì)現(xiàn)有的描述邏輯的表達(dá)功能進(jìn)行擴(kuò)展，你將會(huì)添加一些什么？ ?今天下午：描述邏輯與知識(shí)表示的專(zhuān)題討論 為什么？如何對(duì)其進(jìn)行形式化描述？ China 2023 44 練習(xí) 題 思考題 ：如何用 描述邏輯 來(lái)表示下列一些概念 ? ? “至少有一個(gè)女孩的女人 ” ? “沒(méi)有女孩的女人 ” ? “所有女孩都上學(xué)的女人 ” ? “有一個(gè)女孩不上學(xué)的女人 ” China 2023 45 練習(xí) 題 思考題 用 ALC語(yǔ)言能不能來(lái)表示下列一些概念 ? 為什么？ ? “有 3個(gè)女孩的女人 ” ? “最大的孩子是女孩的女人 ” ? “非女青年人 ” ? “所有的女 兒都沒(méi)上學(xué)的女人” China 2023 46 練習(xí) 題 思考題 判斷 下列一些公式哪些是滿(mǎn)足的，哪些是不可滿(mǎn)足的，哪些是永真的？ ? (?R.? C) ? C ? (?R.? C) ? ? ? (?R.? C) ? ? ? (?) ? ?. China 2023 47 練習(xí) 題 思考題 . 證明 DLLiteF不滿(mǎn)足有限模型性(Finite Model Property), 并分析其問(wèn)題特征。 一個(gè)邏輯具有 有限模型性 則表明其任何一個(gè)公式集如果是可滿(mǎn)足的，那么必存在它的一個(gè)有限模型。 China 2023 48 語(yǔ)義網(wǎng)邏輯基礎(chǔ)演義 第 二 回：本體為綱描述邏輯展頭角 概念當(dāng)先形式方法顯風(fēng)采 欲知后事如何，請(qǐng)聽(tīng)下回分解。 China 2023 49 Questions and Discussions 演講完畢，謝謝觀看！
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號(hào)-1