Категория:Онтологии

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

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

Не нужно путать “значение” со “смыслом”. Смысл текста, сообщения, иной информации определяется той ситуацией, в которой используется эта информация. Смысл – это про то, что надо делать, получив информацию, это называется "прагматика". Если семантика – про внеситуационную связь символов с их значением, то прагматика – про понимание конкретных ситуаций в деятельности. Упавшая на землю перчатка в некоторых ситуациях должна быть поднята и возвращена владельцу (владелице), но в других ситуациях такая же перчатка, упав на землю, имеет смысл вызова на дуэль

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

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

Отображение онтологий

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

Проект 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
• BORO
• CIDOC Conceptual Reference Model
• COSMO
• Cyc
• DOLCE
• General Formal Ontology
• gist
• IDEAS
• ISO 15926
• MarineTLO
• PROTON
• SUMO (Suggested Upper Merged Ontology)
• UMBEL
• UFO (Unified Foundational Ontology)
• WordNet
• YAMATO (Yet Another More Advanced Top Ontology)

См. также

• Инженерия знаний
• Холизм