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 ε£+, by only allowing regular role axioms. It is known that, without such a restriction, query answering in ε£+ in general is undecidable. In our approach, a regular ε£+ 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 ε£+ 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 ε£+ ontologies.
|Title of host publication
|Proceedings - 2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009
|Number of pages
|Published - 27 Nov 2009
|2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009 - Shenyang, China
Duration: 12 Aug 2009 → 14 Aug 2009
|2009 9th International Conference on Hybrid Intelligent Systems, HIS 2009
|12/08/09 → 14/08/09
Bibliographical noteThis work has been partially supported by the European Project Marrying Ontologies and Software Technologies (MOST ICT 2008-216691).
- Semantic Web
- logic programming
- hybrid intelligent systems
- artificial intelligence
- service oriented architecture
- web sites