Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

5. Пример практического использования онтологии предметной области (use case) Для реализации автоматизированного логического вывода в онтологии были введены специальные классы: - Situation() - ситуация; - ConflictSituation() - конфликтная ситуация; - Territory() - территория; - Agent() - агент (некоторая активная сущность); - NaturalPhenomenon() - природное явление; - Activity() - активность (некоторое действие). Также были заданы следующие отношения: - hasActivity(X,Y) - бинарное отношение «ситуация имеет активность»; - hasTerritory(X,Y) - бинарное отношение «ситуация имеет территорию»; - hasNegativeEffectOn(Y,Y) - бинарное отношение «имеется негативный эффект при данном сочетании активности и территории»; - hasParticipant(X,Y) - бинарное отношение «ситуация имеет агента». Помимо приведенных классов и отношений в онтологии были заданы дополнительные аксиомы, позволяющие применять логический вывод для решения аналитических задач. В качестве примера рассмотрим аксиому, используемую для обнаружения потенциального конфликта. Она позволяет относить к классу конфликтной ситуации некоторые экземпляры класса ситуация, имеющих некоторый набор связей (отношений) с экземплярами других классов. Данная аксиома на языке логики предикатов первого порядка будет иметь следующий вид: Situation(XO) AND Activity(Y) AND Territory(V) AND hasTerritory(X0,V) AND hasActivity(X0,Y) AND hasNegativeEffectOn(Y,V) AND Situation(X1) AND NaturalPhenomenon(N) AND hasActivity(X1,N) AND hasTerritory(X1,V) -> ConflictSituation(X0). В разработанной онтологии данная аксиома представляется в виде выражения дискрипционной логики, которое в манчестерском синтаксисе языка OWL, будет иметь следующий вид: ConflictSituation EquivalentTo Situation and hasActivity some (Activity and hasNegativeEffectOn some (Territory and inverse hasTerritory some Situation)) Содержательный смысл данной аксиомы состоит в следующем: если активность в рамках ситуации негативно влияет на территорию, на которой происходит природное явление (иная ситуация), то эта ситуация является конфликтной (потенциально конфликтной) ситуацией. Таким образом, в онтологии в виде экземпляров класса «Активность» могут быть заданы различные виды деятельности, а факты ее ведения какой-либо организацией на некоторой территории - соответствующим экземпляром ситуации, включающей экземпляр территории и агента (сущности ведущей деятельность). Далее, определяем отношения hasNegativeEffectOn между экземплярами видов активности и территориями, исходя из данных природного 86