OWL - Web Ontology Language

Немного истории:
RDF/RDFS.
DAML+OIL.
OWL. Описание требований:
Синтаксис.
Автоматический разбор.
Семантика.
Субъективно независимое понимание. Обычно достигается отображением на логические формализмы (Description Logic).
Доказательная способность.
Автоматическая проверка согласованности, связей между классами, классификация объектов.
Выразительность.
Удобство.
Обычно описание задается не руками, а специальными программами.
Недостатки RDF.
Различные спецификации OWL.
Описание языка OWL.