【摘 要】
：
在本体工程中,寻找不可满足概念或角色的本体最小不可满足保持子集是一个重要的研究课题,因为它可以提供一些有用的信息用于处理本体的不一致任务,比如分析本体、调试本体、
【机 构】
：
北京交通大学计算机与信息技术学院,北京北方计算中心,东南大学计算机科学与工程学院
论文部分内容阅读
在本体工程中,寻找不可满足概念或角色的本体最小不可满足保持子集是一个重要的研究课题,因为它可以提供一些有用的信息用于处理本体的不一致任务,比如分析本体、调试本体、修改本体等.现有的方法主要面向推理复杂度很高的高表达能力描述逻辑（DL）.针对低复杂度描述逻辑DL-Lite,通过分析DL-Lite中不可满足概念或角色所具有的特点,提出了一种有效地计算DL-Lite本体中不可满足概念或角色的本体最小不可满足保持子集的算法.最后将算法与当前最有代表性的算法进行了比较,结果表明所提出的算法对于DL-Lite本体来说
其他文献
纵观全国物流业信息化发展态势,由地方政府率先示范应用推动物流业信息化发展,成为当下国内物流业信息化发展的最主要态,陕西省政府发布的《陕西省物流业调整和振兴规划实施
远程培训是教师培训的重要方式，也是建设高素质专业化教师队伍的重要途径。但教师远程培训的理论研究明显滞后于实践的快速发展。在线辅导教师作为教师远程培训中学习支持服务
我国的广播电视新闻话语体系,按历史时期大致可以划分为:转型时期的新闻话语、多元化时期的新闻话语、大众化时期的新闻话语。不同时代的语言传播方式是多样的,广播电视新闻
如何促进就业已成为当前中国社会关注的重点问题,直接影响到和谐社会与中国梦的实现.文章以社会支持视角为切入点进行分析,在介绍社会支持网络的内涵和我国就业现状后,试图通
膨化猪皮，呈乳白色或乳黄色，松酥香脆，香味诱人。猪皮经膨化后，其体积可比原来增大十几倍，且毛根消失，可直接食用或加工成其他菜肴。
介绍了在自焙电极焙烧过程中,采用角接法焙烧电极时的重点管控过程和技术控制要点,指出了提高电极焙烧速度和质量对减少电极焙烧过程中电能损耗有重要影响。通过实践,此法在
盐城市在合作项目的支持下,以开展农村社区卫生服务、改革合作医疗制度为主线,以实现两者的有机结合为手段,以提高农民的医疗保障水平为目标,通过开展农村社区卫生服务供需能
介绍了在确定对刀尺寸的公差带分布时,考虑到了刀具磨损对工件加工尺寸的影响,以便充分利用刀具的寿命,减少对刀次数,尽可能保证加工出一批工件的尺寸分布范围以工序尺寸的公
研究硒对作物吸收其他矿质元素的影响，以期找到较适宜的喷施浓度和喷施次数，以提高胡萝卜中矿质元素的含量。以胡萝卜为试材，分别向叶面喷施不同浓度和次数的硒，研究其对胡萝卜肉
美国地方政府债务已经有近两百年的历史，其成熟和完善的市政债券体系，对支持地方基础设施建设和经济发展功不可没。本文研究了美国的地方政府债务管理模式与制度体系，对美国地方