• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management >The AI System DLV: Ontologies, Reasoning, and More
【24h】

The AI System DLV: Ontologies, Reasoning, and More

机译：AI系统DLV：本体，推理等

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The paper presents DLV, an advanced AI system from the area of Answer Set Programming (ASP), showing its high potential for reasoning over ontologies. Ontological reasoning services represent fundamental features in the development of the Semantic Web. Among them, scientists are focusing their attention on the so-called ontology-based query answering (OBQA) task where a (conjunctive) query has to be evaluated over a logical theory (a.k.a. Knowledge Base, or simply KB) consisting of an extensional database (a.k.a. ABox) paired with an ontology (a.k.a. TBox). From a theoretical viewpoint, much has been done. Indeed, Description logics and Datalog+/- have been recognized as the two main families of formal ontology specification languages to specify KBs, while OWL has been identified as the official W3C standard language to physically represent and share them; moreover sophisticated algorithms and techniques have been proposed. Conversely, from a practical point of view, only a few systems for solving complex ontological reasoning services such as OBQA have been developed, and no official standard has been identified yet. The aim of the present paper is to illustrate the applicability of the well-known ASP system DLV for powerful ontology-based reasoning.
机译：本文介绍了DLV，一个来自答案集编程（ASP）区域的高级AI系统，显示其在本体上推理的高潜力。本体理解服务代表了语义网络的开发中的基本特征。其中，科学家们正在关注他们对所谓的本体的查询应答（OBQA）任务，其中（结合）查询必须通过逻辑理论（AKA知识库，或简单KB）由一个扩展数据库组成（又名ABOX）与本体（AKA TBOX）配对。从理论上的观点来看，已经完成了很多。实际上，描述逻辑和数据乐曲+/-已被识别为正式本体规范语言的两个主要系列，以指定KB，而猫头鹰已被识别为官方W3C标准语言，以物理地代表并分享它们;此外，已经提出了复杂的算法和技术。相反，从实际的角度来看，已经开发了一些用于解决obQA等复杂本体理性推理服务的系统，并且尚未确定官方标准。本文的目的是说明众所周知的ASP系统DLV适用于强大的本体论的推理。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号