软件搜索-zbMATH开放

ELK公司

swMATH ID:	22930
软件作者：	叶夫根尼·哈萨克夫；马库斯·克罗茨奇；弗朗蒂舍克·西蒙西克
描述：	ELK是OWL2本体论的推理器，目前支持（大部分）OWL2EL本体论语言。ELK是由牛津大学和乌尔姆大学开发的轻量级本体语言OWL2EL的免费开源推理器。它基于Java，可以使用OWL API、Protégé、Snow OWL本体编辑器或基本命令行界面进行控制。ELK在Apache License 2.0下可用。ELK是大规模并行的，速度极快。在现代笔记本电脑上，它可以在几秒钟内将SNOMED CT本体分类为大约300000个类。它在支持Java 1.6或更高版本的所有操作系统上运行。ELK由牛津大学（Markus Krötzsch和František Simaník）和乌尔姆大学（Yevgeny Kazakov、Pavel Klinov和Peter Skocovsky）联合开发。它的开发得到了ConDOR（牛津）和Live Ontologies（乌尔姆）项目的支持。
主页：	http://liveontologies.github.io/elk-reasoner/
源代码：	https://github.com/liveontologies/elk-reasoner网站/
相关软件：	HermiT公司;弹丸;康clude;塞尔;信标;赛车手;故障电流互感器++;HgMUS公司;Snorocket雪橇;RacerPro赛车;PULi公司;快速拉伸;Protege公司;EL2MCS公司;链锯;TrOWL公司;网络PIE;JPhyloRef参考;蛋白质-TS;许慧欣
引用于：	21文件

4	拉斐尔·佩尼亚洛扎
三	帕特里克·科普曼
2	格利姆，伯尔特
2	伊恩·霍洛克斯
2	叶夫根尼·哈萨克夫
2	马库斯·科洛奇
2	翁贝托·斯特拉契亚
2	安妮·亚斯敏（Anni-Yasmin Turhan）
1	克里斯蒂安·阿拉巴阿
1	弗兰兹·巴德
1	尼科尔·比多特
1	费尔南多·博比洛
1	皮耶罗·安德里亚·博纳蒂
1	斯特凡·博格沃德
1	乔瓦尼·卡西尼
1	塞兰、伊斯梅尔·伊尔坎
1	大卫·特纳·库卡拉
1	伯纳多·昆卡·格劳
1	雷蒙·达赫塞特
1	克莱门斯·杜伯斯拉夫
1	安德烈亚斯·埃克
1	托马斯·艾特
1	迈克尔·芬克
1	劳拉·佐丹奴
1	拉斐尔·冈萨尔维斯。
1	法贾尔·海法尼
1	Lisa Hutschenreiter
1	阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。
1	马蒂亚斯·克诺尔
1	约昂·莱特
1	马，岳
1	Joáo P.塞尔瓦侯爵。
1	尼古拉斯·马滕佐格鲁
1	卡洛斯·门西娅
1	朱利安·门德斯
1	托马斯·安德烈亚斯·梅耶
1	鲍里斯·莫提克
1	比扬·帕西娅
1	伊利亚娜·佩特罗娃。
1	帕特里克·罗德勒
1	路易吉·索罗
1	弗朗蒂舍克·西蒙切克
1	彼得·斯科切夫斯克
1	安德烈亚斯·斯特格米勒
1	Daria A.Stepanova。
1	斯托伊洛斯、乔尔戈斯
1	塞塞迪尔·杜普雷，丹尼尔
1	索菲·托雷特
1	王哲
1	克里斯托夫·韦登巴赫
1	杨慧

21	计算机科学（68至XX）