...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >N3Logic: A logical framework for the World Wide Web
【24h】

N3Logic: A logical framework for the World Wide Web

机译：N3Logic：万维网的逻辑框架

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

摘要

The Semantic Web drives toward the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the Semantic Web provides a unifying representation of richly structured data. Adding logic to the Web implies the use of rules to make inferences, choose courses of action, and answer questions. This logic must be powerful enough to describe complex properties of objects but not so powerful that agents can be tricked by being asked to consider a paradox. The Web has several characteristics that can lead to problems when existing logics are used, in particular, the inconsistencies that inevitably arise due to the openness of the Web, where anyone can assert anything. N3 Logic is a logic that allows rules to be expressed in a Web environment. It extends RDF with syntax for nested graphs and quantified variables and with predicates for implication and accessing resources on the Web, and functions including cryptographic, string, math. The main goal of N3Logic is to be a minimal extension to the RDF data model such that the same language can be used for logic and data. In this paper, we describe N3Logic and illustrate through examples why it is an appropriate logic for the Web.
机译：语义Web推动使用Web与逻辑互连的数据进行交互。通过诸如资源描述框架（RDF）之类的知识模型，语义Web提供了丰富结构化数据的统一表示。向网络添加逻辑意味着使用规则进行推理，选择行动方案并回答问题。此逻辑必须足够强大以描述对象的复杂属性，但又不能过于强大以至于可以通过要求代理考虑悖论来欺骗代理。 Web具有几个特征，这些特征在使用现有逻辑时可能会导致问题，尤其是由于Web的开放性（任何人都可以断言任何事情）而不可避免地会引起不一致。 N3逻辑是一种允许在Web环境中表达规则的逻辑。它使用嵌套图和量化变量的语法以及用于隐式和访问Web资源的谓词扩展RDF，并提供包括密码，字符串，数学在内的功能。 N3Logic的主要目标是对RDF数据模型进行最小扩展，以便可以将相同的语言用于逻辑和数据。在本文中，我们描述了N3Logic，并通过示例说明了为什么N3Logic是适用于Web的逻辑。

著录项

  • 来源
    《Theory and Practice of Logic Programming》 |2008年第3期|249-269|共21页
  • 作者

    TIM BERNERS-LEE; DAN CONNOLLY; LALANA KAGAL; YOSI SCHARF; JIM HENDLER;

  • 作者单位

    Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA;

    Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA;

    Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA;

    Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, Cambridge, MA, USA;

    Rensselaer Polytechnic Institute, Troy, NY, USA;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    logic; web; semantic web; scoped negation; quoting; RDF; N3;

    机译：逻辑;网络语义网范围否定;引用RDF;N3;

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号