|
|
(не показаны 2 промежуточные версии этого же участника) |
Строка 1: |
Строка 1: |
− | '''Онтология''' — наука, отвечающая на вопрос “что есть в мире”. В 20 веке к онтологии проявили интерес разработчики программ искусственного интеллекта: их интересовало, как описывать мир настолько однозначно, чтобы даже компьютер мог интерпретировать эти описания. Они и сформулировали новое определение онтологии (вернее, онтологического описания): “онтология — это разделяемое формальное описание/представление набора понятий.
| + | #REDIRECT [[Категория:Онтологии]] |
− | | + | |
− | '''Терминология''' – это про язык и слова, '''[[онтология]]''' – это про реальный мир и его объекты.
| + | |
− | | + | |
− | Не нужно путать “значение” со “смыслом”. Смысл текста, сообщения, иной информации определяется той ситуацией, в которой используется эта информация. Смысл – это про то, что надо делать, получив информацию, это называется '''"прагматика"'''. Если [[семантика]] – про внеситуационную связь символов с их значением, то прагматика – про понимание конкретных ситуаций в деятельности. Упавшая на землю перчатка в некоторых ситуациях должна быть поднята и возвращена владельцу (владелице), но в других ситуациях такая же перчатка, упав на землю, имеет смысл вызова на дуэль
| + | |
− |
| + | |
− | Окончательные решения по финансированию проектов информатизации принимает директор-не-айтишник. Это означает, что '''при переводе лучше использовать слова/термины, понятные не-айтишной части сообщества значений'''. Поэтому software application стало “программой” (а не “приложением”), business actor — “людьми” (а не “бизнес-агентами” или “акторами”). Профессиональные айтишники сначала возмущаются подобным “терминологическим произволом” (ибо это термины не их речевого сообщества), но после получения опыта обсуждений с использованием “депрофессионализированной” терминологии говорят: “спасибо, такой перевод нам помог договориться”.
| + | |
− | | + | |
− | == Отображение онтологий ==
| + | |
− | '''Отображение онтологий''' (англ. 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
| + | |
− | * [[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)
| + | |
− | | + | |
− | == См. также ==
| + | |
− | * [[Инженерия знаний]]
| + | |
− | * [[Холизм]]
| + | |
− | | + | |
− | [[Категория:Науки и теории]] | + | |