这篇文章解释了OWL语言的使用：通过定义类以及类的属性来形式化某个领域；定义个体并说明它们之间的属性；在OWL语言的形式化语义允许的层次上，对类和个体进行推理。