Inproceedings143
Description Logic Programs: Combining Logic Programs with Description Logics
Description Logic Programs: Combining Logic Programs with Description Logics
Published: 2003
Buchtitel: Proc. of WWW 2003, Budapest, Hungary, May 2003
Seiten: 48-57
Verlag: ACM
Referierte Veröffentlichung
BibTeX
Kurzfassung
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
Semantic Web Infrastructure, Deduktive Datenbanken, Datenbanksysteme, Semantic Web