abstract: Рассматривается применение общей ICF-онтологии, ориентированное на описание и анализ системы понятий разных предметных областей с рассмотрением этих понятий под различными углами зрения. Приводится модификация DL логики с ALC-грамматикой, не нарушающая семантики логики относительно свойства разрешимости и дающая возможность использовать таксономию, введенную в ICF-онтологии.
keywords: анализ документов, дескриптивные логики, онтологии, пертинентный поиск документов, формальные системы, icf-онтологии