Без заголовка

Ну да, машины мощнеют, и description logic начинает жить второй (уже не столько теоретической, сколько практической) жизнью. Она, кстати, стандартизована в ISO. Она сейчас является одним из альтернативных языков описания для ISO 15926 (и, насколько я понимаю, реально используется в тамошних пилотных проектах, я только вчера об этом читал в очередной раз -- увы, это материал с закрытого сайта, поэтому ссылки не даю). А насчет паттернов в больших массивах данных, так этим и люди занимаются, и машины... Другое дело, что разбираться в этом нужно либо "с нуля" (что бесполезно), либо на базе тщательно построенного объема уже упорядоченных паттернов (что, впрочем, означает предварительную "ручную" работу). Lenat из CYC на своих презенташках приводит красивые графики, показывающие момент, когда ручная обработка данных прекращается, и машина в состоянии дальше сама справиться -- по его данным, это как раз происходит в эти годы (по крайней мере касательно самой CYC).