• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of web services research >Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets
【24h】

Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets

机译：在完善的导航空间中组织主题，地理和时间知识：EFGT网络的逻辑和算法基础

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We introduce a family of symbolic logical formalisms for reasoning with named entities, associated topics or thematic fields, geographic areas, and temporal periods. We argue that this kind of knowledge is useful for various applications in a Semantic Web context, in other words, for the content-oriented description of Web services and yellow pages. In our approach, entities and their relationships are positioned in a well-founded (i.e., acyclic) navigation space, called an EFGT Net. Large (small) entries regarding the navigation order represent general (specific) topics and large (small) geographic or temporal areas. This acyclic organization of knowledge aims to support indexing, search, and classification tasks directly. Each entry comes with a unique identifier that describes the role of the corresponding concept, using techniques from description logics. A formal semantics for the language of identifiers is given. For the resulting logic, role hierarchies and role-value maps are characteristic and crucial. Based on the semantics of identifiers, a set ofintensionally typed links is defined that induces the aforementioned navigation structure on the set of all entries. We then introduce a set of deduction rules and a saturation procedure for computing all links between concepts, as well as intensional types for links. We prove soundness, completeness, and termination of the link derivation calculus.
机译：我们引入了一系列符号逻辑形式主义，用于与命名实体，关联主题或主题领域，地理区域和时间段进行推理。我们认为，这种知识对于语义Web上下文中的各种应用程序很有用，换句话说，对于Web服务和黄页的面向内容的描述是有用的。在我们的方法中，实体及其关系被放置在称为EFGT网的有充分基础（即非循环）的导航空间中。有关导航顺序的大（小）条目表示一般（特定）主题和大（小）地理或时间范围。这种非周期性的知识组织旨在直接支持索引，搜索和分类任务。每个条目都带有一个唯一的标识符，该标识符使用描述逻辑中的技术来描述相应概念的作用。给出了标识符语言的形式语义。对于由此产生的逻辑，角色层次结构和角色-值映射是特征且至关重要的。基于标识符的语义，定义了一组强制类型的链接，这些链接在所有条目的集合上引发了上述导航结构。然后，我们介绍了一组推导规则和饱和过程，用于计算概念之间的所有链接以及链接的内涵类型。我们证明了链接派生演算的正确性，完整性和终止性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号