Inference Inspector: Improving the verification of ontology authoring actions
Inference Inspector: Improving the verification of ontology authoring actions
复制标题
Inference Inspector：改进本体创作操作的验证
DOI：
10.1016/j.websem.2017.09.004
复制
发表时间：
2018
影响因子：
2.5
通讯作者：
Matentzoglu N
中科院分区：
文献类型：
--
作者：
Matentzoglu N
登录
查看更多内容
DOI：
10.1007/s10817-014-9305-1
发表时间：
2014-10-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Glimm, Birte;Horrocks, Ian;Wang, Zhe
通讯作者：
Wang, Zhe
DOI：
--
发表时间：
2013
期刊：
Description Logics
影响因子：
--
作者：
Rafael S Gonçalves;Nicolas Matentzoglu;B. Parsia;U. Sattler
通讯作者：
U. Sattler
在线开放研究 开放大学研究出版物和其他研究成果的存储库 在 OWL 中开发本体：一项观察性研究 会议项目
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Dina El Zarka;Barbara Schuppler
通讯作者：
Barbara Schuppler
从 OWL 本体中提取有限蕴含集
DOI：
--
发表时间：
2011
期刊：
Description Logics
影响因子：
--
作者：
Samantha Bail;B. Parsia;U. Sattler
通讯作者：
U. Sattler
OBO 和 OWL：利用语义网技术促进生命科学
DOI：
10.1007/978-3-540-76298-0_13
发表时间：
2007
期刊：
Nature Precedings
影响因子：
--
作者：
C. Golbreich;M. Horridge;Ian Horrocks;B. Motik;Rob Shearer
通讯作者：
Rob Shearer