Размещено на http://www.allbest.ru/

УДК 004.8

Е.А. Шалфеева

Введение

Использование онтологий в сфере искусственного интеллекта связано с необходимостью оценивания свойств онтологий. Единый подход обеспечивает возможность однозначно определять важные структурные свойства и дефекты онтологий, которые влияют на свойства интеллектуальных систем, создаваемых с использованием онтологий. В статье представлен подход к определению структурных свойств для объективного оценивания «широкого спектра» онтологий.

В современных проектах по созданию и эффективному использованию распределенных широкомасштабных библиотек многократно используемых онтологий большое внимание уделяется качеству онтологий, а в литературе описан ряд свойств различных онтологий и некоторые способы их измерения. Известными специалистами, обращающимися к проблеме исследования свойств онтологий и близких к онтологиям моделей, являются Assenova P. & Johannesson P., Colomb R.M., Garigue R., Gomez-Perez A., Gruber T.R., Teeuw W.B. & van den Berg H. и др.

Многообразие свойств онтологий, различия в списках свойств онтологий и концептуальных моделей естественно вынуждают классифицировать свойства в зависимости от стоящих перед исследователем целей. Известны разные подходы к классификации, которые, тем не менее, на практике не слишком облегчают выбор подходящих свойств для оценивания произвольной онтологии [Assenova etc, 1996, Colomb, 2002, Sinderen, 1995, Lindland, 1994].

Для того чтобы обеспечить систематический подход к исследованию свойств онтологий, разработана «универсальная» классификация свойств [Шалфеева, 2005]. В ней свойства произвольных онтологий разбиты на две категории: 1) определяемые при использовании и 2) определяемые при создании онтологий. В каждой из категорий имеется дальнейшее «разбиение на группы». Свойства первой категории обнаруживаются и определяются по отношению к «моделируемой области», а второй - безотносительно к «области».

К свойствам, определяемым при использовании онтологий, отнесены «свойства, относящиеся к функциональности онтологии», т.е. к тому, какие аспекты моделируемой области выражаются с помощью понятий [Teeuw et al, 1997, Assenova et al, 1996], и «свойства, относящиеся к легкости использования онтологии», т.е. к тому, как эти аспекты моделируемой области выражены с помощью понятий [Teeuw et al., 1997, Lindland, 1994].

Свойства, определяемые при создании онтологий могут быть объективно измерены при наличии однозначно сформулированных определений. В универсальной классификации они имеют такие подкатегории как свойства, относящиеся к архитектуре онтологии, свойства определений и свойства онтологического соглашения, а также свойства структуры отношений в онтологии.

Базовые термины для однозначного определения различных групп свойств этой категории [Шалфеева, 2005], обусловленных практикой оценивания онтологий разных предметных областей, разных уровней общности и написанных на разных языках Исследовались свойства онтологий, написанных на языках OWL, Oil, kif, «языке математики», языке прикладной логики., будут ниже представлены.

1. Базовые термины для свойств, относящихся к архитектуре онтологии

Свойства этой категории важны при создании многомодульных онтологий, при повторном использовании готовых модулей для создания новой онтологии, при интегрировании онтологий.

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

Граф включения модулей онтологии - графовая модель <В, Д>, где вершины В = {Вi}, Вi соответствует модулю онтологии, а Д = {Дj}, дугами - связи типа «включает», семантика их такова - определяемый модуль включает один или несколько ранее определенных модулей, т.е. все определяемые понятия из включаемых модулей добавляются к понятиям включающего модуля Анализ включения особенно важен для многоуровневых онтологий..

Среди свойств онтологии, рассматриваемой как совокупность модулей могут быть оценены (а значит, требуют точных определений) такие как модульность, число связей использования между парой модулей, наличие цикличных включений и др. свойства.

Например: модульность (modularity) - наличие более одной вершины (модуля) в графе включения модулей онтологии (или в графе использования модулей онтологии).

Среди свойств одного модуля в совокупности (или иерархии) модулей могут быть оценены включающие модули, включаемые модули, включение модуля, содержащего специализируемое понятие; фактическое использование понятий из используемых модулей, включаемые модули, из которых не используется явно ни одно понятие, не включаемые модули, из которых все же используются сущности, наличие неопределенных сущностей, сцепление пары модулей.

Например: включающие модули - число дуг-связей «включает», входящих в вершину (соответствующую оцениваемому модулю) в графе включения модулей онтологии.

2. Базовые термины для свойств структуры отношений в онтологии

Свойства этой категории важны для оценивания и сопоставления классификаций терминов, для оценивания степени «проработанности» моделируемых предметных областей, для поиска структурных дефектов онтологий, для оценивания структурной сложности онтологий разных уровней общности и разных предметных областей, для сравнения и сопоставления особенностей онтологий предметных областей и выявления типичных видов связей между понятиями в онтологиях разных предметных областей.

2.1 Свойства однородной структуры

Среди свойств однородной структуры чаще других рассматривают свойства таксономии, для которых в рамках единого подхода к оцениванию предложены следующие базовые термины: граф таксономии сущностей [модуля] онтологии и граф таксономии связей [модуля] онтологии.

Граф таксономии сущностей [модуля] онтологии - графовая модель <В, Д>, где вершины В = {в-i}, в-i соответствует сущности (классу сущностей) [модуля] онтологии, а дуги Д = {д-j}, д-j - связи двух видов: «является представителем» и «является потомком».

Граф таксономии связей [модуля] онтологии - графовая модель <В, Д>, где вершины В = {в-i}, в-i - связи (отношения, функции, атрибуты), а дуги Д = {д-j}, д-j - связи двух видов: «является представителем» и «является потомком» (между отношениями, предикатами).

Примерами таксономических свойств являются размер таксономии, размер набора листовых вершин, число связных компонентов графа таксономии, глубина модели иерархии, ширина дерева понятий, общее количество отношений, количество созданных экземпляров, «перекрываемость подклассов» или наличие понятий с несколькими, число корневых классов, отсутствие циклов в модели наследования, число переопределений понятия, наличие потомка у некоторой сущности, не обладающего никакими особенностями, некорректность области опредеения\значений, неполнота области определения\значений, наличие неявных подклассов, наличие избыточности при определении подклассов, наличие избыточности при определении представителя.

Пример определения: размер таксономии модуля - число вершин в графе таксономии сущностей модуля онтологии, в которые входят дуги «является потомком» «плюс» число вершин в графе таксономии связей, в которые входят дуги «является потомком».

Пример вычисления свойств. Для отнологии компьютерных игр, доступной через Интернет (созданной с помощью «Protйgй», with OWL Plugin 1.2, Build 161), строится граф таксономии сущностей (внутреннее представление онтологии), его фрагмент - на рисунке 1.

Следующие свойства могут быть вычислены в терминах этих графов: глубина дерева понятий (на фрагменте графа - 4), глубина таксономии (вместе с экземплярами) (на фрагменте графа - 5) и другие свойства. Для «свойств партономии» [Шалфеева, 2006] определяются базовые термины: граф партономии [модуля] онтологии (определяется, возможно, с использованием базового термина граф таксономии связей).

Граф партономии [модуля] онтологии - графовая модель <В, Д>, где вершины В = {в-i}, в-i - сущности (классы сущностей) [модуля] онтологии, а дуги Д = {д-j}, д-j - связи следующих видов: является последовательностью, является множеством, является объединением множеств, является одним из.

Среди свойств онтологии могут быть оценены и определены в базовых терминах такие свойства, как размер партономии, глубина партономических связей, «перекрываемость частей», Число компонентов, связанных с данной сущностью связями «часть- целое» разного вида, наличие циклической связи «часть-целое», число разных видов связей, относящихся к категории «целое-часть».

Например: число разных видов связей, относящихся к категории «целое-часть» - число разных видов дуг в графе партономии [модуля] онтологии.

Для свойств отношений причинности определяется граф причинно-следственных связей [модуля] онтологии, а для свойств структуры пространственных отношений - граф пространственных связей [модуля] онтологии.

Для свойств структуры ролевых отношений определяется граф ролевых связей [модуля] онтологии (используются ранее определенные базовые термины граф таксономии сущностей [модуля] онтологии и граф таксономии связей онтологии).

Граф ролевых связей [модуля] онтологии - графовая модель <В, Д>, где вершины В = {в-i}, в-i - сущности - активности (деятельности) онтологии [Madsen, 2002], в частности определяемые в онтологии потомки сущности «действие (act)» и потомки сущности «процесс», а также другие сущности (классы сущностей) онтологии, связанные с этими «ролевыми» связями (см. ниже), а дуги Д = {д-j}, д-j - «ролевая» связь между сущностями, одного из видов: связь с инструментом, связь с так называемым агентом (тем, кто осуществляет действие), связь с результатом (result) или с целью, связь с так называемым субъектом (patient). При этом дуги имеют метку, содержащую название ролевой связи.

Для оценивания представляют интерес такие свойства как полнота связей «деятельности» с «агентом», «субъектом», «инструментом» и ожидаемым «результатом»; отсутствие для вершины-активности одного\двух\трех видов ролевых связей; наличие «потенциально посторонних» связей для рассматриваемой сущности-деятельности (например, между агентом и субъектом).

Пример определения: полнота связей деятельности с агентом, субъектом, инструментом и ожидаемым результатом - наличие для сущности-активности (деятельности) в графе ролевых связей модуля онтологии дуг всех четырех видов: связь с инструментом, связь с агентом, связь с результатом, связь с субъектом.

Для онтологий, в которых трудно вычленить специфические связи - ролевые, простанственные и т.п., разумно определять свойства структуры предметно-ориентированных связей по графу предметно-ориентированных связей [модуля] онтологии: граф предметно-ориентированных связей [модуля] онтологии - графовая модель <В, Д>, где вершины В = {в-i}, в-i - сущности (классы сущностей) [модуля] онтологии (двух видов - сущность и экземпляр), а дуги Д = {д-j}, д-j - связи, отличные от таксономических, партономических и теоретико-множественных, имеющие метку с названием связи.

Пример вычисления свойств. Для онтологии компьютерных игр строится граф предметно-ориентированных связей онтологии, фрагмент которого - на рисунке 2.

В терминах графа предметно-ориентированных связей вычисляется свойство наличие вершины, «отправляющей» одинаковые дуги разным вершинам (значение - «да», такая вершина есть: экземпляр «Civilization2» имеет две дуги hasAuthor к вершинам «SidMeyer» и «Microprose»).

2.2 «Совместные» структурные свойства двух и более видов структуры

На основе вышеопределенных базовых терминов могут быть даны определения «совместных свойств таксономии и партономии» или другой структурной модели. Примеры совместных свойств таксономии и некоторой «предметно-ориентированной» структуры - отсутствие избыточности в свойствах или поведении сущности, связи (не-таксономической) между двумя сущностями, более абстрактной, чем связь между их предками, «полезность» множества свойств сущности, согласованность кардинальности некоторой топологической связи, указываемой и для предка, и для потомка, неудовлетворительная характеристика непересекаемости понятий верхнего уровня, наличие признаков «неудовлетворительной классификации», наличие признаков несогласованности определений, наличие специфических знаний о классах. Пример определения: отсутствие избыточности в свойствах или поведении сущности-потомка - наличие двух вершин, связанных путем в графе таксономии и имеющих одинаковую дугу с некоторой третьей вершиной в графе с не-таксономической структурой.

Пример вычисления свойств. Для отнологии компьютерных игр «совместные» структурные свойства двух видов структуры: Наличие признаков «неудовлетворительной классификации» - наличие одинаковых уточнений диапазонов атрибутов либо связей для всех потомков сущности - (значение «да», для всех представителей сущности TurnBasedStrategyGame; наличие «листовых» сущностей таксономии, которые нигде не использованы - «да» (введен экземпляр A3DO, но нигде не использован).

Наличие одинаковых значений атрибута runsOnPlatform и одинаковых уточнений диапазонов атрибута hasRequirements для всех представителей сущности TurnBasedStrategyGame в соответствии с [Gomez-Perez, 2001] означает неудовлетворительную классификацию. Возможные рекомендации таковы:

либо изменить классификацию, чтобы уточнить значения свойств runsOnPlatform и hasRequirements натуровне дополнительного подкласса;

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

3. Базовые термины для свойств определений и онтологических соглашений