RacerPro赛车 swMATH ID: 17663 软件作者： Haarslev，V.、Hidde，K.、Möller，R.、Wessel，M。 描述： RacerPro知识表示和推理系统。RacerPro是一个基于本体构建应用程序的软件系统。RacerPro的主干是描述逻辑推理器。它为术语知识以及个人知识的表示提供推理服务。基于描述逻辑研究领域多年来发展起来的新的优化技术和技术，为典型案例推理任务提供了一个成熟的体系结构。在过去的12年中，该系统已在数百个研究项目和工业环境中使用。W3C标准以及众多用户的详细反馈报告总体上影响了系统架构的设计，也塑造了RacerPro知识表示和界面语言。凭借其查询和规则语言，RacerPro超越了其他OWL推理机提供的标准推理服务。 主页： https://content.iospress.com/articles/semantic-web/sw032 相关软件： 埃尔米特;赛车手;弹丸;康clude;故障电流互感器++;ELK公司;DBpedia（数据库）;RDFox公司;DLV2型;LARS公司;Potassco公司;无HR;XSB公司;SPARQL公司;Snorocket雪橇;KAON2公司;维基百科矿工;github;JFact公司;ELepHant公司 引用于： 7文件 全部的 前5名19位作者引用 1 弗兰兹·巴德 1 大卫·特纳·库卡拉 1 伯纳多·昆卡·格劳 1 安德烈亚斯·埃克 1 格利姆，伯尔特 1 拉斐尔·冈萨尔维斯。 1 伊恩·霍洛克斯 1 姜云成 1 马蒂亚斯·克诺尔 1 帕特里克·科普曼 1 弗朗西斯科·克里格尔 1 尼古拉斯·马滕佐格鲁 1 纳德斯赫达·尼基蒂娜 1 阿德里安·努拉迪安西亚 1 比扬·帕西娅 1 拉斐尔·佩尼亚洛萨 1 塞巴斯蒂安·鲁道夫 1 安德烈亚斯·斯特格米勒 1 安妮·亚斯敏（Anni-Yasmin Turhan） 4篇连载文章中引用 2 人工智能 1 自动推理杂志 1 软计算 1 应用逻辑杂志 在2个字段中引用 7 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的引文