• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Conceptual Structures(ICCS 2004); 20040719-20040723; Huntsville,AL; US >Exploring Relational Structures Via
【24h】

Exploring Relational Structures Via

机译：通过探索关系结构

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

摘要

Designing ontologies and specifying axioms of the described domains is an expensive and error-prone task. Thus, we propose a method originating from Formal Concept Analysis which uses empirical data to systematically generate hypothetical axioms about the domain, which are represented to an ontology engineer for decision. In this paper, we focus on axioms that can be expressed as entailment statements in the description logic FLε. The proposed technique is an incremental one, therefore, in every new step we have to reuse the axiomatic information acquired so far. We present a sound and complete deduction calculus for FLε entailment statements. We give a detailed description of this multistep algorithm including a technique called empirical attribute reduction and demonstrate the proposed technique using an example from mathematics. We give a completeness result on the explored information and address the question of algorithm termination. Finally, we discuss possible applications of our method.
机译：设计所描述域的本体并指定公理是一项昂贵且容易出错的任务。因此，我们提出了一种基于形式概念分析的方法，该方法使用经验数据来系统地生成关于领域的假设公理，这些公理被表示给本体工程师进行决策。在本文中，我们专注于可以在描述逻辑FLε中表示为蕴含语句的公理。所提出的技术是一种增量技术，因此，在每个新步骤中，我们都必须重用到目前为止获得的公理信息。我们为FLε蕴含陈述提供了完善的演绎演算。我们将对此多步算法进行详细说明，其中包括一种称为经验属性约简的技术，并使用数学示例演示了所提出的技术。我们给出了所探索信息的完整性结果，并解决了算法终止的问题。最后，我们讨论该方法的可能应用。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号