Язык веб-онтологий - описательная логика
ЯЗЫК ВЕБ-ОНТОЛОГИЙ - ОПИСАТЕЛЬНАЯ ЛОГИКА
(web ontology language, OWL - description logic OWL-DL)
Семейство языков представления знаний или онтологических языков, предназначенных для разработки онтологий или баз знаний.