提出一种解决分布异构数据集成问题的方法.首先向所有能提供数据资源的网络节点以数据服务单元为基本单位主动发布数据服务,然后用......

利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整......

针对非循环概念提出了一种对SHOIN（D）概念可满足性进行判断的方法——CDNF（complete disjunctive normal form）算法．该算法通过把非循环......

本文中，介绍了一个为描述SHIQ（D）和SHOQ（D）在增加和减去ABox的更新算法的运算法则，对浮动或流动数据推理程序提供了一个关键的步骤。通过......

实现知识共享和案例检索是开发基于案例的智能决策支持系统面临的首要问题。针对海上援救指挥决策,采用Web本体语言OWL表示危机态......