论文部分内容阅读
在对企业人力资源信息进行本体论建模的基础上引入OCL约束，一方面消除了单纯使用本体描述语言时存在的不足．弥补了本体论建模时可能存在的属性不一致或是不相容的现象，而且通过扩充OCL约束集，采用一阶二元谓词的描述转换．实现了对企业人力资源领域状态的动态转移的描述，最终形成了对企业人力资源信息的静态和动态的形式化描述。