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

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

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

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

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

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

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

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

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

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

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

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

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

13 Пример ( 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"))

14 Запуск из Visual Studio 2005

15 ?