Inproceedings143

Description Logic Programs: Combining Logic Programs with Description Logics

Benjamin Grosof, Ian Horrocks, Raphael Volz, Stefan Decker

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

Projekt

WonderWeb

Forschungsgebiet

Semantic Web Infrastructure, Deduktive Datenbanken, Datenbanksysteme, Semantic Web