赛车手

RACER是一种知识表示系统,它实现了描述逻辑SRIQ(d)的高度优化的TabLau演算。RACER是前RACEPRO系统的继任者。对于那些使用以前的网站的人来说,重要的是要注意的是,RACER现在是免费提供的,没有网络或运行时限制。一个开源版本的赛车可以在吉特布尔. 可以通过QuasLISP轻松安装赛车手(HTTP://QuaskLISP.ORG)(QL:QuasLoad)赛车手。注意赛车手需要ASDF 2.32。这与LISPWorkS相关,也应该对其进行评估(SETF ASDF::*默认编码*:默认值)。RACER是在下面的BSD 3条款许可下分发的。为了下载RACER作为服务器应用程序,它的API和文档,只需点击下载选项卡。RACER为T-box和A盒提供标准推理问题的实现。此外,还提供了一些非标准推理服务,例如,逻辑溯因。RACER还提供了强大的语义上定义良好的连接查询语言NRQL(新的RACER查询语言,被称为NIALACK,并被称为奇迹),它还支持否定作为失败,数值约束W.R.T不同个体的属性值,字符串属性之间的子串属性,它具有方便的API从普通LISP和Java访问其推理服务。


ZBMaX中的参考文献(65篇)1标准条款

显示结果1至20的65。
按年份排序(引文
  1. 江,运城:语义计算的正式模型(2019)
  2. Nalon,Cluuudia.帕丁森,Dirk:一个基于优先逻辑的解析演算(2018)
  3. Cruz Filipe、卢、加斯帕尔、格拉萨、努涅斯、伊莎贝尔:从描述逻辑程序到多语境系统(2017)
  4. Parsia,比扬;Matentzoglu,尼古拉斯;贡·阿尔维斯,Rafael S.;Glimm,伯特;Steigmiller,安德烈亚斯:猫头鹰推理者评价(矿石)2015竞争报告(2017)
  5. Ecke,安德烈亚斯;P.N.AloZa,拉斐尔;Turhan,Anni Yasmin:基于相似性的松弛实例查询(2015)
  6. Hidalgo Doblado,M. J.;Alonso Jim·埃内兹,J. A.;BreGo-Dyasz,J.;MaltIn N-MataOS,F. J.;Ruiz Reina,J. L.:描述逻辑的形式验证表推理器(2014)
  7. 卡萨科夫,叶夫根尼;克罗茨奇,Markus;西曼·艾克,弗兰提克:不可思议的麋鹿。从多项式过程到高效推理(\ \ MathCall)本体(2014)
  8. Nikiina,Nadeschda;鲁道夫,塞巴斯蒂安:描述逻辑(MathCall)中通用术语的统一插值(非)简洁性(2014)
  9. 周,余;马,Xiaoxing;GALL,哈拉尔德:分布式组件系统动态演化的中间件平台(2014)伊波尔特
  10. 里卡多·纳迪尼,埃琳娜;Omicini,安德列;ViLogi,米尔科:语义元组中心(2013)伊波尔特
  11. 左,明;哈尔斯莱夫,Volker:DL推理的智能表算法(2013)
  12. Haarslev,Volker;Sebastiani,罗伯托;VistoVi,米歇尔:通过SMT(2011)在(\ MathCalalCQ)中的自动推理
  13. 卡明斯基,马克;Schneider,托马斯;SMOLKA,Gert:模态和混合逻辑普拉特式决策程序的正确性和最坏情况最优性(2011)
  14. Klarman,Szymon;恩德里斯,Ulle;施罗巴赫,斯特凡:描述逻辑中的ABX绑架(MathCalalc)(2011)
  15. 巴德尔、弗兰兹、Lutz、卡斯滕、Turhan、Anni Yasmin:《描述逻辑》中的小又美(2010)伊波尔特
  16. 巴德尔,弗兰兹;P.N.AloZa,拉斐尔:基于自动机的公理精确指向(2010)
  17. 布切拉,阿古斯蒂娜;CeCHICH,阿莱杭德娜;GunMARI,多梅尼科;Lanubile,FiLIPPO;SimeRARO,乔凡尼;Colagrossi,AtTiLIO:GEOMGEGP:通过丰富的本体匹配的地理信息集成(2010)
  18. Cuenca Grau,伯纳多;Halaschek Wiener,基督教;哈萨克夫,叶夫根尼;SunTiRiValaPrn,BooTaWe:描述逻辑本体的增量分类(2010)
  19. G·茨曼,丹尼尔;卡明斯基,马克;斯摩尔卡,Gert:斯巴达克斯:混合逻辑的表格证明(2010)伊波尔特
  20. 巴德尔,弗兰兹:描述逻辑(2009)

进一步的出版物可以在:http://www. ifi.uni LueBek.de /~默勒/ race/Expults.HTML