今天看了一部分描述邏輯，看了好多個說法，裡邊仍然有好多不懂的詞，有種萬事開頭難的感覺。
描述邏輯（dl, description logics）：一種基於物件的知識表示的形式化工具，吸取了kl-one[a1] 的主要思想，是一階謂詞邏輯的乙個可判定的子集。能夠提供可判定的推理服務，並且具有語義特徵。它被認為是以物件為中心的表示語言的最為重要的歸一形式。從某種意義上說，描述邏輯是語義web[a2] 的邏輯基礎。描述邏輯建立在概念(concept)和角色(role即二元關係)之上，由構造運算元(constructor)從簡單概念和角色中構造出複雜概念和角色。
描述邏輯的重要特徵是很強的表達能力和可判定性，它能保證推理演算法總能停止，並返回正確的結果。描述邏輯有清晰的模型-理論機制;很適合於通過概念分類學來表示應用領域;並提供了很多有用的推理服務。
乙個描述邏輯表示知識庫主要由tbox和abox兩部分組成。tbox定義了特定知識領域的結構幷包含一系列公理，可以通過已有概念構成新的概念。abox包含了tbox中概念的例項。
tbox[a3] 具有分類(taxonomy)的能力，分類是系統化建立知識的第一步，通過分類的動作可以將事物的本體集合成共通的概念，這些概念又可組合成更廣泛的概念。分類過程中，每乙個類都有其屬性和限制，，在分類的過程中可以建立類的限制式，限制式可以表達出類和類的關係，使用描述邏輯可以針對類的關係限制作描述。
abox[a4] 是例項斷言的集合，用於指明個體的屬性或個體之間的關係。由概念斷言(如：student(bob))和關係斷言(如：hasmom(bob, nancy))組成。
[a1]kl-one是語義網路和框架傳統中的知識表示系統;這是一種框架語言。該系統試圖克服語義網路表示中的語義模糊性並且將概念資訊明確地表示為結構化繼承網路。
kl-one創新之一是使用演繹分類器，這是一種自動推理引擎，可以驗證幀（概念）本體，並根據領域專家提供的初始資訊推斷出有關本體的新資訊。類似下文提到的tbox和abox（？）
[a2]基於網路建立任何微小資料的連線，這種連線不僅僅侷限於網頁。這樣一來，任何微小的資料都可以與其他資訊進行"溝通"。
核心是:通過給全球資訊網上的文件 (如:標準通用標記語言下的乙個應用html)新增能夠被計算機所理解的語義"元資料"(外語:meta data)，從而使整個網際網路成為乙個通用的資訊交換媒介。
[a3]類似於「類」
[a4]類似於例項化乙個物件
Soul閘道器同步資料邏輯初探
按照前面兩個同步資料的分析，可以看到http同步跟其他的同步的載入基本一樣。不同的地方主要是載入資料的操作 載入資料的過程主要是 private void start else executor override suppresswarnings unchecked for datachangedl...
幾個描述邏輯中的概念
描述邏輯 descriptionlogic 是基於物件的知識表示的形式化，它吸取了kl one的主要思想，是一階謂詞邏輯的乙個可判定子集。它與一階謂詞邏輯不同的是，描述邏輯系統能提供可判定的推理服務。除了知識表示以外，描述邏輯還用在其它許多領域，它被認為是以物件為中心的表示語言的最為重要的歸一形式。...
描述邏輯（DL）基礎知識
logic 邏輯理論實際上是乙個規範性 normative 的理論，而不是乙個描述性的 descriptive 理論。即，它並不是用來描述人類究竟是採用何種的形式來推理的，而是來研究人類應該如何有效的進行推理的。經典邏輯 命題邏輯proposition logic 一階謂詞邏輯first order...