2. Онтологии
2.1. Онтологии и семантическая паутина
Онтология – раздел философии, изучающий фундаментальные принципы бытия: категории, сущности, структуру, свойства и закономерности сущего8. В настоящее время онтологии широко используются в обучении, различного рода исследованиях и информационных технологиях. Как своеобразная форма представления некоторой области знаний (предметной области) онтологии применяются при создании семантической паутины9, систем искусственного интеллекта, а также прикладных информационных систем. В частности, одним из ключевых компонентов создаваемой и внедряемой в ОАО «РЖД» Интеллектуальной системы управления на железнодорожном транспорте является «онтология ИСУЖТ».
Среди языков описания онтологий следует выделить:
OWL (англ. Web Ontology Language) – язык описания онтологий для семантической паутины (http://www.w3.org/TR/owl2-overview). Основан на более ранних языках OIL и DAML+OIL, которые, в свою очередь, базируются на RDF и RDFS:
OIL (англ. Ontology Inference Layer или Ontology Interchange Language) – онтологический слой (уровень) логического вывода или онтологический язык обмена;
DAML (англ. DARPA Agent Markup Language) – язык разметки агента DARPA10;
RDF (англ. Resource Description Framework) – среда описания ресурса (http://www.w3.org/TR/rdf11-concepts);
RDFS (англ. RDF Schema) – схема RDF (http://www.w3.org/TR/rdf-schema);
RIF (англ. Rule Interchange Format) – формат обмена правилами (http://www.w3.org/TR/rif-core);
KIF (англ. Knowledge Interchange Format) – формат обмена знаниями (http://www.ksl.stanford.edu/knowledge-sharing/kif), разработанный в «Лаборатории искусственного интеллекта» Стэндфордского университета;
CL (англ. Common Logic) – общая логика, представляющая собой основу для семейства логических языков и предназначенная для обмена и передачи знаний в компьютерных системах. Является преемницей KIF и носит статус международного стандарта (ISO/IEC 24707:2007 «Information technology – Common Logic (CL): a framework for a family of logic-based languages»).
CycL (англ. Cyc Language, от англ. encyclopedia) – онтологический язык, использующийся в проекте искусственного интеллекта Дугласа Лената Cyc (http://www.cyc.com).
В рамках создания семантической паутины W3C11 активно продвигает онтологические языки и спецификации, представленные на следующем рисунке (http://www.w3.org/2001/sw).
Рис. 8. Слои семантической паутины
В соответствии с концепцией Всемирной паутины каждый ресурс должен иметь унифицированный идентификатор ресурса (англ. Uniform Resource Identifier, URI) или интернационализированный идентификатор ресурса (англ. Internationalized Resource Identifier, IRI). В терминах семантической паутины под ресурсом понимается реальная (машина, дом, Вася) или абстрактная (любовь, отношение, тип) сущность, включая информационные объекты (сайт, файл, ящик электронной почты).
В общем виде онтология представляет собой набор элементов четырех типов:
понятия (классы) – концептуальные сущности (машина, дом, любовь);
экземпляры (индивиды) – конкретные представители понятий (Вася, www.google.com, 123);
отношения (предикаты) – связи между понятиями или экземплярами (таксономические, родственные, производственные), а также свойства сущности (цвет, длина, вкус);
аксиомы – очевидные утверждения, связывающие понятия, экземпляры и отношения.
В качестве синтаксических конструкций для онтологического описания и обмена знаниями в виде RDF, RDFS и OWL могут использоваться спецификации (нотации):
адаптированные:
XML (англ. eXtensible Markup Language) – расширяемый язык разметки (http://www.w3.org/TR/rdf-syntax-grammar);
JSON-LD (англ. JavaScript Object Notation for Linked Data) – объектная нотация JavaScript для связывания данных (http://www.w3.org/ TR/rdf-json);
специализированные:
N-Triples – RDF-тройки (http://www.w3.org/TR/n-triples);
Turtle (англ. Terse RDF Triple Language) – краткий язык RDF-троек (http://www.w3.org/TR/turtle). Расширение нотации N-Triples;
TriG – TriG (http://www.w3.org/TR/trig). Расширение нотации Turtle;
N-Quads – RDF-четверки (http://www.w3.org/TR/n-quads). Дополнение к нотации N-Triples.
Процедурная обработка (добавление, удаление, вывод) знаний, содержащихся в онтологии, выполняется с помощью различных диалектов RIF (продукции, фреймы, логика предикатов первого порядка, немонотонная F-логика).
Декларативная обработка знаний в стиле SQL12-запросов к базам данных осуществляется посредством SPARQL13.