Ten Theses on Logic Languages for the Semantic Web

机译：语义网逻辑语言的十篇论文

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This articles discusses the logic, or logic-based, languages required for a full deployment of the Semantic Web. It presents ten theses addressing 1. the kinds of logic languages needed, 2. data and data processing, 3. semantics, and 4. engineering and rendering issues.

机译：本文讨论了语义Web的完整部署所需的逻辑或基于逻辑的语言。它提出了十个论题，分别针对1.所需的逻辑语言种类，2.数据和数据处理，3.语义以及4.工程和渲染问题。

著录项

来源
《International Workshop on Principles and Practice of Semantic Web Reasoning(PPSWR 2005); 20050911-16; Dagstuhl Castle(DE) 》|2005年|P.42-49|共8页
会议地点 Dagstuhl Castle(DE)
作者
Francois Bry; Massimo Marchiori;
展开▼
作者单位

University of Munich, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类程序设计、软件工程 ;
关键词

相似文献

外文文献
中文文献
专利

1. Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics [J] . Jan Woleński Logica Universalis . 2012 ,第3a4期

机译：逻辑作为微积分对逻辑，语言作为微积分对语言，语言作为微积分对语言作为通用媒介，以及语法对语义
2. Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics [J] . Woleński J. Logica universalis . 2012 ,第3a4期

机译：作为微积分的逻辑与作为语言的逻辑，作为微积分的语言与作为通用介质的语言，以及语法与语义
3. SWAM: A logic-based mobile agent programming language for the Semantic Web [J] . Marco Crasso, Cristian Mateos, Alejandro Zunino, Expert Systems with Application . 2011 ,第3期

机译：SWAM：一种用于语义Web的基于逻辑的移动代理编程语言
4. Ten Theses on Logic Languages for the Semantic Web [C] . Francois Bry, Massimo Marchiori International Workshop on Principles and Practice of Semantic Web Reasoning(PPSWR 2005) . 2005

机译：关于语义网络的逻辑语言的十个论文
5. Federated description logics for the semantic web. [D] . Voutsadakis, George. 2010

机译：语义网的联合描述逻辑。
6. Semantic framework for mapping object-oriented model to semantic web languages [O] . Petr Ježek, Roman Mouček 2015

机译：用于将面向对象的模型映射到语义Web语言的语义框架
7. Ten Theses on Logic Languages for the Semantic Web [O] . Bry François, Marchiori Massimo 2006

机译：语义网逻辑语言的十个论点
8. Development of Semantic Web - Markup Languages, Web Services, Rules, Explanation, Querying, Proof and Reasoning; Final technical rept. Jun 2000-Apr 2008 [R] . McGuinness, D. 2008

机译：语义Web的开发 - 标记语言，Web服务，规则，解释，查询，证明和推理;最后的技术部门。 2000年6月至2008年4月

Ten Theses on Logic Languages for the Semantic Web

摘要

著录项

相似文献

相关主题

期刊订阅