描述邏輯

正式知識表示的家族 / 維基百科,自由的 百科全書

描述邏輯description logic)是一種用表示的邏輯語和以其為對象的推理方法,主要用描述概念分及其概念之系。描述邏輯方法多被用到涉及知域,如圖書館和面向全球資訊網的信息理。描述邏輯語義網展中的理。例如,OWL因特言就是一描述邏輯SHIOQ (D)法形式。

描述邏輯其表能力的程度不同,形成不同的邏輯言。大多的描述邏輯類型都可以被看成對應著階邏輯的一可判定性的片段(fragment),即每描述邏輯中的命都可以在有限時間內完成明或否。只有的描述邏輯類型被認為是不可判定的[1]

描述邏輯中的名字可分概念(concept),性(role)和個體(individual)。例如,一用描述邏輯描述的知識庫如下:

  • 男人 人 (男人 是 人)
  • 丈夫 男人 婚配.人 (丈夫是 婚配 至少一 人 的 男人)
  • 男人(三) (三是一男人)

其中,「人」、「人」、「丈夫」概念,「婚於」是屬性,「三」是個體。