Онтология — различия между версиями
Admin (обсуждение | вклад) м (→Языки описания онтологий) |
Admin (обсуждение | вклад) м (→См. также) |
||
Строка 24: | Строка 24: | ||
* СУБД онтологий (для хранения и обращения к онтологии); | * СУБД онтологий (для хранения и обращения к онтологии); | ||
* хранилища онтологий (для работы с несколькими онтологиями). | * хранилища онтологий (для работы с несколькими онтологиями). | ||
+ | |||
+ | == Известные реализации онтологий == | ||
+ | * 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[9] | ||
+ | * UFO (Unified Foundational Ontology) | ||
+ | * WordNet[ | ||
+ | * YAMATO (Yet Another More Advanced Top Ontology) | ||
== См. также == | == См. также == |
Версия 15:42, 27 августа 2019
Онтология — наука, отвечающая на вопрос “что есть в мире”. В 20 веке к онтологии проявили интерес разработчики программ искусственного интеллекта: их интересовало, как описывать мир настолько однозначно, чтобы даже компьютер мог интерпретировать эти описания. Они и сформулировали новое определение онтологии (вернее, онтологического описания): “онтология — это разделяемое формальное описание/представление набора понятий.
Терминология – это про язык и слова, онтология – это про реальный мир и его объекты.
Не нужно путать “значение” со “смыслом”. Смысл текста, сообщения, иной информации определяется той ситуацией, в которой используется эта информация. Смысл – это про то, что надо делать, получив информацию, это называется "прагматика". Если семантика – про внеситуационную связь символов с их значением, то прагматика – про понимание конкретных ситуаций в деятельности. Упавшая на землю перчатка в некоторых ситуациях должна быть поднята и возвращена владельцу (владелице), но в других ситуациях такая же перчатка, упав на землю, имеет смысл вызова на дуэль
Окончательные решения по финансированию проектов информатизации принимает директор-не-айтишник. Это означает, что при переводе лучше использовать слова/термины, понятные не-айтишной части сообщества значений. Поэтому software application стало “программой” (а не “приложением”), business actor — “людьми” (а не “бизнес-агентами” или “акторами”). Профессиональные айтишники сначала возмущаются подобным “терминологическим произволом” (ибо это термины не их речевого сообщества), но после получения опыта обсуждений с использованием “депрофессионализированной” терминологии говорят: “спасибо, такой перевод нам помог договориться”.
Содержание
Отображение онтологий
Отображение онтологий (англ. 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[9]
- UFO (Unified Foundational Ontology)
- WordNet[
- YAMATO (Yet Another More Advanced Top Ontology)