摘要
为彻底解决在Internet环境下因管理信息本体需求更为多样、动态和不确定所导致的管理信息系统开发成本高、效率低、周期长等问题,运用集合空间运算和数理逻辑推导的方法,给出了管理信息系统"知识-表-谓词"三元组构架,将管理信息本体需求中的功能和业务相分离,建立了一套针对管理需求的语义描述体系和语用实现机制,通过有限的谓词演算序列对管理信息系统状态集进行推演,达到用户满意的程度.该语义描述体系和谓词演算有限集基于二维关系表集,与具体的领域业务无关.
In order to submit a complete solution for the high cost, low efficiency and long cycle in the de- velopment of management information system caused by the added diversity, dynamism and uncertainty of ontological requests of the management information in Internet environment. A three-element (knowledgetable-predicate) set of management information system was described by the matrix space and mathematical logic. And their deductions and function of ontological request in management information were separated from the business. A semantic description and its realization to the management request were established. The statt^s set of management information can be deduced by the finite predicate calculus and the users of informational system will be satisfied. Such a semantic description system and a predicate calculus finite set are both based on two-dimensional relational tables and have nothing to do with the concrete domain business.
出处
《浙江大学学报(工学版)》
EI
CAS
CSCD
北大核心
2008年第8期1286-1293,共8页
Journal of Zhejiang University:Engineering Science
基金
国家“863”高技术研究发展计划资助项目(2007AA01Z311,2007AA04Z1A5)
教育部博士学科点基金资助项目(20060335114)
关键词
管理信息本体
中间件系统
功能和业务分离
语义描述
management informational ontology
middleware system
separation of function from business
semantic description