Description logic とは

記述論理(DL)は、正式な知識表現言語のファミリです。多くのDLは命題論理より表現力豊かですが、一次論理よりも表現力が劣ります。後者とは対照的に、DLのコア推論の問題は(通常)決定可能であり、効率的な決定手続きがこれらの問題に対して設計され実装されている。一般的、空間的、時間的、時空間的、およびファジィ記述論理が存在し、各記述論理は、異なる組の数学的構成子をサポートすることにより、DL表現と推論の複雑さとの間の異なるバランスを特徴とする。
DLは人工知能で使用され、アプリケーションドメインの関連概念(用語知識)を記述して推論します。オントロジーとセマンティックWebに論理的な形式を提供することが特に重要です。Web Ontology Language(OWL)とそのプロファイルはDLに基づいています。 DLとOWLの最も顕著なアプリケーションは、DLが生物医学的知識のコード化を支援する生物医学情報学である。