宝塔

此软件的关键字
zbMATH参考文献(参考
Botoeva,Elena;Lutz,Carsten;Ryzhikov,Vladislav;Wolter,Frank;Zakharyaschev,Michael:本体论的查询不可分离性(2019) Glimm,Birte;Kazakov,Yevgeny;Tran,Trung-Kien:通过抽象超越DL-Lite的可伸缩推理(2016) Zhou,Yujiao;Grau,Bernardo Cuenca;Nenov,Yavor;Kaminski,Mark;Horrocks,Ian:PAGOdA:使用数据日志推理器进行即付即用本体查询回答(2015)