Реферат: Побудова украиномовнои онтологии засобами СУБД

редбачає створення потужного механізму семан￢

тичного аналізу. Планується, що в ньому буде

усунено обмеження конструкцій DAML+OIL.

Онтології OWL - це послідовності аксіом і

фактів, а також посилань на інші онтології. Вони

містять компонент для запису авторства та іншої

докладної інформації, є документами Web, на

них можна посилатися через URI [5].

KIF (Knowledge Interchange Format, або формат

обміну знаннями) - заснований на S-виразах

синтаксис для логіки. KIF - це спеціальна мова,

призначена для використання при обміні зна￢

ннями між різними комп'ютерними системами.

Мова не призначена для внутрішнього представ￢

лення знань усередині комп'ютерних систем або

всередині тісно зв'язаних наборів комп'ютерних

систем (хоча може бути використана й для цієї

мети). Мова була розроблена для опису загаль￢

ного формату представлення знань, незалежного

від конкретних систем [6].

CycL (мова опису онтології Cyc) - це гібрид￢

на мова, що поєднує в собі властивості фреймів

і логіку предикатів. CycL розрізняє такі сутності,

як екземпляри, класи, предикати й функції. Син￢

таксис мови CycL схожий на синтаксис мови

Lisp. Словник CycL складається з термів. Мно￢

жину термів можна розділити на константи, тер￢

ми (що не є атомами) і змінні. Крім цього, зустрі￢

чаються деякі інші типи об'єктів. Терми вико￢