Заседание No. 21, Математическое и программное обеспечение интеллектуальных сервис-ориентированных систем на основе использования языков дескриптивной логики