新人注册即送好礼我厨糖果派对新注册送会员2025年最新版 V1.5

给大家介绍一款自动检测软件版本并会为你自动更新的软件，现在系统越来越先进，安装的软件也越来越多，对于日常软件的更新维护来说，成为了让许多人头痛的事情，而SUMo可以帮助你解决这个麻烦，他会自动检测你安装了那些软件，然后通过网络对比提醒你是否有新版本，并询问你是否更新。

电脑软件升级助手(SUMo)更新日志

自动检测安装的软件

检测所需的更新/斑块为你的软件

检测所需的驱动程序更新（需要DriverAgent）

过滤器/授权的Beta版本（用户设置）

忽略列表：只跟踪软件，你想跟踪

更好的兼容性和更少的假阳性比别人更新显示器（可根据用户的反馈;-)

国际化支持。

SUMo相关信息

SUMO采用SUMO-KIF（StandardUpperOntologyKnowledgeInterchangeFormat）语言进行描

述。SUMO-KIF具有明确语义的本体描述并支持自动推理。SUMO收录了1000多个术语，定义了4000条公理，可以用英语等语言做知识节点的查询，并可以进行一阶逻辑（first-order）推理。

SUMO已经和英语词汇网络Wordnet1.6版本作初步的连结，一个SUMO概念会对应相关的Wordnet同义词集。

Wordnet是简单的术语本体，而SUMO是复杂的公理化的本体，可用于推理，所以选择SUMO作为进行语义比较的基础资源，便于以后的扩展。另外，SUMO的目标之一是发展特殊领域本体，所以本文提出的方法也将适合于以后发展出来的本体。

在SUMO上可获得的基于SUMO的领域本体有：ComputingServicesOntology（涵盖了组件、软件系统、计算机网络、服务等）、财经本体、大规模杀伤性武器和恐怖主义本体等。

软件更新检测工具(SoftwareInformer)1.2.729中文免费版

类型：应用其他大小：3.6M语言：多国语言[中文]时间：3-27评分：5.0

SUMo设计目的

①自动推理：SUMO将适用于支持自动逻辑推论以支持基于知识库的推论系统。
②互操作能力：SUMO将为不同的软件和数据库应用程序的互操作能力提供基础：
③开发人员可以参照公共本体定义新的数据项，并与其他系统获得一定程度上的兼容。
④基于与SUMO兼容的领域本体的应用程序用于具有相同的公共属于和定义，因此可以具有一定的兼容性。SUMO作为中立交换格式，现有应用程序可以把自己的数据映射到公共本体，并且只需要映射一次。这就让系统和其他同样基于SUMO的应用具有一定程度的兼容性。同时SUMO也可以映射为更加严格的格式，比如XML、数据库模式、和面向对象模式。
⑤应用领域：来自不同应用领域的电子商务应用，要求必须在数据和语义层次上互通。
⑥在教育应用中，学生学习来自同一个本体的概念和关系。同时也让成绩的统一评估成为可能。自然语言理解任务，以知识为基础的推理系统，使用本体进行自然语言的消歧义。
2026世界杯预测