Epistemic Querying Of Owl Knowledge Bases
ESWC'11: Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I(2011)
摘要
Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL 2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL 2 reasoning steps thereby enabling the deployment of off-the-shelf OWL 2 reasoning tools for this task. We prove formal correctness of our method, justify the omission of nominals and universal role, and provide an implementation as well as evaluation results.
更多查看译文
关键词
epistemic querying,universal role,off-the-shelf OWL,standard OWL,reasoning step,reasoning tool,standard ontology,deductive introspection,evaluation result,formal correctness,OWL knowledge base
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络