德洛宁

德洛宁:模糊猫头鹰2的推理机。如今,人们对开发能够处理不确定性的知识表示越来越感兴趣,这是实际应用中非常普遍的需求。尽管本体论取得了无可争议的成功,但经典的本体论并不适合处理不确定性,因此提出了模糊逻辑和粗糙逻辑等形式化的扩展。在本文中,我们描述了第一个支持标准语言OWL和owl2的模糊扩展的本体论推理机deloreian2。严格意义上,德洛宁不是推理者,而是从模糊粗糙本体语言到经典本体语言的翻译家。这允许使用经典的(广泛可用的)描述逻辑推理引擎来推理转换产生的表示。我们描述了应用程序的主要特性:演化、功能、体系结构、图形界面、输入语言和实现细节。


zbMATH参考文献(15篇文章引用)

显示第1到15个结果,共15个。
按年份排序(引用)

  1. Salem Benferhat;Bouraoui,Zied:Min-based possibilistic DL-Lite(2017年)
  2. Bobillo,Fernando;Straccia,Umberto:泛化类型2模糊本体论和类型2模糊描述逻辑(2017)
  3. Borgwardt,Stefan;Peñaloza,Rafael:无限值Gödel语义下非常表达性描述逻辑的推理算法(2017)
  4. Boutouhami,Khaoula;Benferhat,Salem;Khellaf,Faiza;Nouiua,Farid:基于产品的可能性理论框架中的不确定轻量级本体论(2017)
  5. Straccia,Umberto;Bobillo,Fernando:从模糊到注释语义web语言(2017)
  6. Borgwardt,Stefan;Distel,Felix;Peñaloza,Rafael:具有一般概念包含的模糊描述逻辑的可判定极限(2015)
  7. Straccia,Umberto:所有关于模糊描述逻辑和应用(2015)
  8. Zhang,Fu;Ma,Z.M.;Chen,Xu:使用模糊本体论形式化模糊面向对象数据库模型(2015)
  9. 张富;马志明;阎莉;程景伟:基于模糊EER模型的模糊OWL本体构建:语义保持方法(2013)
  10. Bobillo,Fernando;Straccia,Umberto:广义模糊粗糙描述逻辑(2012)
  11. Bukhari,Ahmad C.;Kim,Yong Gi:安全类型2模糊本体与多智能体平台的集成:个性化机票预订领域自动化的建议(2012)ioport公司
  12. Zhang,Fu;Ma,Z.M.;Yan,Li;Wang,Yu:模糊面向对象数据库模型表示和推理的描述逻辑方法(2012)
  13. Bobillo,Fernando;Straccia,Umberto:使用OWL 2的模糊本体表示(2011)ioport公司
  14. Bobillo,Fernando;Straccia,Umberto:在模糊描述逻辑中支持模糊粗糙集(2009)
  15. 蒋云城;王菊;邓培民;唐素琴:表达模糊粗糙描述逻辑中的推理(2009)