8 мая 2008 · КомментарийБез заголовкаИмя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на записьТочнее не на first order logic, а на какая-то descriptive logic. Но поскольку для OWL DL гарантируется вычислztмость и полнота то в основе все же навреняка FOL.