Kif converter knowledge net
Download
1 / 28

Компонента “KIF Converter” проекта KNOWLEDGE . NET - PowerPoint PPT Presentation


  • 106 Views
  • Uploaded on

Санкт-Петербургский Государственный Университет. Компонента “KIF Converter” проекта KNOWLEDGE . NET. Докладчик Сигалин Максим Владимирович. Научный руководитель Сафонов Владимир Олегович , проф., д.т.н. KIF (Knowledge Interchange Format). Обмен знаниями.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Компонента “KIF Converter” проекта KNOWLEDGE . NET' - halil


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Kif converter knowledge net

Санкт-Петербургский Государственный Университет

Компонента “KIF Converter” проектаKNOWLEDGE.NET

ДокладчикСигалин Максим Владимирович

Научный руководительСафонов Владимир Олегович,проф., д.т.н.


Kif knowledge interchange format
KIF (Knowledge Interchange Format) Государственный Университет

  • Обмен знаниями

  • Язык исчисления предикатов второго порядка

  • Не имеет конструкций для описания фреймов/онтологий

  • http://logic.stanford.edu/kif/dpans.html


Ontolingua
Система Государственный УниверситетOntolingua

  • Надстройка над KIF

  • Имеет конструкции для описания фреймов/онтологий

  • Набор трансляторов в другие языки представления знаний

  • http://www.ksl.stanford.edu/software/ontolingua/


Процесс конвертации Государственный Университет


Knowledge net
Конструкции Государственный УниверситетKnowledge.NET

  • Фреймы

  • Онтологии


Фреймы Государственный Университет

Общий вид:

frame FR_CATEGORY FR_IDEN { SLOTS}


Слоты Государственный Университет

SLOTS ::=own_slots [[SL_DESC] SL_NAME[=SL_VALUE];]+ [instance_slots [SL_DESC SL_NAME[=SL_VALUE];]+ ]


Слоты (расширенное описание) Государственный Университет

facets {typeTYPE; [valueVALUE;] [default_valueDEF_VALUE;]} SL_NAME;


Наследование фреймов Государственный Университет

own_slots is_a FR_IDEN1, | FR_IDEN2, FR_IDEN3, FR_IDEN4, …;


Онтологическая модель Государственный Университет

  • Концепты

  • Подконцепты

    • Ais_subconcept_ofB,C;

    • А {is_subconcept_ofB,C;}

  • Thing


Определение через отношения Государственный Университет

  • Пересечение

    concept A is_intersection_of B, C, D…

  • Объединение

    concept A is_union_of B, C, D…

  • Дополнение

    concept A is_complement_of B, C, D…


Свойства Государственный Университет

datatypepropertyPROP_NAME

{

domain A, B, C, …;

range X, Y, Z, ...;

}


Пример Государственный Университет

#ontology “Vehicles”

#concepts

Color is_subconcept_of Thing;

Vehicle is_subconcept_of Thing;

Plane is_subconcept_of Vehicle;

Submarine is_subconcept_of Vehicle;

disjoint Plane, Submarine;

disjoint Color, Vehicle;

#properties

object property HasColor{

domain Vehicle;

rangeColor;

}


Подсвойства Государственный Университет

object property X is_subproperty_of Y{

domainA, B, C, …;

rangeK, L, M, …;

}


Пример Государственный Университет

#concepts

concept Human{

is_subconcept_of {

Thing;

HasSibling some_values_from Sibling;

IsChildOf cardinality 2;

}

}

#properties

object property IsChildOf{

domain Human;

range Human;

inverse HasChild;

}


Экземпляры Государственный Университет

individualDmitry{

alias “Dima”;

is_a Human;

HasSibling = Nina;

HasAncestor = {Victor, Ludmila, Grigory, Alena};

HasChild = {Egor, Maria};

}


Ontolingua1
Конструкции Государственный УниверситетOntolingua

  • DEFINE-CLASS

  • DEFINE-FRAME

  • DEFINE-INSTANCE


Define class
DEFINE-CLASS Государственный Университет

(DEFINE-CLASS<structure-name> (<argument-list>)

{: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>*)]

)


Пример Государственный Университет

(define-class female-person (?person) "female humans"

:iff-def (and (human ?person)

(= (gender ?person) female))

)


Слоты Государственный Университет

  • (Name (SLOT-VALUE-TYPE string))

  • Предопределенные собственные слоты:

    • INSTANCE-OF

    • SUBCLASS-OF

    • ALIAS

    • DOMAIN

    • RANGE

    • ...


Define instance
DEFINE-INSTANCE Государственный Университет

(define-instance<instance-name>

(<class-name>+)

...

)


Реализация Государственный Университет

  • Интерфейс IModelItem

    • Паттерн Composite

    • Методы:

      • ICollection<IModelItem> getChildren()

      • Write(StreamWriter writer)

  • Интерфейс IModel: IModelItem


Imodelitem
Реализации Государственный УниверситетIModelItem

  • Класс AbstractModelItem

    • реализация метода write(StreamWriter writer) – делегирует своим частям

  • Иерархия KIFObject: AbsractModelItem

  • Иерархия OntolinguaObject: KIFObject

  • Части-терминалы

    • паттерн Flyweight


Imodel
Реализации Государственный УниверситетIModel

  • KIFModel

  • OntolinguaModel


Создание моделей Государственный Университет

  • Интерфейс IModelBuilder

    • паттерн Builder

    • методы

      • buildFrame(DataFrame frame)

      • buildSlot(Slot slot) ...

      • IModel getModel()

    • Реализации

      • KifModelBuilder

      • OntolinguaModelBuilder


Конвертация в Государственный УниверситетKIF

  • Класс KifModelBuilder: OntolinguaModelBuilder

    • при создании делегирует методы предку

    • канонизирует

    • заменяет конструкции Ontolingua на конструкции KIF

    • вычисляет зависимости, меняя и пополняя модель


Visual studio 2005
Запуск из Государственный УниверситетVisual Studio 2005


? Государственный Университет


ad