Онтологии: как описывают предметную область для машин
Онтология формально описывает понятия предметной области, отношения между ними и принятые ограничения. Машиночитаемая модель может поддерживать согласование данных и вывод; её содержание отражает выбранную задачу и не является полной картиной мира.
Цифровые онтологии
OWL
OWL — язык формального описания онтологий, включающий классы, свойства и логические аксиомы. Заданная семантика позволяет получать логические следствия из утверждений; выразительность и вычислительные свойства зависят от используемого профиля языка.