Компонента KIFConverter проекта KNOWLEDGE.NET Санкт-Петербургский Государственный Университет Докладчик Сигалин Максим Владимирович Научный руководитель Сафонов Владимир Олегович, проф., д.т.н.

KIF (Knowledge Interchange Format) Обмен знаниями Язык исчисления предикатов первого порядка Не имеет конструкций для описания фреймов/онтологий

Система Ontolingua Надстройка над KIF Имеет конструкции для описания фреймов/онтологий Набор трансляторов в другие языки представления знаний

Процесс конвертации

Конструкции Knowledge.NET Фреймы Онтологии

Конструкции Ontolingua DEFINE-CLASS DEFINE-FRAME DEFINE-RELATION DEFINE-INSTANCE

DEFINE-CLASS (DEFINE-CLASS ( )DEFINE-CLASS {:def | :iff-def} [:constraints ] [:class-slots ( *)] [:instance-slots ( *)] [:default-slot-values ( *)] )

Пример (define-class female-person (?person) "female humans"define-class :iff-def (and (human ?person) (= (gender ?person) female)) )

Слоты Предопределенные собственные слоты: INSTANCE-OF SUBCLASS-OF...

DEFINE-RELATION (define-relation FR_NAME.SL_NAMEdefine-relation (?Frame ?Value) :Def (And (FR_NAME ?Frame) (SL_TYPE ?Value)))

DEFINE-INSTANCE (define-instance define-instance ( +)... )

Конструкции KIF DEFRELATION DEFOBJECT Unrestricted type (defrelation constant sentence*) (defobject constant sentence*)

Пример ( defrelation Human defrelation (Documentation Human Class frame Human") (Subclass-Of Human Thing) (Class Human)) ( defrelation Human.Name defrelation (Documentation Human.Name Slot Name of frame Human") (Range Human.Name String) (Domain Human.Name Human) (Slot Human.Name)) ( defobject Jack (Human Jack) (Human.Name Jack Jack) defobject (Documentation Jack Instance frame Jack"))

Запуск из Visual Studio 2005

?