杨贵珍；迈克尔·基弗 推理语义web上的匿名资源和元语句。 （英语） Zbl 1274.68506号 Spacapietra，Stefano（编辑）等人，《数据语义学期刊I》，柏林：施普林格出版社（ISBN 3-540-20407-5/pbk）。计算机科学讲义2800。《期刊副刊》，69-97（2003）。 摘要：匿名资源和元语句是RDF的两个更有趣的功能，RDF是一种在web上表示语义信息的新兴标准。具有讽刺意味的是，当RDF在三年前被W3C标准化时，它没有语义。现在人们越来越认识到，没有语义的语义web语言是一种矛盾修饰法，许多努力都是为了给RDF提供精确的语义。本文提出了F-logic中匿名资源和元语句的简单语义，F-logic是一种基于框架的逻辑语言，是一种流行的表示和推理web上语义信息的形式。选择F-logic（而不是RDF）作为我们语义的基础是因为F-logic为框架、规则、继承和演绎的集成问题提供了一个全面的解决方案，并且已经证明它为RDF提供了一种有效的推理服务。关于整个系列，请参见[Zbl 1062.68012号]. 引用于1文件 MSC公司： 68立方英尺 知识表示 68英里11 互联网主题 68T27型 人工智能中的逻辑 软件：三倍的；佛罗里达州 PDF格式BibTeX公司 XML格式引用 \textit{G.杨}和\textit{M.基弗}，莱克特。注释计算。科学。2800、69-97（2003年；Zbl 1274.68506） 全文： 内政部