OWL本体的重要组成部分 Individuals:个体,代表一个领域里面的对象.可以理解成一个类的实例(instances of classes). Properties:属性,是两个个体之间的双重联系,它有三个重要的特性(functional.transitive.symmetric). Classes:个体的集合,是一系列概念的语义表达,和编程语言中的类相似,有继承体系. Class Axiom:类的公理,在验证一致性和推理中发挥作用. Class Expression:类的表达,有并.交.…