网络实用分类系统语言语义及定义方式

• OWL Web Ontology Language Semantics and Abstract Syntax