• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Scalable and efficient ontology management framework for large-scale OWL ontologies.
【24h】

Scalable and efficient ontology management framework for large-scale OWL ontologies.

机译：适用于大规模OWL本体的可扩展且高效的本体管理框架。

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

摘要

On the envisaged Semantic Web, ontologies are used to make the semantics of Web contents explicit. This enables software agents to automatically exchange information and to be assured of the meaning of the data they have exchanged. The successful operations of ontology-based intelligent applications rely on the scalable and efficient ontology management frameworks that support collaborative ontology development, evolution and reuse. The goal of this dissertation is to develop such a framework and investigate related research problems.;In this dissertation, we introduced the Temporal Description Logic SHIQ(T) as the logical foundation for reasoning about changes during ontology evolution. We conducted in depth study of automated reasoning services in SHIQ(T) and related tableau-based decision procedures. We formally proved the termination, soundness and completeness of the proposed tableau reasoning algorithms.;We proposed a set of metrics for measuring the semantic implications of changes during ontology evolution. Our metrics focus on the changes of classes and their referencing axioms and annotations in an evolving OWL ontology.;We reviewed three major large-scale ontology engineering projects and existing persistent ontology management systems and identified that insufficient support for ontology evolution, ontology modularization and fine-grained access control is their major deficiency.;We used an evolutionary log to track the history of each axiom or annotation that appears in an evolving ontology. We introduced the formal model for our ontology evolution framework and presented related algorithms. We further extended our ontology management framework to support managing locality-based ontology modules and their evolution.;We developed an axiom-centric persistent storage model for the large OWL ontologies using a relational database management system as the back-end. Our implementation supports ontology evolution, ontology modularization and fine-grained access control to the ontological axioms and annotations and provides practical reasoning capability as well as high performance querying services. We evaluated the loading time (parsing, classification, importing, module extraction), query response time, module and subsumption maintenance costs for our framework using a set of benchmark ontologies. The experimental results clearly demonstrated the scalability and efficiency of our ontology management framework.
机译：在设想的语义Web上，本体用于使Web内容的语义明确。这使软件代理能够自动交换信息，并确保他们已经交换了数据的含义。基于本体的智能应用程序的成功运行依赖于可扩展且高效的本体管理框架，该框架支持协作式本体的开发，演化和重用。本文的目的是开发这样一个框架并研究相关的研究问题。本论文中，我们引入了时间描述逻辑SHIQ（T）作为推理本体论进化过程中逻辑变化的逻辑基础。我们对SHIQ（T）中的自动推理服务以及基于表格的相关决策程序进行了深入研究。我们正式证明了所提出的Tableau推理算法的终止性，完整性和完整性。我们提出了一套用于度量本体演化过程中变化的语义含义的度量。我们的度量标准着眼于不断变化的OWL本体中的类及其引用公理和注释的变化。我们审查了三个主要的大型本体工程项目和现有的持久本体管理系统，并发现对本体演化，本体模块化和精细化的支持不足粒度访问控制是它们的主要缺陷。我们使用了进化日志来跟踪出现在不断发展的本体中的每个公理或注释的历史。我们介绍了本体演化框架的形式化模型并提出了相关算法。我们进一步扩展了本体管理框架，以支持对基于位置的本体模块及其演化的管理。我们使用关系数据库管理系统作为后端，为大型OWL本体开发了以公理为中心的持久性存储模型。我们的实现支持本体演化，本体模块化和对本体公理和注释的细粒度访问控制，并提供实用的推理能力以及高性能的查询服务。我们使用一组基准本体评估了我们框架的加载时间（解析，分类，导入，模块提取），查询响应时间，模块和包含维护成本。实验结果清楚地证明了我们本体管理框架的可扩展性和效率。

著录项

  • 作者

    Chen, Chuming.;

  • 作者单位

    University of South Carolina.;

  • 授予单位 University of South Carolina.;
  • 学科 Computer Science.
  • 学位 Ph.D.
  • 年度 2008
  • 页码 200 p.
  • 总页数 200
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 自动化技术、计算机技术;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号