Философы много веков составляли очень неформальные описания мира, их книги были метафоричны, многозначны и мутны. Andries van Renssen29 как-то заметил, что «философы прошлого недорабатывали по части строгости изложения своих философских трудов, задача получения строгого философского знания выпала на нашу долю». В 20 веке к онтологии проявили интерес разработчики программ искусственного интеллекта: их интересовало, как описывать мир настолько однозначно, чтобы даже компьютер мог интерпретировать эти описания. Они и сформулировали новое определение онтологии, чуть-чуть сдвинув акцент на важность онтологического описания: «онтология – это формальное описание/представление разделяемого набора понятий» («An ontology is a formal specification of a shared conceptualization», Tom Gruber30). Эта маленькая путаница привела к тому, что «настоящие онтологи» (которые обсуждают мир) не всегда считают людей, занимающихся компьютерными онтологиями «настоящими», ибо компьютерщики обсуждение вопроса «из чего состоит мир» часто заменяют вопросом «как описывается/специфицируется мир», т.е. обсуждают семантику вместо онтологии.
Терминология
Кроме формальных компьютерных описаний мира и всевозможных прошлых, настоящих, будущих и даже невозможных ситуаций в мире делается и множество описаний мира на естественных языках.
Терминология31 – это семантическая работа в первую очередь с естественным человеческим языком, это наука о словах, которыми обозначают понятия (а не о самих понятиях!). В каждом языке сформировались (или продолжают формироваться) наборы терминов для разных областей человеческой деятельности. И в этих областях термины приобретают значения, т.е. обозначают (они ведь «знаки», поэтому «обозначают») какие-то онтологические, т.е. находящиеся в реальном мире, а не мире знаков, объекты и их отношения.
Очень часто споры между людьми по самым важным вопросам жизни и смерти оказываются всего-навсего спорами о терминах: один и тот же онтологический объект называется по-разному и люди считают, что речь идёт о разных объектах (в философской литературе приводится пример Венеры – в одних странах её называют «утренняя звезда», а в других – «вечерняя звезда»), или наоборот – одинаковые слова означают совсем разные объекты («косил косой с косой косой косой на косе»). В таких спорах о терминах важно уметь формулировать свои представления о мире как ожидаемые наблюдения, использование самих терминов, если о них ещё не договорились, будет бесполезным.
Чтобы не пропасть в таких спорах и не бояться свободы использования разных вариантов терминов для одного и того же, важно научиться различать специальные группы людей – речевые сообщества (speech communities) и сообщества значений (semantic communities). Это различение подсказывает нам стандарт Semantics of Business Vocabulary and Rules (OMG SBVR)32.
Людей в речевом сообществе объединяют естественный язык (русский, японский, немецкий и т.д.) и специальное подмножество словаря этого языка – терминология конкретной предметной области. Специальная терминология чаще всего изучается по каким-то учебникам, осваивается в непосредственном общении, или берётся из словарика определений какого-то стандарта, предпочитаемого теми или иными профессионалами (например, инженеры могут настаивать на использовании терминологии из ГОСТ 34.320—96, ISO/IEC/IEEE 15288 и т.д.). Поскольку разных сообществ профессионалов много – инженеры (они тоже бывают самые разные: инженеры-строители, инженеры-программисты, биоинженеры и т.д.), менеджеры, юристы, кадровики, врачи, актёры, танцоры – речевых сообществ даже для одного естественного языка можно обнаружить множество. У всех есть свои предпочитаемые наборы терминов из разных стандартов или учебников, и достичь однозначного соглашения по терминологии даже в области общих интересов очень трудно.
Сообщество значений (semantic commuinty, семантическое сообщество) – это совокупность людей, которые одинаково понимают значение терминов, т.е. обозначаемые терминами окружающие предметы и явления. Например, все те, кто знает о существовании автомобилей и не путает автомобиль с трёхколесным велосипедом и газонокосилкой.
Когда люди общаются, они используют какую-то конкретную терминологию, выбирают слова для коммуникации. Но интересно-то обсуждать им именно предметы и явления реального мира, то есть значения терминов, их семантику. Семантика – это наука о связи разных обозначений, символов (слов из разных языков или кодов, то есть сочетаний цифр и букв) с общими для разных людей и ситуаций значениями из реального мира, поэтому мы и переводим semantic community как «сообщество значений».