文件名称：本体设计的Owl语言实现（protege本体编辑）
文件大小：310KB
文件格式：RAR
更新时间：2012-09-16 09:54:21
Owl 本体 protege
本体 共享概念模型的明确的形式化规范说明 An explicit，formal and shared specification of conceptualization RDF Schema表达能力太弱 没有构词（如FOL 的连接词） 不能声明属性的性质（如传递性，对称性） 不同通过对属性的限制定义类 OWL扩展RDF(S) 困难：RDF(S)的非经典模型论语义 解决方案 OWL Full：语法语义兼容 OWL DL：语法相同，语义用经典模型论语义
【文件预览】：
OWL.PPT