摘要：近年来,在数字化校园建设中,以数据服务为核心,为不同角色提供人性化信息服务,以及为学校发展提供决策支持的需求应运而生。而单一的统一数据库在应用系统和业务规模扩大时其应用查询效率较低,为此设计出一种新的数字化校园数据架构,将数据交换库与共享数据库分离,使数据存放更为有效,从而提高查询效率。从理论上和技术上对新的数据架构进行了可行性分析。新的数据架构能够较好地满足数字化校园建设中的新需求。

摘要：在OWL(web ontology language)中,本体复用主要采用owl:imports。然而,这种复制+粘贴的方式会出现若干问题。基于此,提出一种新的导入原型:语义导入。在本体空间中支持TBox推理机推理和语义导入,以促进本体复用。提出一种基于ALC本体语义导入的TBox推理分布式算法,解决了简单本体空间中Tableaux算法的逻辑推理问题。