Просмотр исходного текста страницы Категория:Онтологии

'''Онтология''' — наука, отвечающая на вопрос “что есть в мире”. В 20 веке к онтологии проявили интерес разработчики программ искусственного интеллекта: их интересовало, как описывать мир настолько однозначно, чтобы даже компьютер мог интерпретировать эти описания. Они и сформулировали новое определение онтологии (вернее, онтологического описания): “онтология — это разделяемое формальное описание/представление набора понятий.

'''Терминология''' – это про язык и слова, '''[[онтология]]''' – это про реальный мир и его объекты.

Не нужно путать “значение” со “смыслом”. Смысл текста, сообщения, иной информации определяется той ситуацией, в которой используется эта информация. Смысл – это про то, что надо делать, получив информацию, это называется '''"прагматика"'''. Если [[семантика]] – про внеситуационную связь символов с их значением, то прагматика – про понимание конкретных ситуаций в деятельности. Упавшая на землю перчатка в некоторых ситуациях должна быть поднята и возвращена владельцу (владелице), но в других ситуациях такая же перчатка, упав на землю, имеет смысл вызова на дуэль
 
Окончательные решения по финансированию проектов информатизации принимает директор-не-айтишник. Это означает, что '''при переводе лучше использовать слова/термины, понятные не-айтишной части сообщества значений'''. Поэтому software application стало “программой” (а не “приложением”), business actor — “людьми” (а не “бизнес-агентами” или “акторами”). Профессиональные айтишники сначала возмущаются подобным “терминологическим произволом” (ибо это термины не их речевого сообщества), но после получения опыта обсуждений с использованием “депрофессионализированной” терминологии говорят: “спасибо, такой перевод нам помог договориться”.

'''Базовая онтология''' — онтология, которая определяет ряд доменно-независимых онтологических категорий верхнего уровня, которые образуют общую основу для более развитых доменно-зависимых онтологий (Guizzardi and Wagner, 2004). 

== Отображение онтологий ==
'''Отображение онтологий''' (англ. ontology alignment, ontology matching, ontology mapping) — это процесс установления соответствий между понятиями ([[Концепция|концептами]]) нескольких онтологий. Множество таких соответствий и называется «отображением».

Проект [http://oaei.ontologymatching.org/ Ontology Alignment Evaluation Initiative] решает задачи оценки, сравнения и улучшения различных подходов отображения онтологий.

== Языки описания онтологий ==
'''Язык описания онтологий''' — формальный язык, используемый для кодирования онтологии. Существует несколько подобных языков:
* '''[[OWL]]''' — Web Ontology Language, стандарт W3C, язык для семантических утверждений, разработанный как расширение RDF и RDFS;
* '''KIF''' (англ. Knowledge Interchange Format — формат обмена знаниями) — основанный на S-выражениях синтаксис для логики;
* '''Common Logic''' (CL) — преемник KIF (стандартизован — ISO/IEC 24707:2007).
* '''CycL''' — онтологический язык, использующийся в проекте Cyc. Основан на исчислении предикатов с некоторыми расширениями более высокого порядка.
* '''DAML+OIL''' (FIPA)

Для работы с языками онтологий существует несколько видов технологий:
* редакторы онтологий (для создания онтологий);
* СУБД онтологий (для хранения и обращения к онтологии);
* хранилища онтологий (для работы с несколькими онтологиями).

== Известные реализации онтологий ==
* '''Basic Formal Ontology''' ([[BFO]]) — базовая формальная онтология (ISO/IEC 21838-2);
* '''Business Objects Reference Ontology''' ([[BORO]]) — метод построения онтологий для [[BPR|реинжиниринга]] от Chris Partridge;
* '''CIDOC Conceptual Reference Model''' ([https://www.cidoc-crm.org/ CIDOC CRM]) — онтология для объединения информации в области культурного наследия и музейной документации;
* '''Common Semantic Model''' ([http://ontolog.cim3.net/wiki/COSMO.html COSMO]) — базовая онтология от Patrick Cassidy;
* '''Calvino Six Memos Ontology''' ([https://mangiafrangette.github.io/cosmo/ontology.html CoSMO]) — онтология, формализующая концепты первой главы "Lightness" книги Italo Calvino "Six Memos for the Next Millennium";
* '''Сайк''' ([https://cyc.com/ Cyc]) — онтология и база знаний для машинного интеллекта, а также инструменты для принятия решений на основе логического вывода и привлечения здравого смысла;
* '''Descriptive Ontology for Linguistic and Cognitive Engineering''' ([http://www.loa.istc.cnr.it/dolce/overview.html DOLCE])
* General Formal Ontology
* [[gist]] — минималистская верхняя онтология от Semantic Arts;
* IDEAS
* [[ISO 15926]]
* '''[https://projects.ics.forth.gr/isl/MarineTLO/ MarineTLO]''' - онтология для объединения информации о морских организмах.
* PROTON
* SUMO (Suggested Upper Merged Ontology)
* UMBEL
* UFO (Unified Foundational Ontology)
* WordNet
* YAMATO (Yet Another More Advanced Top Ontology)

== См. также ==
* [[Инженерия знаний]]
* [[Холизм]]

[[Категория:Науки и теории]]