首页> 美国政府科技报告 >Development of Semantic Web - Markup Languages, Web Services, Rules, Explanation, Querying, Proof and Reasoning; Final technical rept. Jun 2000-Apr 2008
【24h】

Development of Semantic Web - Markup Languages, Web Services, Rules, Explanation, Querying, Proof and Reasoning; Final technical rept. Jun 2000-Apr 2008

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

获取原文

摘要

Stanford University did research, development and promotion of Semantic Web markup languages including the co-submission to the World-Wide Web Consortium (WC3) of the Web Ontology Language (OWL) recommendation. This work was performed under the Defense Advanced Research Projects Agency (DARPA) Agent Markup Language (DAML) program Stanford also helped develop the Semantic Web Services (OWL-S), the Web Ontology Query Language (OWL-QL) and Semantic Web Rule Language (SWRL) W3C submissions. This report contains the evolution of these markup languages as well as a discussion of semantic query languages, proof and explanation. The report also contains an explanation of how DAML-ONT (ontology) and DAML+OIL (Ontology Inference Language) was converted to First- Order-Logic for reasoning.

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号