Translating description logic queries to Prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3819 LNCS, Issue , 2005, Pages 168-182

  Nagy, Zsolt ^a   Lukácsy, Gergely ^a   Szeredi, Péter ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Description Logics; Instance retrieval; Prolog; Query plan; Reasoning

Indexed keywords

AUTOMATIC PROGRAMMING; DATABASE SYSTEMS; FORMAL LOGIC; PROLOG (PROGRAMMING LANGUAGE); QUERY LANGUAGES;

DESCRIPTION LOGICS; INSTANCE RETRIEVAL; QUERY-PLAN; REASONING;

LOGIC PROGRAMMING;

EID: 33745474838     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11603023_12     Document Type: Conference Paper

References (12)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
2. Peter Baumgartner and Ulrich Furbach. PROTEIN: A PROver with a theory extension INterface. In Conference on Automated Deduction, pages 769-773, 1994.
3. Tamás Benko, Péter Krauth, and Péter Szeredi. A logic-based system for application integration. In Proceedings of ICLP, volume 2401 of Lecture Notes in Computer Science, pages 452-466. Springer, July 2002.
4. Tamás Benko, Gergely Lukácsy, Attila Fokt, Péter Szeredi, Imre Kilián, and Péter Krauth. Information integration through reasoning on meta-data. In Proceedings of the Workshop "AI Moves to IA", IJCAI'03, Acapulco, Mexico, pages 65-77, 2003.
5. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: combining logic programs with description logic. In Proceedings of WWW '03, pages 48-57, New York, NY, USA, 2003. ACM Press.
6. Volker Haarslev and Ralf Möller. Optimization techniques for retrieving resources described in OWL/RDF documents: First results. In Proceedings of the Ninth International Conference KR2004, Whistler, Canada. AAAI Press, 2004.
7. Ian Horrocks, Lei Li, Daniele Turi, and Sean Bechhofer. The Instance Store: DL reasoning with large numbers of individuals. In Proceedings of DL2004, British Columbia, Canada, 2004.
8. Ullrich Hustadt, Boris Motik, and Ulrike Sattler. Reasoning for Description Logics around SHIQ in a resolution framework. Technical report, FZI, Karlsruhe, 2004.
9. KAON2: Ontology management tool for the Semantic Web http://kaon2. semanticweb.org/.
10. R. Kowalski and D. Kuehner. Linear resolution with selection function. Artificial Intelligence, 2:227-260, 1971.
11. Mark E. Stickel. A Prolog technology theorem prover: a new exposition and implementation in Prolog. Theoretical Computer Science, 104(1):109-128, 1992.
12. David S. Warren. Programming in tabled Prolog (draft) http://www.cs.sunysb.edu/~warren/xsbbook/book.html.