Как OWL задаёт классы, свойства и аксиомы онтологии

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