Диаграмма онтологии
Эта статья может сбивать с толку или быть непонятной читателям . ( Март 2011 г. ) |
Диаграмма онтологии — это тип диаграммы, используемый в семиотике и разработке программного обеспечения для иллюстрации онтологии .
Обзор
[ редактировать ]Узлы диаграммы онтологии представляют универсальные возможности и редко представляют частности . Исключением является корень, который представляет собой конкретный агент, часто называемый «обществом» и расположенный в крайнем левом углу диаграммы онтологии. На практике корень часто отбрасывается, но он подразумевается в каждой онтологической диаграмме. Если в онтологической схеме присутствует какая-либо другая деталь, она распознается по префиксу знака «#» и заглавным буквам. В нашей онтологической диаграмме узел с меткой #IBM — это конкретная организация.
Дуги представляют собой онтологические отношения зависимости, направленные слева направо. Правая доступность онтологически зависит от левой возможности. Левая доступность является онтологическим предшественником правой возможности. Особой категорией аффордансов являются детерминаторы. Они распознаются по префиксу знака «#». Два примера выше: #часовая ставка и #name. У всех определителей есть второй предшественник – эталон измерения. Обычно их исключают из схемы онтологии, но они подразумеваются и очевидны. В случае почасовой ставки и названия это валюта и язык соответственно. Имена на дугах — это имена ролей оператора связи, левого узла, в узле отношений справа. Например, «сотрудник» — это служебное имя человека, находящегося на работе. Ни один узел диаграммы онтологии не имеет более двух онтологических предшественников. Если на диаграмме онтологии вы обнаружите дугу между именем роли и узлом, считайте ее дугой между правой частью имени роли. Таким образом, дуга от работника к месту работы — это дуга между занятостью и работой на предприятии.
С математической точки зрения диаграммы онтологий представляют собой графическое представление полурешетчатых структур; в частности, это диаграммы Хассе с одним корнем и без циклов. Онтологическая зависимость — это отношение, известное математически как отношение множества частичного порядка (poset). Посеты являются объектом исследования математической дисциплины теории порядка. Они принадлежат к классу бинарных отношений, но обладают тремя дополнительными свойствами: рефлексивностью , антисимметрией и транзитивностью.
Онтологическая зависимость - это особый случай, потому что это бинарное отношение, каждая вещь в своем существовании онтологически зависит сама от себя, две вещи, которые онтологически зависимы друг от друга, должны быть одним и тем же, и если a зависит от b, а b зависит от c, то зависит a на ц. Последнее из этих свойств — транзитивное свойство частично упорядоченных множеств — было использовано Гельмутом Хассе, чтобы дать нам диаграмму Хассе — диаграмму невероятной мощности, простоты и, если ее хорошо нарисовать, к тому же элегантной. Поскольку диаграммы онтологий имеют корень, от которого в конечном итоге зависят все возможности (реализации/вещи) в своем существовании, они представляют собой графическое представление полурешеток.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Родриго Бонасин и др. (2004). «От диаграмм онтологий к диаграммам классов: семантический анализ, помогающий проектировать системы» . В: Материалы 6-й Международной конференции по информационным системам предприятия, Порту, 2004 г.
Эта статья нуждается в дополнительных цитатах для проверки . ( март 2009 г. ) |
Дальнейшее чтение
[ редактировать ]- Адес, Ю., Фарук Бен-Оман, Иман Поэрномо, Джордж Царамирсис (2007). Сопоставление диаграмм онтологий с диаграммами классов , ICOS2007.
- Адес, Ю. (1999). «Семантическая нормальная форма: соответствие». В: Учеб. Семинар по организационной семиотике , Алмело, 12–14 октября, Университет Твенте.
- БКС (2004). Проблемы сложных ИТ-проектов . Отчет рабочей группы Королевской инженерной академии и Британского компьютерного общества, апрель
- Кеченг, Л. (2000) Семиотика в разработке информационных систем . Издательство Кембриджского университета.
- Стампер Р.К. и Адес Ю. (2004) «Семантическая нормальная форма и качество системы». В: Учеб. Конференция IEE по разработке требований , Киото, 2004 г.
- Рональд Стэмпер , Бэкхаус Дж., Марш С., Альтхаус К. (1987) «Семантическая нормальная форма?». В: Учеб. информатики 9 . Конференция, спонсируемая совместно Aslib и BCS, Королевский колледж, Кембридж, 26–27 марта.
- Рональд Стэмпер (1994). «Социальные нормы в анализе требований – краткое описание MEASUR» Глава 5 « Разработка требований: социальные и технические проблемы» . Под редакцией М. Джиротки и Дж. Гугена. New York Academic Press.
- Рональд Стэмпер (1996): «Знаки, информация, нормы и системы». В B. Holmqvist et al. (ред.). Знаки на работе . Де Грюйтер, Берлин 349-397