Компонента KIFConverter проекта KNOWLEDGE.NET


The Presentation inside:

Slide 0

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


Slide 1

KIF (Knowledge Interchange Format) Обмен знаниями Язык исчисления предикатов первого порядка Не имеет конструкций для описания фреймов/онтологий http://logic.stanford.edu/kif/dpans.html


Slide 2

Система Ontolingua Надстройка над KIF Имеет конструкции для описания фреймов/онтологий Набор трансляторов в другие языки представления знаний http://www.ksl.stanford.edu/software/ontolingua/


Slide 3

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


Slide 4

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


Slide 5

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


Slide 6

DEFINE-CLASS (DEFINE-CLASS <structure-name> (<arg>) {:def | :iff-def} <sent-with-arg-vars> [:constraints <sent-with-arg-vars>] [:class-slots (<slot-spec>*)] [:instance-slots (<extended-slot-spec>*)] [:default-slot-values (<slot-spec>*)] )


Slide 7

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


Slide 8

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


Slide 9

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


Slide 10

DEFINE-INSTANCE (define-instance <instance-name> (<class-name>+) ... )


Slide 11

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


Slide 12

Пример (defrelation Human (Documentation Human “Class frame Human") (Subclass-Of Human Thing) (Class Human)) (defrelation Human.Name (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”) (Documentation Jack “Instance frame Jack"))


Slide 13

Запуск из Visual Studio 2005


Slide 14

?


×

HTML:





Ссылка: