Aus Aifbportal
Wechseln zu:Navigation, Suche

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


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: LinkLink






Semantic Web Infrastructure, Deduktive Datenbanken, Datenbanksysteme, Semantic Web