Разработка Web-сервиса "Выбор музыкального инструмента"
Дипломная работа - Компьютеры, программирование
Другие дипломы по предмету Компьютеры, программирование
в определении класса точно и четко.
В вышеупомянутых классификациях эти свойства оказались бы, по-видимому, внутренними и семантическими.
Для онтологий, предусматривающих к определению на формальном языке комментарий на естественном языке, важно оценить согласованность (эквивалентность) каждого формального определения и неформальной части определения (комментария). Из литературы известно следующее свойство:
связность (internal coherence): для понятий, определенных неформально, таких как описанные естественным языком в документации и примерах. Если предложение, которое может выводиться из аксиом, ограничивает (contradicts) определение или пример, данный неформально, то онтология несвязна.
Оценивание такого свойства особенно актуально для "научных" онтологий, написанных на достаточно трудном для восприятия языке, таком как язык прикладной логики и оцениваемых поэтому экспертом, как правило, по комментариям. Для таких онтологий важно установить и уметь оценивать внутренние свойства модели онтологии, что "вне компетенции" эксперта.
Примерами названий прочих свойств из являются: гомогенность (homogeneity), явность (expliciteness), простота правил (rule simplisity), однозначность (ontological ambiguity), размер (size), модульность (modularity) документированность формальных определений, синтаксическая корректность (Correctness), минимальные онтологические обязательства (minimal ontological commitment), единообразие правил (rule uniformity).
Внутренние свойства моделей онтологий. Таким образом, доступные литературные источники дают некоторый "ориентир" в вопросах оценивания свойств и качества онтологий. Однако, "литература" не дает "руководства" для оценивания важных для "научных" онтологий свойств. Приводятся нестрогие определения желаемых свойств онтологий (и концептуальных моделей), и встречаются подробные описания конкретных случаев нарушения желаемых свойств в конкретных моделях онтологий. Эти "случаи нарушения" также строго не определены, а представлены на конкретных примерах (а примеры - на конкретном языке). Часто методы оценивания свойств онтологий зависят от языка представления (хотя сами свойства не зависят от языка) и описаны в литературе нестрого.
Классификация свойств по принципу внешнее-внутреннее довольно затруднительна. Возможно, более полезным было бы различать свойства онтологий и свойства моделей онтологий, и отслеживать, как существующие свойства онтологии "перерастают" в свойства модели онтологии в процессе ее проектирования. Полезным представляется выделение из всего множества свойств тех, которые могут быть оценены объективно, особенно для "научных" онтологий, написанных на достаточно трудном для восприятия формальном языке. А "объективные" свойства полезно классифицировать по их "типичности - специфичности".
Поэтому важно установить те внутренние свойства, которые пригодны для оценивания на практике в процессе создания онтологий, и оценивание которых является объективным (и может быть автоматизировано). Объективное оценивание согласованности понятий [модели] онтологии и связей между ними на этапе разработки и модифицирования онтологии дало бы возможность своевременно обнаружить те несоответствия, у которых есть риск проявиться внешне, т.е при использовании модели онтологии.
В связи с этим актуальна следующая задача - формирование набора подсвойств общепризнанных свойств модели онтологии, пригодного для оценивания разрабатываемых онтологий (в частности, "научных").
Требованиями к этим подсвойствам общепризнанных свойств являются: который:
описание способа оценивания свойства должно быть точным и однозначным;
- описание способа оценивания должно быть в терминах, не зависящих от языка написания онтологии.
3. РЕАЛИЗАЦИЯ ОНТОЛОГИИ
Для того, чтобы лучше понять, как формируются онтологии, рассмотрим пример онтологии про гитары. Основными понятиями этой предметной области являются: гитара, конструкция гитары, фирма-производитель, заказ мастеровой гитары.
Класс "Гитара" имеет следующие атрибуты:
- цвет (строка);
- материал (строка);
- название (строка);
- количество струн (строка);
- цена (строка);
- производитель гитары (значение является пример другого класса);
- тип корпуса (значением является другой класс);
- тип струн (значением является другой класс);
- звукосниматели (логический, булевский тип).
Класс "Конструкция гитары" имеет следующие два подкласса, кот в свою очередь имеет следующие атрибуты:
- Корпус:
- Цвет корпуса (строка);
- Материал корпуса (строка);
- Название корпуса (строка).
- Струны:
- Название струн (строка).
Класс "Фирма-производитель" имеет следующие атрибуты:
- Адрес фирмы (строка).;
- Название фирмы (строка).;
- Контактный телефон (строка).
Класс "Мастеровые гитары" имеет следующие атрибуты:
- Гитара (товар) (строка);
- Инициалы мастера (строка);
- Телефон мастера (строка);
- Заказ (логический, булевский тип).
Рисунок 3.1 - Иерархия классов
На Рисунке 3.1 представлена иерархия онтологии для предметной области "Гитара".
В данной онтологии имеются классы: Гитара, конструкция гитары и производства гитары и их подклассы. Класс гитара делится на классы: электро, акустические и полуакустические гитары, которые в свою очередь делятся на классы электро-басс гитара, классическая гитара, акустический ба