Язык OWL

Язык Web-Онтологий OWL (Ontology Web Language), созданный консорциумом W3C, ориентирован на представление семантической информации о данных, распространяемых по каналам Internet, и изначально рассматривался как средство описания онтологий. По выразительной мощности OWL значительно превышает возможности XML, RDF и RDFS. Формальная семантика OWL имеет развитые механизмы логических выводов, позволяя получать новые факты, непосредственно не представленные в онтологии, но вытекающие из ее семантики. По сравнению с RDF/RDFS язык OWL реализует качественно расширенные средства определения отношений между типами (классами) объектов и свойств, между классами и индивидами, а также между целостными онтологиями или их компонентами. Эти различия позволяют утверждать, что OWL в полном смысле слова является языком семантического описания Web-ресурсов и Web-контентов. Важным преимуществом OWL-онтологий является также предполагаемая доступность инструментов, способных «рассуждать» о них, причем инструменты данного класса обеспечивают общую поддержку аппарата онтологий, которая не является специфической для какой-либо предметной области. Таким образом, OWL претендует на статус общепринятого выразительного средства описания онтологий.