描述邏輯

描述邏輯 （ description logic ） 是一種用於知識表示的邏輯語言和以其爲對象的推理方法 ， 主要用於描述概念分類及其概念之間的關係 。 描述邏輯方法多數被用到涉及知識分類的應用領域 ， 如數字圖書館和麪向萬維網的信息處理 。 描述邏輯是當前語義網發展中本體的理論基礎 。 例如 ， OWL因特網本體語言就是一種描述邏輯SHIOQ ( D ) 的語法形式 。 描述邏輯根據其表達能力的程度不同 ， 形成不同的邏輯子語言 。 絕大多數的描述邏輯類型都可以被看成對應着一階邏輯的一個可判定性的片段 （ fragment ） ， 即每個描述邏輯中的命題都可以在有限時間內完成證明或證否 。 只有極少數的描述邏輯類型被認爲是不可判定的 。 一個描述邏輯系統中的名字可分爲概念 （ concept ） ， 屬性 （ role ） 和個體 （ individual ） 。 例如 ， 一個用描述邏輯描述的知識庫如下 ： 男人 人 （ 男人 是 人 ） 丈夫 男人 婚配於.人 （ 丈夫是 婚配於 至少一個 人 的 男人 ） 男人 （ 張三是一個男人 ） 其中 ， “ 男人 ” 、 “ 人 ” 、 “ 丈夫 ” 是概念 ， “ 婚配於 ” 是屬性 ， “ 張三 ” 是個體 。