4258
правок
Изменения
м
*#http://it-claim.ru/wiki/index.php?n=CLAIM.%D0%A1%D1%82%D1%80%D1%83%D0%BA%D1%82%D1%83%D1%80%D0%B0%D0%9E%D0%BD%D1%82%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D0%B8*#https://www.lektorium.tv/course/22781*http://www.ict.edu.ru/ft/005706/68352e2-st08.pdf
→Формальное представление онтологий
Экземпляры - это отдельные представители класса сущностей или явлений, то есть конкретные элементы какой-либо категории (например, экземпляром класса Человек будет королева Виктория). Составляющие онтологии подчиняются своеобразной иерархии. На нижнем уровне этой иерархической лестницы находятся экземпляры, конкретные индивиды , выше идут понятия, то есть категории. На уровень выше располагаются отношения между этими понятиями, а обобщающей и связующей является ступень правил или аксиом. [2]
==Формальное представление онтологий==
В информатике термин «онтология» означает концептуальную модель представления объектов, свойств объектов и отношений между ними (Chandrasekaran et al., 1999). Онтология включает набор понятий (терминов) предметной области, их определений и атрибутов, а также
связанное с ними множество аксиом и правил вывода (Gruber, 1995). Таким образом, формальная модель онтологии – это упорядоченная тройка конечных множеств O = <T, R, F>, где
*Т – конечное и непустое множество классов и концептов (понятий, терминов) предметной области как части реального мира, рассматриваемой в пределах заданного контекста , которую описывает онтология О;
*R – конечное множество отношений между концептами заданной предметной области;
*F – конечное множество функций интерпретации, заданных на понятиях и/или отношениях онтологии O или аксиом, используемых для моделирования утверждений, которые всегда являются истинными, что ограничивает интерпретацию и обеспечивает корректное использование понятий.
Одним из наиболее продуктивных подходов к представлению и использованию знаний о предметной области являются дескриптивные логики (ДЛ), определяющие формальный язык для описания понятий (концéпт, класс, категория или сущность) и отношений между ними (называемых ролями), утверждений о фактах и запросах к ним. Кроме этого, в ДЛ входят конструкторы (операции) для понятийных выражений, включающие конъюнкцию, дизъюнкцию и определение отношений.
Базы знаний предметной области с позиции дескриптивной логики подразделяются на общие знания о множестве классов понятий предметной области, свойствах и отношениях между ними (terminological knowledge, или T-Box) и знания об индивидуальных объектах (экземплярах класса), их свойствах и связях с другими объектами (assertional knowledge, или A-Box), т. е. описывают предметную область на уровне конкретных данных (база данных). В базе знаний обе компоненты взаимосвязаны. В общем случае создание прикладных онтологий, ориентированных на конкретную предметную область, может быть существенно ускорено, если использовать ранее разработанные канонические (ссылочные) онтологии для построения онтологических классов и отношений между ними.
В частности, в качестве такого рода ссылочной онтологии может быть онтология верхнего уровня или онтология базовых знаний, в которой описываются наиболее общие концепты (пространство, время, материя, объект, система, состояние, поведение, событие, процесс, действие, структура, функция и т. п.) и отношения («часть – целое», «общее – частное», «является подклассом», «оказывает воздействие», «является причиной», «приводит к», «регулирует», «связан с», «похоже на», а также пространственные и темпоральные отношения и т. п.). Эти концепты не зависят от конкретной проблемы или области,
поэтому представляется разумным унифицировать их для
больших сообществ пользователей.
==источники информации==
#http://www.bionet.nsc.ru/vogis/download/19-6/03_Podkolodnyy_Rus_2.pdf
#И.С. Константинова, О.А. Митрофанова. ОНТОЛОГИИ КАК СИСТЕМЫ ХРАНЕНИЯ ЗНАНИЙ. Санкт-Петербургский государственный университет. Факультет филологии и искусств, Кафедра математической лингвистики. http://www.ict.edu.ru/ft/005706/68352e2-st08.pdf
#Онтологии и тезаурусы: модели, инструменты, приложения. Авторы: Б.В. Добров, В.В. Иванов, Н.В. Лукашевич, В.Д. Соловьев. Учебный курс
{{Онтологическая библиотека}}