Buchtitel: Proc. of WWW 2003, Budapest, Hungary, May 2003
Description logic is expected to play a key role in ontology modeling for the Semantic Web. However, logic programming paradigm has been researched extensively in the past and has a large user community, so interoperability between these two formalisms is a desirable and an important issue. In this paper we extend our existing work on translation of description logics ontologies to logic programs. In particular we handle additional expressive primitives, such as existentials, equality, functional properties and nominals. We show how to apply our approach for answering queries over DL ontologies. Finally, we empirically analyse the benefits of our approach in practise by comparing the performance of query answering using state-of-the-art description logics systems and using our translation in conjunction with available logic programming systems.
Weitere Informationen unter: Link, Link