高锰酸钾 KAON2是一个管理OWL-DL、SWRL和F-Logic本体的基础设施。KAON2提供了以下特性：用于对OWL-DL、SWRL和F-Logic本体进行编程管理的API、使用RMI以分布式方式提供对本体的访问的独立服务器、用于回答连接查询（使用SPARQL语法表示）的推理机、挖掘接口，允许从Protégé这样的工具进行访问，Protégé是一个从关系数据库中提取本体实例的模块。 此软件的关键字 这里的任何内容都将在支持canvas元素的浏览器上被替换 次协调推理 猫头鹰 描述逻辑 数据日志 描述逻辑推理机 准经典逻辑 描述逻辑 不一致容忍度 zbMATH参考文献（参考 4篇文章 参考） 显示第1到第4个结果，共4个。 是的按年份排序(引用) 10 20 50 全部的 张晓旺；肖国辉；林，左权；范登布施，简：不一致容忍推理与猫头鹰DL（2014） Lukácsy，Gergely；Szeredi，Péter:Prolog中的有效描述逻辑推理：DLog系统（2009） 祁桂林；潘，杰夫Z；季，秋：可能性逻辑中不确定性推理的扩展描述逻辑（2007） Motik，Boris；Sattler，Ulrike:查询大型描述逻辑aboxes的推理技术比较（2006） 更多出版物请访问：http://kaon2.semanticweb.org/#文献
此软件的关键字
