本体共享概念模型的明确的形式化规范说明Anexplicit，formalandsharedspecificationofconceptualizationRDFSchema表达能力太弱没有构词（如FOL的连接词）不能声明属性的性质（如传递性，对称性）不同通过对属性的限制定义类OWL扩展RDF(S)困难：RDF(S)的非经典模型论语义解决方案OWLFull：语法语义兼容OWLDL：语法相同，语义用经典模型论语义