赛车手

Racer是一个知识表示系统,它为描述逻辑SRIQ(D)实现了高度优化的tableau演算。Racer是先前RacerPro系统的继承者。对于使用以前网站的人来说,重要的是要注意Racer现在是免费提供的,没有网络或运行时限制。Racer的开源版本可以在Github.com上找到。Racer可以通过Quicklisp(http://Quicklisp.org)和(ql:quickload“Racer”)轻松安装。注意Racer需要asdf2.32。这与Lispworks相关,还应评估Lispworks(setf asdf::*default encoding*:default)。Racer是根据以下BSD 3条款许可证发行的。要下载Racer作为服务器应用程序、它的api和文档,只需单击download选项卡。提供了标准的race-T-box和问题的实现。此外,还提供了一些非标准的推理服务,例如逻辑推理。Racer还提供了功能强大、语义定义良好的连接查询语言nRQL(new Racer query language,发音为niracle,听上去像奇迹一样),它还支持失败时的否定、不同个体的属性值的数值约束、字符串属性之间的子字符串属性,它有方便的api,可以从公共Lisp和Java中访问推理服务。


zbMATH参考文献(参考 65篇文章 参考,1标准件)

显示第1到第20个结果,共65个。
按年份排序(引用)
  1. 江云城:语义计算的形式化模型(2019)
  2. Nalon,Cláudia;Pattinson,Dirk:优先逻辑的基于解析的演算(2018)
  3. Cruz Filipe,Luís;Gaspar,Graça;Nunes,Isabel:从描述逻辑程序到多上下文系统(2017)
  4. Parsia,Bijan;Matentzoglu,Nicolas;Gonçalves,Rafael S.;Glimm,Birte;Steigmiller,Andreas:The OWL reasoner evaluation(ORE)2015年竞争报告(2017年)
  5. Ecke,Andreas;Peñaloza,Rafael;Turhan,Anni Yasmin:基于相似性的宽松实例查询(2015)
  6. Hidalgo Doblado,M.J.;Alonso Jiménez,J.A.;Borrego-Díaz,J.;Martín-Mateos,F.J.;Ruiz Reina,J.L.:描述逻辑的正式验证表基推理机(2014)
  7. 叶夫根尼·卡扎科夫;马库斯·克鲁兹;弗朗蒂舍克·西曼切克:不可思议的麋鹿。从多项式过程到有效推理(\mathcalEL)本体论(2014)
  8. Nikitina,Nadeschda;Rudolph,Sebastian:(非)描述逻辑中一般术语的统一插入式的简洁性(\mathcalEL)(2014)
  9. 周瑜;马晓星;加尔,哈拉尔德:分布式构件系统动态演化的中间件平台(2014)ioport公司
  10. 纳迪尼,埃琳娜;奥米奇尼,安德里亚;维罗利,米尔科:语义元组中心(2013)ioport公司
  11. Zuo,Ming;Haarslev,Volker:DL推理的智能tableau算法(2013)
  12. 自动推理(Michelovi,Calasti;2011年)
  13. Kaminski,Mark;Schneider,Thomas;Smolka,Gert:模态和混合逻辑Pratt式决策过程的正确性和最坏情况最优性(2011)
  14. Klarman,Szymon;Endriss,Ulle;Schlobach,Stefan:《描述逻辑中的ABox诱拐》(2011)
  15. 巴德尔,弗兰兹;卢茨,卡斯滕;图尔汉,安妮亚斯明:小是再美的描述逻辑(2010)ioport公司
  16. 巴德尔,弗兰兹;佩纳洛扎,拉斐尔:基于自动机的公理精确定位(2010)
  17. Buccella,Agustina;Cechich,Alejandra;Gendarmi,Domenico;Lanubile,Filippo;Semeraro,Giovanni;Colagrossi,Attilio:GeoMergeP:通过丰富的本体匹配实现地理信息集成(2010)
  18. Cuenca Grau,Bernardo;Halaschek Wiener,Christian;Kazakov,Yevgeny;Suntisrivaraporn,Boontwee:描述逻辑本体论的增量分类(2010)
  19. 丹尼尔·斯莫卡,马克·斯莫卡(Daniel Smoke,2010年版;马克·斯莫卡(Daniel Smoke);马克·斯莫卡(Daniel Smoke);马克·斯莫卡(Daniel Smoke);马克·斯莫卡(Daniel Smoka);马克·斯莫卡(Daniel Smoka)ioport公司
  20. 巴德尔,弗兰兹:描述逻辑(2009)

更多出版物请访问:http://www.ifis.uni luebeck.de/~moeller/racer/publications.html