Implementing and Evaluating A Rule-based Approach to Querying Regular εL+ Ontologies
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-based approach to querying regular εL+, a restriction of a well known description logics based ontology language εL+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in εL+ in general is undecidable. In our approach, a regular εL+ ontology is first translated into a logic program which contains a set of rules, and then by forward chaining reasoning the pseudo model of the above logic program is calculated. Query answering for εL+ is rewritten to instance checking in the pseudo model of a logic program. To the best of our knowledge, this is the first report of implementation and evaluation for regular εL+ ontologies.
Yuting Zhao Jeff Z. Pan Yuan Ren
Department of Computing Science, University of Aberdeen, UK
国际会议
2009 Ninth International Conference on Hybrid Intelligent Systems(第九届混合智能系统国际会议 HIS 2009)
沈阳
英文
1-6
2009-08-12（万方平台首次上网日期，不代表论文的发表时间）