Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT


Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

Description Logic Programs: Combining Logic Programs with Description Logics

Benjamin Grosof, Ian Horrocks, Raphael VolzStefan Decker

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





Deduktive Datenbanken, Semantic Web, Semantic Web Infrastructure, Datenbanksysteme