Язык веб-онтологий ( OWL ) представляет собой семейство языков представления знаний для создания онтологий . Онтологии — это формальный способ описания таксономий и классификационных сетей, по существу определяющий структуру знаний для различных областей: существительные, представляющие классы объектов, и глаголы, представляющие отношения между объектами.
Онтологии напоминают иерархии классов в объектно-ориентированном программировании , но имеют несколько важных отличий. Иерархии классов предназначены для представления структур, используемых в исходном коде, которые развиваются довольно медленно (возможно, с ежемесячными изменениями), тогда как онтологии предназначены для представления информации в Интернете и, как ожидается, будут развиваться почти постоянно. Точно так же онтологии, как правило, гораздо более гибкие, поскольку они предназначены для представления информации в Интернете, поступающей из всех видов разнородных источников данных. Иерархии классов, с другой стороны, имеют тенденцию быть довольно статичными и полагаться на гораздо менее разнообразные и более структурированные источники данных, такие как корпоративные базы данных. [1]
Языки OWL характеризуются формальной семантикой . Они основаны на XML -стандарте World Wide Web Consortium (W3C) для объектов, который называется Resource Description Framework (RDF). [2] OWL и RDF вызвали значительный академический, медицинский и коммерческий интерес.
В октябре 2007 года [3] была создана новая рабочая группа W3C [4] для расширения OWL несколькими новыми функциями, предложенными в заявке участника OWL 1.1. [5] W3C анонсировала новую версию OWL 27 октября 2009 г. [6] Эта новая версия, названная OWL 2, вскоре нашла свое применение в семантических редакторах, таких как Protégé , и программах семантического мышления , таких как Pellet, [7] RacerPro, [8 ] FaCT++ [9] [10] и HermiT. [11]
Семейство OWL содержит множество видов, сериализаций, синтаксисов и спецификаций с похожими именами. OWL и OWL2 используются для обозначения спецификаций 2004 и 2009 годов соответственно. Будут использоваться полные названия видов, включая версию спецификации (например, OWL2 EL). В более общем смысле будет использоваться семейство OWL . [12] [13] [14]
Существует долгая история онтологического развития философии и информатики. С 1990-х годов в ходе ряда исследований изучалось, как идея представления знаний (KR) с помощью искусственного интеллекта (AI) может быть полезна во всемирной паутине. К ним относятся языки на основе HTML (называемые SHOE ), основанные на XML (называемые XOL, позже OIL ), а также различные языки KR на основе фреймов и подходы к получению знаний.