弹丸 71篇文献引用(2006–2023) 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
传真CT++ 66份文件引用(2000–2023) 软件作者： 德米特里·察尔科夫；伊恩·霍洛克斯 相关软件： 颗粒；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
旋转（swrl） 32篇文献引用(2005–2022) 软件作者： Horrocks，I.、Patel Schneider，P.F.、Boley，H.、Tabet，S.、Grosof，B.、Dean，M。 相关软件： 颗粒；FaCT++；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HermiT公司 26篇文献引用(2013–2023) 软件作者： 格利姆，伯尔特；伊恩·霍洛克斯（Ian Horrocks）；Boris Motik；乔戈斯·斯托洛斯（Giorgos Stoilos）；王哲；右采煤机。 相关软件： 颗粒；FaCT++；Konclude… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ELK公司 21篇文献引用(2012–2022) 软件作者： 叶夫根尼·哈萨克夫；马库斯·克罗茨奇；弗朗蒂舍克·西蒙西克 相关软件： 赫密特；颗粒；Konclude… 主要字段： 计算机科学（68-XX）
CEL公司 14篇文献引用(2008–2022) 软件作者： 巴德，F.，卢茨，C.，桑蒂斯里瓦拉朋，B。 相关软件： 颗粒；FaCT++；ELK… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Ontop（顶部） 13份文件引用(2014–2021) 软件作者： 罗曼·孔查科夫（Roman Kontchakov）；马丁·雷兹克；玛丽亚诺·罗德里格斯-穆罗；肖国辉；迈克尔·扎哈里亚舍夫 相关软件： MASTRO公司；SPARQL；LUBM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
康clude 14篇文献引用(2012–2022) 软件作者： Steigmiller，A.，Liebig，T.，Glimm，B。；德瑞沃股份有限公司 相关软件： 赫密特；颗粒；传真++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
生物门户 8份文件引用(2016–2020) 软件作者： Noy NF、Shah NH、Whetzel PL等人 相关软件： DBpedia；链锯；颗粒… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
猫头鹰 13份文件引用(2018–2022) 软件作者： Křetínsk \345]，Jan；梅根多夫，托拜厄斯；所罗门·西克特 相关软件： SPOT；条纹；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
接通DLV 8份文件引用(2009–2021) 软件作者： Ricca，F.、Gallucci，L.、Schindlauer，R.、Dell'armi，T.、Grasso，G.、Leone，N。 相关软件： DLV-EX；颗粒；Lparse… 主要字段： 计算机科学（68-XX）
前-OWL 9份文件引用(2014–2021) 软件作者： 隆美尔·N·卡瓦略。；凯瑟琳·拉斯基。；保罗·科斯塔。 相关软件： IBAL；贝叶斯OWL；博客… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
网络PIE 8份文件引用(2012–2022) 软件作者： Urbani，J.、Kotoulas，S.、Maassen，J.，van Harmelen，F.、Bal，H。 相关软件： 数据日志；大数据日志；XSB… 主要字段： 计算机科学（68-XX）
贝叶斯OWL 7份文件引用(2008–2019) 软件作者： 钟立鼎；云鹏；Rong Pan公司 相关软件： 博客；PR-OWL；IBAL… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
RDFox公司 5份文件引用(2020–2023) 软件作者： Nenov，Y.、Piro，R.、Motik，B.、Horrocks，I.、Wu，Z.、Banerjee，J。 相关软件： 数据库；SPARQL；LUBM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
格拉尔 6篇文献引用(2017–2022) 软件作者： Jean-François Baget；米歇尔·莱克莱尔；玛丽·劳雷·穆格尼尔（Marie-Laure Mugnier）；Swan Rocher；Clément Sipieter公司 相关软件： LUBM；SPARQL；DBpedia… 主要字段： 计算机科学（68-XX）
无HR 6篇文献引用(2015–2022) 软件作者： 卡洛斯·洛佩斯；马蒂亚斯·克诺尔；约昂·莱特 相关软件： Potassco；康clude；赫密特… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
RacerPro赛车 7份文件引用(2014–2022) 软件作者： Haarslev，V.、Hidde，K.、Möller，R.、Wessel，M。 相关软件： 赫密特；赛车手；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DR-预测 4份文件引用(2018–2019) 软件作者： 安东尼斯·比卡基斯；君士坦丁诺·帕帕西奥多罗；格里戈里斯·安东尼奥 相关软件： DELORES公司；吐温；法律规则ML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
I2T型 1份文件引用(2012) 软件作者： 姚，B。；杨，X。；林，L。；Lee，M.W。；朱S.C。 相关软件： Im2Text；密度盖；PASCAL VOC… 主要字段： 计算机科学（68-XX）
交流发电机2 5份文件引用(2018–2022) 软件作者： 弗兰蒂舍克·布拉胡德克；亚历山大·杜雷特·卢茨（Alexandre Duret-Lutz）；斯特雷切克，简 相关软件： SPOT；猫头鹰；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
猫头鹰 2份文件引用(2022–2023) 软件作者： 王亮（Liang Wang） 相关软件： OCaml；DGM；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕戈达 4份文件引用(2015–2022) 软件作者： 周玉娇；格劳，伯纳多·昆卡；亚沃·内诺夫；马克·卡明斯基（Mark Kaminski）；伊恩·霍洛克斯 相关软件： 数据日志；Polyanna；CEX… 主要字段： 计算机科学（68-XX）
KAoS公司 2份文件引用(2004) 软件作者： 安德烈·乌斯科（Andrzej Uszok）；Jeffrey M.Bradshaw。；雷妮娅·杰弗斯 相关软件： – 主要字段： 计算机科学（68-XX）
森蒂洛 2份文件引用(2017–2018) 软件作者： Recupero，D.R。；康索利，S。；Gangemi，A。；Nuzzolese，A.G。；D.斯帕帕尼亚托。 相关软件： NLTK；gensim；手套… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
俯冲 2份文件引用(2018–2019) 软件作者： Kalyanpur，A。；巴西娅，B。；Sirin，E。；格劳（Grau，B.C.）。；J·亨德勒 相关软件： 颗粒；MERGEXPLAIN公司；矿石… 主要字段： 计算机科学（68-XX）
Aber-OWL公司 1份文件引用(2016) 软件作者： Robert Hoehndorf、Luke Slater、Paul N Schofield、Georgios V Gkoutos 相关软件： 银河系；Ontobee；WebProtege… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
前-前 2份文件引用(2016–2019) 软件作者： Agnieszka Lawrynowicz；杰德泽·波托涅克 相关软件： KEGG；阿列夫；生物2RDF… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
磅/平方英尺 1份文件引用(2020) 软件作者： 安东尼奥·科波拉（Antonio Coppola）、布兰登·斯图尔特（Brandon Stewart）、冈崎直树（Naoaki Okazaki）、大卫·阿尔迪亚（David Ardia）、德克·埃德布特尔（Dirk Eddelbuettel）、凯瑟琳·马伦（Katharine Mullen）、豪尔赫·诺塞达 相关软件： choix；超2；混合内存… 主要字段： 统计学（62-XX）
VOWL（沃尔） 2份文件引用(2017) 软件作者： Lohmann，S.、Negru，S.，Haag，F.、Ertl，T。 相关软件： 超防；SOVA；Speedith… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
大脑 1份文件引用(2016) 软件作者： Samuel Croset、John Overington、Dietrich Rebholz-Schhmann 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
f-SWRL系统 1份文件引用(2006) 软件作者： 潘，杰夫·Z。；乔戈斯·斯托洛斯（Giorgos Stoilos）；乔戈斯·斯塔姆（Giorgos Stamou）；瓦西里斯·索瓦拉斯；伊恩·霍洛克斯 相关软件： 旋转（swrl） 主要字段： 计算机科学（68-XX）
KDDONTO公司 1份文件引用(2014) 软件作者： C.Diamantini、D.Potena、E.Storti 相关软件： 西拉默；BacSim；神经元… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ODV公司 1份文件引用(2015) 软件作者： V.Ermolayev、A.Copylov、N.Keberle、E.Jentzsch、W.-E。马茨克 相关软件： OIM公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
猫头鹰 1份文件引用(2023) 软件作者： Jean-Baptiste拉米 相关软件： GitHub；MLDev；MLCask公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SemTK公司 在0个文档中引用 软件作者： 保罗·库迪希；贾斯汀·麦克休（Justin McHugh）；珍妮·维森贝格·威廉姆斯（Jenny Weisenberg Williams）；瓦里什·穆瓦德；卡里姆·阿格尔 相关软件： R2RML；RDF123；查询VOWL… 主要字段： –
SHACL公司 1份文件引用(2022) 软件作者： 博加特，巴特；马克西姆·雅库博夫斯基（Maxime Jakubowski）；Van den Bussche，简 相关软件： – 主要字段： 计算机科学（68-XX）
DBOWL公司 在0个文档中引用 软件作者： 玛丽亚·德尔·马尔·罗尔丹·加西亚（Maria del Mar Roldan-Garcia）、何塞·奥尔达纳·蒙特斯（Jose F.Aldana-Montes） 相关软件： – 主要字段： –
OWLDiff公司 在0个文档中引用 软件作者： 彼得·克雷曼（Petr Kremen）、马雷克·斯米德（Marek Smid）、兹登克·库巴（Zdenek Kouba） 相关软件： – 主要字段： –
人口众多 在0个文档中引用 软件作者： 西蒙·朱普（Simon Jupp）；马修·霍里奇；路易吉·伊诺内；朱莉·克莱恩；斯图亚特·欧文；Joost Schanstra；罗伯特·史蒂文斯（Robert Stevens）；Katy Wolstencroft 相关软件： – 主要字段： –