ウィキペディアのDescription logicを見ると
日本語圏との情報格差が物凄いように思われる。
日本語ではソフトウェアのOWLの基礎ってことで語られるけど
純粋な論理学としては、本もPDFもない。