Категория:Онтологии
Онтология — наука, отвечающая на вопрос “что есть в мире”. В 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 (BFO) — базовая формальная онтология (ISO/IEC 21838-2);
- Business Objects Reference Ontology (BORO) — метод построения онтологий для реинжиниринга от Chris Partridge;
- CIDOC Conceptual Reference Model (CIDOC CRM) — онтология для объединения информации в области культурного наследия и музейной документации;
- Common Semantic Model (COSMO) — базовая онтология от Patrick Cassidy;
- Calvino Six Memos Ontology (CoSMO) — онтология, формализующая концепты первой главы "Lightness" книги Italo Calvino "Six Memos for the Next Millennium";
- Сайк (Cyc) — онтология и база знаний для машинного интеллекта, а также инструменты для принятия решений на основе логического вывода и привлечения здравого смысла;
- Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE)
- General Formal Ontology
- gist — минималистская верхняя онтология от Semantic Arts;
- IDEAS
- ISO 15926
- MarineTLO - онтология для объединения информации о морских организмах.
- PROTON
- SUMO (Suggested Upper Merged Ontology)
- UMBEL
- UFO (Unified Foundational Ontology)
- WordNet
- YAMATO (Yet Another More Advanced Top Ontology)