三倍的 swMATH ID: 2460 软件作者： Michael Sintek；斯特凡·戴克 描述： TRIPLE–语义网的查询、推理和转换语言。本文介绍了一种用于语义Web的分层模块化规则语言TRIPLE。TRIPLE基于Horn逻辑，借用了F-logic的许多基本功能，但专门用于查询和转换RDF模型。TRIPLE可以被视为SiLRI（基于简单逻辑的RDF解释器）的继承者。与F-Logic和SiLRI最重要的区别之一是，TRIPLE对于类和继承等面向对象的特性没有固定的语义。它的分层体系结构允许为不同的面向对象和其他数据模型（如UML、Topic Maps或RDF Schema）轻松定义这些特性。RDF（Schema）的描述逻辑扩展，如OIL和DAML+OIL，不能完全由Horn逻辑处理，作为与描述逻辑分类器（如FaCT）交互的模块提供，从而产生混合规则语言。本文简述了TRIPLE的语法和语义。 主页： http://rd.springer.com/chapter/10.1007/3-540-48005-6_28 关键词： 元数据；知识表示与推理；RDF公司；DAML公司；F-Logic公司 相关软件： SPARQL公司；斯莫德尔斯；XSB公司；swrl公司；DAML+油；规则ML；MWeb公司；N3逻辑；SMIL公司；佛罗里达州；SWI-预测；周期；打开规则基准；nSPARQL公司；萨克逊；Swoogle标志；耶拿；OntoWebber公司；赛车手；高阶逻辑 引用于： 16文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 TRIPLE–语义网的查询、推理和转换语言。 Zbl 1048.68910号迈克尔·辛特克；斯特凡·戴克 2002 全部的 前5名38位作者引用 三 安娜斯塔西娅·安娜斯塔西 三 格里戈里斯·安东尼奥 2 迈克尔·基弗 2 艾奥尼斯·帕乔拉基斯 2 卡洛斯·维加斯·达马西奥 2 杨贵珍 1 斯维尔·约翰内斯·阿瑟斯 1 亚伯拉罕·伯恩斯坦 1 拉菲克·布拉姆 1 弗朗西斯科·坎塞利埃 1 莉莉亚·切尼提·贝尔卡迪 1 卡洛斯五世·达马西奥。 1 斯特凡·戴克 1 安德烈亚斯·埃伯哈特 1 托马斯·艾特 1 乔斯特·盖尔茨 1 克劳迪奥·古铁雷斯 1 尼古拉·亨泽 1 简·亨特 1 卡洛斯·赫塔多。 1 乔瓦姆巴蒂斯塔·伊安尼 1 维姬·约翰逊 1 马克·克莱恩 1 奥拉·拉斯拉 1 小苏珊娜 1 托马斯·卢卡西维奇 1 Alberto O·门德尔松。 1 鲍里斯·莫提克 1 沃尔夫冈·内杰德尔 1 佩雷斯（Jorge E.Pérez）。 1 罗马辛德劳 1 沃尔夫·西伯斯基 1 伯恩德·西蒙 1 迈克尔·辛特克 1 斯特芬·斯塔布 1 朱利安·塔内 1 汉斯·托姆皮茨 1 拉斐尔·沃尔兹 4篇连载文章中引用 三 数学与人工智能年鉴 1 人工智能 1 计算机与系统科学杂志 1 科学与工程计算方法杂志 在4个字段中引用 15 计算机科学（68至XX） 1 粒子和系统力学（70-XX） 1 天文学和天体物理学（85-XX） 1 数学教育（97-XX） 按年份列出的引文