分散式描述邏輯

分散式描述邏輯（Distributed Description Logic，DDL）是描述邏輯的一種特例。在DDL中，整個邏輯系統由一組DL單元組成， 相互之間用橋（Bridge Rule）相互連線。

特點

DDL的主要特點是語義的局部性，也就是說在DDL中並不要求存在一致的全局語義。傳統的Tableau推理算法可以推廣到DDL的情況。
DDL是基於分散式一階邏輯而發展起來的，而它也繼承了分散式一階邏輯的一些缺點。例如，其表達力比較有限，橋規則只能用於連線概念。比它表達力強的類似模組化本體語言還有基於包的描述邏輯和E-連線
C-OWL是DDL的一種語法形式。