21 января 2018г.
Аннотация
В данной статье автор анализирует проблему использования различных инструментов для описания семантики практических областей и для создания хранилищ, технические данные в границах которых связаны между собой семантически. На этой статье автор акцентирует на слабых и сильных сторонах данных подходов.
Annotation
In this article the author analyzes the problem of using various tools for describing the semantics practical areas and for creating repositories, technical data within the boundaries of which are related semantically. On this article, the author emphasizes the weaknesses and strengths of these approaches.
Ключевые слова: онтология, база данных, техническая предметная область, формализованные языки, информация.
Keywords: ontology, database, technical subject area, formalized languages, information.
Под языком описания онтологии понимают формальный язык, который предназначен для создания информационных моделей в рамках конкретной предметно области. При этом, с точки зрения разнообразия средств и подходов к данной проблеме выделяют три основные концепции:
1. Формализованные технические языки на базе естественных.
2. Машинно-ориентированные языки.
3. Универсальные языки [1].
Создание формализованных технических языков обусловлено проблемой глобализации промышленных комплексов, характерной для современного производства наукоемкой и высокотехнологичной продукции. Это напрямую связано с возникновением проблем коммуникативного характера у сотрудников, которые являются носителями различных языков.
Именно поэтому актуальным вопросом является разработка проекта по внедрению формализованного языка на базе естественных. В настоящее время в данной сфере осуществлен ряд таких успешных проектов. Их объединяет такая характеристика, как набор правил формализации, который используется для обеспечения однозначности и полноты семантики текста. Можно выделить следующие характеристики формализованных языков на базе естественных:
· использование семантической единицы только в одном значении, которое было оговорено заранее;
· использование исключительно простых предложений;
· запрет на постановку подлежащего в конец предложения;
· запрет на изменение инвертированного порядка частей составного сказуемого;
· запрет постановки прямого дополнения перед сказуемым;
· запрет на использование причастных оборотов в качестве синтаксических оборотов [2].
Благодаря формализации языка значительно облегчается автоматическая обработка текста. Это доказывают примеры регламентированных языков, созданных под эгидой ассоциации AECMA (Европейской ассоциации аэрокосмической промышленности), а также языка Gellish: STE (Simplified Technical English), представляющего собой формализованные спецификации написания текстов для повышения их семантической прозрачности.
Создание машинно-ориентированных языков было направлено на решение проблем создания машиночитаемых баз знаний, в частности для создания специализированных языков описания их семантики. Начало работы по созданию машинно-ориентированных языков датируется началом 70-х гг. XX века [4].
Специализированные машинные языки онтологического описания выступали в качестве инструментов первых попыток создания онтологий. На основании типа логики применяемой машинными языками логики разработана следующая классификация машинных языков:
1. Фреймово-продукционные машинные языки.
2. Языки дискриптивной логики.
3. Языки логики первого порядка [3].
В качестве примеров можно привести широко распространенные машинные языки, к числу которых можно отнести KIF (Knowledge Interchange Format) [5] и CycL (Cycorp Language) [6].
KIF представляет собой универсальный машинно-ориентированный язык для обмена данными в рамках выбранной предметной области. Для KIF характерна декларативная семантика и логическая всесторонность. KIF также называют языком продукционного типа, где запись каждой продукции осуществляется в виде импликации.
CycL представляет собой формальный язык, синтаксис которого базируется на логике первого порядка. Объекты, составляющие словарь CycL, объединяются в выражения, которые используются для создания утверждений в CycL базы данных.
В качестве общего недостатка машинно-ориентированных языков можно назвать сложность их синтаксиса и потребность в специальных инструментах для интерпретации.
Названный недостаток несвойственен для универсальных языков, которые с одной стороны сохраняют описательную полноту для компьютерных систем, а с другой – семантически прозрачны для человека.
В качестве примеров можно привести универсальные языки XML (Extensible Markup Language) и HTML (HyperText Markup Language). HTML представляет собой стандартный язык разметки документов во Всемирной паутине. Большинство веб-страниц содержат описание разметки на языке HTML.Спецификация XML связана с описанием XML-документов и частичным описанием поведения XML-процессоров (программ, читающих XML-документы и обеспечивающих доступ к их содержимому).
В результате анализа можно сделать вывод, что для описания технических предметных областей наиболее целесообразно использовании следующих языков (С++,С#,Delphi ... и тд).
Список источников и литературы
1. Conservative groupoids recognize only regular languages. Available at: http://www.academia.edu/9200925/Conservative_groupoids_recognize_only_regular_lang uages_Extended_Version_.
2. Orlando Chiarello, Dr. Knezevic Jezdimir The Role of Simplified Technical // English in Aviation Maintenance. 2013. No. 2. P. 36-38.
3. Oscar Corcho A Roadmap to Ontology Specification Languages. Available at:http://www.cs.man.ac.uk/~ocorcho/documents/ekaw00_CorchoGomezPerez.pdf. Semantic Information Modeling in Formal English. Available at: http://www.gellish.net/.
4. Knowledge Interchange Format. Available at: http://www.ksl.stanford.edu/knowledgesharing/kif/.
5. CycL: The Cyc Knowledge Representation Language – Cycorpwww.cyc.com/cycl/
