排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的。如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响。Lutz 等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的。在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题。首先,给出了循环术语集在最大不动点语义下的保守扩充的充分条件是两个TBox 具有相同的原始概念,并论证了该算法是多项式时间复杂的。其次,给出最大不动点模型来处理循环术语集的保守扩充,并论证了该算法是指数时间复杂的。 相似文献
2.
4.
乾隆年间河东盐商经营贸易额的估算 总被引:2,自引:0,他引:2
河东盐商是晋商群体的重要组成部分,但目前对盐商经营贸易数量方面的研究相对较少。本文分析了河东盐商在清代乾隆年间运销河东盐中的经营情况,对运商在乾隆年间的食盐售价及贸易额等方面进行了估算。 相似文献
1