Имя материала: Базы знаний интеллектуальных систем

Для указания того, что данная онтология расширяет другую, уже существующую, используется специальный тег:

 

<USE-ONTOLOGY ID="идентификатор-онтологии"

VERSION="версия" PREFIX="префикс" [URL='W]>

 

Внутри определения онтологии могут специфицироваться новые категории, для чего используется специальный тег вида:

 

<DEF-CATEGORY ШЕ=" имя-категории"

[ISA="список-родительских-категорий"]

[DESCRIPTION="текст"] [SHOT="текст"]>

 

Аналогичный подход применяется и для определения отношений:

 

<DEF-RELATION NFME=" имя-отношения"

[DESCRIPTION="текст”] [SHORT="текст"]>

список-аргументов

</DEF-RELATION>

 

Возможно определение тех же понятий и с помощью тега ONTDEF с параметрами.

Одним из важнейших компонентов определения онтологии являются правила вывода. В SHOE такие правила «похожи» на Хорновские клаузы по сути, но отличаются от них по форме:

 

<DEF-INFERENCE [DESCRIPTION="текст"]>

<INF-IF> тело </INF-IF>

<INF-THEN> голова </INF-THEN>

</DEF-INFERENCE>

 

Для примера, ниже обсуждается фрагмент определения онтологии в формализме SHOE, коррелирующий с уже обсуждавшимся фрагментом определения аналогичной онтологии в формализме Ontobroker.

Пусть нас интересуют исследователи, имеющие в Интернете свои домашние страницы. Для работы с такими страницами можно воспользоваться уже существующей в рамках SHOE онтологией общих понятий (organization-ontology version 2.1) по адресу http://www.ont.org/orgont.html. Однако предположим для определенности, что существующую онтологию необходимо расширить понятиями Person и Organization. Тогда спецификация фрагмента новой онтологии (Но-mePageOntology) может быть представлена в формализме SHOE следующим образом:

 

<ONTOLOGY ID="HomePageOntology" VERSION="1.0">

<ONTOLOGY-EXTENDS "organization-ontology"

VERSION="2.1" PREFIX="org"

URL="ftttp://ww.'ont. org/orgont. html">

<ONTDEF CATEGORY^"Person" ISA="org. Thing">

<ONTDEF RELATION="IastWame" ARGS="Person STRING">

<ONTDEF RELATION^ first/Va/ne" ARGS="Person STRING">

 <ONTDEF RELATION="marned7o" ARGS="Person Person">

<ONTDEF RELATION^1 employee" ARGS="oro..Organization Person">

…………………………………………………….

</ONTOLOGY>

 

Аннотация Web-документов на базе онтологии

Аннотация HTML-документов в SHOE осуществляется также с использованием тегов. В частности, для этого служат теги USE-ONTOLOGY, INSTANCE, CATEGORY, RELATION. Последние три тега имеют следующие форматы:

 

<INSTANCE KEY="значение-ключа"

[DELEGATE-TO="список-примеров" ]> ... </INSTANCE>

<CATEGORY NAME="префикс, категория" [FОR-"ключ"]>

<RELATION NAME="префикс. отношение">список-аргументов </RELATION>

 

 Для поиска и обработки домашних страниц с помощью специфицированной выше онтологии необходимо, чтобы авторы Web-публикаций сами (или на основе инструментария SHOE) проаннотировали свои документы.

Так, например, фрагмент аннотации персональной страницы исследователя Иванова в формализме SHOE выглядит следующим образом:

 

<BODY>

<МЕТА HTTP-EQUIV= "-Instance"

CONTENT="http://www. anywhere. ru/~ivanov">

<USE-ONTOLOGY "HomePageOntology"

VERSION="1.0" PREFIX="our"

URL="nttp;//Mw. ont. org/HomePageOntology. html">

<CATEGORY "our.Person">

<RELATION "our. first Name" TO="Ivan">

<RELATION "our.lastName" TO="Ivanoy">

<RELATION "our.tnarriedTo"

TO="http://www. somewhere. ru/~Mariya">

Страница: | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | 99 | 100 | 101 | 102 | 103 | 104 | 105 | 106 | 107 | 108 | 109 | 110 | 111 | 112 | 113 | 114 | 115 | 116 | 117 | 118 | 119 | 120 | 121 | 122 | 123 | 124 | 125 | 126 | 127 | 128 | 129 | 130 | 131 | 132 | 133 | 134 | 135 | 136 | 137 | 138 | 139 | 140 | 141 | 142 | 143 | 144 | 145 | 146 | 147 | 148 | 149 | 150 | 151 | 152 | 153 | 154 | 155 | 156 | 157 |