赛车手

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选项卡。Racer为T盒和A盒提供标准推理问题的实现。此外,还提供了一些非标准的推理服务,例如逻辑推理。Racer还提供了功能强大、语义定义良好的连接查询语言nRQL(new Racer query language,发音为niracle,听上去像奇迹一样),它还支持失败时的否定、不同个体的属性值的数值约束、字符串属性之间的子字符串属性,它有方便的api,可以从公共Lisp和Java中访问推理服务。


zbMATH中的参考文献(参考文献65条,1标准件)

显示第1到第20个结果,共65个。
按年份排序(引用)
  1. 江云城:语义计算的形式化模型(2019)
  2. 南卡罗来纳州纳隆á乌迪亚语;帕丁森,德克:基于解析的优先逻辑演算(2018)
  3. 克鲁兹·菲利佩,卢ís;加斯帕,格拉ça;Nunes,Isabel:从描述逻辑程序到多上下文系统(2017)
  4. 帕西娅,比扬;马特佐格鲁,尼古拉斯;冈州ç阿尔维斯,拉斐尔S。;微光,白桦;Steigmiller,Andreas:The OWL reasoner evaluation(ORE)2015年竞争报告(2017年)
  5. 埃克,安德烈亚斯;体育课ñ阿洛扎,拉斐尔;Turhan,Anni Yasmin:基于相似性的宽松实例查询(2015)
  6. 伊达尔戈·多布拉多,M。J、 。;阿隆索·吉姆é尼兹,J。A、 。;博雷戈-Dí阿兹,J。;市场ín-Mateos,F。J、 。;鲁伊斯·雷纳,J。五十、 :用于描述逻辑的基于表的推理器的正式验证(2014)
  7. 叶夫根尼·卡扎科夫;克朗ötzsch,马库斯;司曼čík、 弗兰蒂š埃克:不可思议的麋鹿。从多项式过程到有效推理(\mathcalEL)本体论(2014)
  8. 尼基蒂娜,纳德斯卡达;Rudolph,Sebastian:(非)描述逻辑中一般术语的统一插入式的简洁性(\mathcalEL)(2014)
  9. 周瑜;马小星;Gall,Harald:分布式组件系统动态演化的中间件平台(2014)ioport公司
  10. 纳迪尼,埃琳娜;奥米奇尼,安德里亚;Viroli,Mirko:语义元组中心(2013)ioport公司
  11. 左明;Haarslev,Volker:DL推理的智能tableau算法(2013)
  12. 哈斯列夫,沃尔克;塞巴斯蒂安尼,罗伯托;Michele Vescovi:通过SMT(\MathCalcq)进行自动推理(2011)
  13. 卡明斯基;施耐德,托马斯;Smolka,Gert:模态和混合逻辑的Pratt式决策程序的正确性和最坏情况最优性(2011)
  14. 克拉曼,西门;恩德里斯,乌勒;施洛巴赫,斯特凡:《描述逻辑中的ABox诱拐》(2011)
  15. 巴德尔,弗兰兹;卢茨,卡斯滕;图尔汉,安尼·亚斯明:小是再美的描述逻辑(2010)ioport公司
  16. 巴德尔,弗兰兹;体育课ñ阿洛扎,拉斐尔:基于自动机的公理精确定位(2010)
  17. 颊细胞,阿古斯丁;塞希,亚历杭德拉;加达米,多梅尼科;拉努比尔,菲利波;塞梅拉罗,乔瓦尼;Colagrossi,Attilio:GeoMergeP:通过丰富的本体匹配实现地理信息集成(2010)
  18. Cuenca Grau,贝尔纳多;哈拉舍克·维纳,基督徒;叶夫根尼·卡扎科夫;Suntisrivaraporn,Boontawee:描述逻辑本体论的增量分类(2010)
  19. Gö但以理,tzmann;卡明斯基,马克;斯莫尔卡,格特:斯巴达克斯:混合逻辑的一个表格证明(2010)ioport公司
  20. 巴德尔,弗兰兹:描述逻辑(2009)

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