Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT

Inproceedings143

Aus Aifbportal

Wechseln zu: Navigation, Suche


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

Projekt

WonderWeb



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Deduktive Datenbanken, Semantic Web, Semantic Web Infrastructure, Datenbanksysteme