Publications
List of publications:
2020
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, and Torsten Schaub. ASP-Core-2 Input Language Format. Theory and Practice of Logic Programming, 20(2):294–309, Mar 2020. Published online: 20 December 2019.
2019
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, and Torsten Schaub. ASP-Core-2 Input Language Format. Technical Report 1911.04326v1, arXiv, Nov 2019. arXiv:1911.04326.
Lucas Kletzander, Nysret Musliu, Johannes Gärtner, Werner Schafhauser, and Thomas Krennwallner. Exact Methods for Extended Rotating Workforce Scheduling Problems. In J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, and Siddharth Srivastava, editors, 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), Berkeley, CA, USA, July 11-15, 2019, pages 519–527. July 2019.
2018
Thomas Krennwallner. Modular Nonmonotonic Logic Programs. PhD thesis, Vienna University of Technology, Karlsplatz 13, A-1040 Wien, October 2018, 293pp.
Johannes Gärtner, Philip Bohle, Anna Arlinghaus, Werner Schafhauser, Thomas Krennwallner, and Magdalena Widl. Scheduling Matters – Some Potential Requirements for Future Rostering Competitions from a Practitioner’s View. In Edmund K. Burke, Luca Di Gaspero, Barry McCollum, Nysret Musliu, Ender Özcan, editors, 12th International Conference of the Practice and Theory of Automated Timetabling (PATAT 2018), Vienna, Austria, August 28-31, 2018, pages 33–42. August 2018.
2016
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller. A model building framework for Answer Set Programming with external computations. Theory and Practice of Logic Programming, 16(4):418–464, Jul 2016. Published online: 13 August 2015.
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl. Domain expansion for ASP-programs with external sources. Artificial Intelligence, 233:84–121, April 2016. Published online: 7 January 2016.
Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, and Markus Straub. Semantically Enriched Multi-Modal Routing. International Journal of Intelligent Transportation Systems Research, 14(1):20–35, January 2016. Published online: 05 August 2014.
2015
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller. A model building framework for Answer Set Programming with external computations. Technical Report 1507.01451v1, arXiv, July 2015. arXiv:1507.01451.
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. Distributed Evaluation of Nonmonotonic Multi-context Systems. Journal of Artificial Intelligence Research, 52:543–600, April 2015.
2014
Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, and Jun Deng. FLP answer set semantics without circular justifications for general logic programs. Artificial Intelligence, 213:1–41, August 2014.
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl. HEX-Programs with Existential Quantification. In Michael Hanus and Ricardo Rocha, editors, 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP’13), Kiel, Germany, September 11-13, 2013, volume 8439 of LNAI, pages 99–117. Springer, July 2014.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller. Efficient HEX-Program Evaluation based on Unfounded Sets. Journal of Artificial Intelligence Research, 49:269–321, February 2014.
2013
Thomas Eiter, Thomas Krennwallner, and Christoph Redl. HEX-Programs with Nested Program Calls. In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, and Armin Wolf, editors, 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), volume 7773 of LNAI, pages 1–10. Springer, October 2013.
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl. Grounding HEX-Programs with Expanding Domains. In David Pearce, Shahab Tasharrofi, Evgenia Ternovska, and Concepción Vidal, editors, 2nd Workshop on Grounding and Transformations for Theories with Variables (GTTV’13), Corunna, Spain, September 15, 2013, pages 3–15, September 2013.
Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, and Guohui Xiao. The Fourth Answer Set Programming Competition: Preliminary Report. In Pedro Cabalar and Tran Cao Son, editors, 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain, September 15-19, 2013, volume 8148 of LNCS, pages 42–53. Springer, September 2013.
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Spendier, Johannes Peter Wallner, and Guohui Xiao. VCWC: A Versioning Competition Workflow Compiler. In Pedro Cabalar and Tran Cao Son, editors, 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain, September 15-19, 2013, volume 8148 of LNCS, pages 233–238. Springer, September 2013.
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl. Liberal Safety Criteria for HEX-Programs. In Marie desJardins and Michael Littman, editors, Twenty-Seventh AAAI Conference (AAAI 2013), July 14–18, 2013, Bellevue, Washington, USA, pages 267–275. AAAI Press, July 2013.
Thomas Eiter, Thomas Krennwallner, and Patrik Schneider. Lightweight Spatial Conjunctive Query Answering using Keywords. In Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, and Sebastian Rudolph, editors, 10th Extended Semantic Web Conference (ESWC 2013), May 26-30, 2013, Montpellier, France, volume 7882 of LNCS, pages 243–258. Springer, May 2013.
2012
Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, and Francesco Ricca. The Answer Set Programming Competition. AI Magazine, 33(4):114–118, December 2012.
Thomas Eiter, Thomas Krennwallner, Matthias Prandtstetter, Christian Rudloff, Patrik Schneider, and Markus Straub. Semantically Enriched Multi-Modal Routing. In 19th ITS World Congress, Vienna, Austria, October 22–26, 2012, number EU-00427, page 10, October 2012.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller. Improving HEX-Program Evaluation based on Unfounded Sets. Technical Report INFSYS RR-1843-12-08, Institut für Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna, September 2012.
Thomas Eiter and Thomas Krennwallner, editors. Reasoning Web: Semantic Technologies for Advanced Query Answering, 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012, volume 7487. Springer, September 2012.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller. Eliminating Unfounded Set Checking for HEX-Programs. In Michael Fink and Yuliya Lierler, editors, 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), September 4, 2012, Budapest, Hungary, pages 83–97, September 2012.
Harald Beck, Thomas Eiter, and Thomas Krennwallner. Inconsistency Management for Traffic Regulations: Formalization and Complexity Results. In Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin, editors, 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France, volume 7519 of LNCS, pages 80–93. Springer, September 2012.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller. Exploiting Unfounded Sets for HEX-Program Evaluation. In Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin, editors, 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), September 26-28, 2012, Toulouse, France, volume 7519 of LNCS, pages 160–175. Springer, September 2012.
Stefan Bischof, Stefan Decker, Thomas Krennwallner, and Axel Polleres. Mapping between RDF and XML with XSPARQL. Journal on Data Semantics, 1(3):147–185, September 2012. Published online: 04 September 2012.
Harald Beck, Thomas Eiter, and Thomas Krennwallner. Inconsistency Management for Traffic Regulations. In Biplav Srivastava, Freddy Lécué, and Anupam Joshi, editors, AAAI 2012 Workshop on Semantic Cities, pages 2–8. AAAI Press, July 2012.
Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl. Conflict-driven ASP solving with external sources. Theory and Practice of Logic Programming: Special Issue 28th International Conference on Logic Programming (ICLP 2012), 12(4–5):659–679, July 2012. Published online: 05 September 2012.
Thomas Eiter, Thomas Krennwallner, Patrik Schneider, and Guohui Xiao. Uniform Evaluation of Nonmonotonic DL-Programs. In Thomas Lukasiewicz and Attila Sali, editors, 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012), volume 7153 of LNCS, pages 1–22. Springer, March 2012.
2011
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. First-Order Encodings of Modular Nonmonotonic Logic Programs. In Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers, editors, Datalog Reloaded, 1st International Workshop on Datalog 2010, Oxford, UK, March 16–19, 2010, volume 6702 of LNCS, pages 59–77. Springer, December 2011.
Thomas Eiter, Thomas Krennwallner, and Christoph Redl. Nested HEX-Programs. In Hans Tompits, editor, 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), Vienna, Austria, September 28–30, 2011, number arXiv:1108.5626v1 in arXiv. Computing Research Repository (CoRR), September 2011.
Thomas Eiter, Thomas Krennwallner, and Christoph Redl. Declarative merging of and reasoning about decision diagrams. In Alessandro Dal Palù, Agostino Dovier, and Andrea Formisano, editors, Workshop on Constraint Based Methods for Bioinformatics (WCB 2011), Perugia, Italy, September 12, 2011, pages 3–15. Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia, September 2011.
Thomas Krennwallner. Promoting Modular Nonmonotonic Logic Programs. In John Gallagher and Michael Gelfond, editors, Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011), Lexington, Kentucky, U.S.A., July 6–10, 2011, volume 11 of Leibniz International Proceedings in Informatics (LIPIcs), pages 274–279. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, July 2011. Best Student Presentation ICLP Doctoral Consortium 2011.
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. Dynamic Distributed Nonmontonic Multi-Context Systems. In Gerhard Brewka, Victor Marek, and Miroslaw Truszczynski, editors, Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary, Lexington, Kentucky, U.S.A., October 22–25, 2010, volume 31 of Studies in Logic, pages 63–88. College Publications, London, July 2011.
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. Model Streaming for Distributed Multi-Context Systems. In Alessandra Mileo and Michael Fink, editors, 2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications (Log-IC 2011), Vancouver, British Columbia, Canada, May 16, 2011, volume 738 of CEUR Workshop Proceedings, pages 11–22. CEUR-WS.org, May 2011.
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, and Toby Walsh. Symmetry Breaking for Distributed Multi-Context Systems. In James Delgrande and Wolfgang Faber, editors, 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, British Columbia, Canada, May 16-19, 2011, volume 6645 of LNAI, pages 26–39. Springer, May 2011.
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, and Peter Schüller. Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. In James Delgrande and Wolfgang Faber, editors, 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, British Columbia, Canada, May 16-19, 2011, volume 6645 of LNAI, pages 93–106. Springer, May 2011. Best Paper.
Stefan Bischof, Stefan Decker, Thomas Krennwallner, Nuno Lopes, and Axel Polleres. Mapping between RDF and XML with XSPARQL. Technical Report DERI-TR-2011-04-04, Digital Enterprise Research Institute, National University of Ireland, Galway, IDA Business Park, Lower Dangan, Galway, Ireland, April 2011.
Christoph Redl, Thomas Eiter, and Thomas Krennwallner. Declarative Belief Set Merging using Merging Plans. In Ricardo Rocha and John Launchbury, editors, 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011), Austin, Texas, U.S.A., January 24-25, 2011, volume 6539 of LNCS, pages 99–114. Springer, January 2011.
2010
Thomas Krennwallner. Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information Systems. In Eiter et al. [eefhkl2010-buro], pages 41–41.
Thomas Eiter, Adil El Ghali, Sergio Fernàndez, Stijn Heymans, Thomas Krennwallner, and François Lèvy, editors. BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, Brixen, Italy, 21 September 2010. Ontorule Project, September 2010.
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. Decomposition of Distributed Nonmonotonic Multi-Context Systems. In Tomi Janhunen and Ilkka Niemelä, editors, 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland, September 13-15, 2010, volume 6341 of LNAI, pages 24–37. Springer, September 2010.
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. In Tomi Janhunen and Ilkka Niemelä, editors, 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland, September 13-15, 2010, volume 6341 of LNAI, pages 352–355. Springer, September 2010.
Nuno Lopes, Stefan Bischof, Orri Erling, Axel Polleres, Alexandre Passant, Diego Berrueta, Antonio Campos, Jerome Euzenat, Kingsley Idehen, Stefan Decker, Stephane Corlosquet, Jacek Kopecky, Janne Saarela, Thomas Krennwallner, Davide Palmisano, and Michal Zaremba. RDF and XML: Towards a Unified Query Layer. In David Wood, Stefan Decker, and Ivan Herman, editors, W3C Workshop — RDF Next Steps, Stanford, California, U.S.A., June 26-27, 2010. World Wide Web Consortium, World Wide Web Consortium, June 2010.
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. Decomposition of Distributed Nonmonotonic Multi-Context Systems. In Tommie Meyer and Eugenia Ternovska, editors, 13th International Workshop on Non-Monotonic Reasoning (NMR 2010), Toronto, Ontario, Canada, May 14-16, 2010, May 2010.
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. Distributed Nonmonotonic Multi-Context Systems. In Fangzhen Lin and Ulrike Sattler, editors, 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Ontario, Canada, May 9-13, 2010, pages 60–70. AAAI Press, May 2010.
2009
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, and Axel Polleres. Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regime. In Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, and Krishnaprasad Thirunarayan, editors, 8th International Semantic Web Conference (ISWC 2009), Washington D.C., U.S.A., October 25–29, 2009, volume 5823 of LNCS, pages 310–327. Springer, October 2009.
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs. In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany, September 14-18, 2009, volume 5753 of LNCS, pages 87–100. Springer, September 2009.
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, and Thomas Krennwallner. Combining Nonmonotonic Knowledge Bases with External Sources. In Silvio Ghilardi and Roberto Sebastiani, editors, 7th International Symposium on Frontiers of Combining Systems (FroCos 2009), Trento, Italy, September 16–18, 2009, volume 5749 of LNAI, pages 18–42. Springer, September 2009.
Thomas Eiter, Giovambattista Ianni, and Thomas Krennwallner. Answer Set Programming: A Primer. In Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, and Renate A. Schmidt, editors, 5th International Reasoning Web Summer School (RW 2009), Brixen/Bressanone, Italy, August 30–September 4, 2009, volume 5689 of LNCS, pages 40–110. Springer, September 2009.
Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, and Jan Maluszynski. Hybrid Reasoning with Rules and Ontologies. In Francois Bry and Jan Maluszynski, editors, Semantic Techniques for the Web: The REWERSE Perspective, volume 5500 of LNCS, pages 1–49. Springer, September 2009.
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner. Modular Nonmonotonic Logic Programming Revisited. In Patricia M. Hill and David S. Warren, editors, 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, U.S.A., July 14–17, 2009, volume 5649 of LNCS, pages 145–159. Springer, July 2009.
Thomas Eiter, Michael Fink, and Thomas Krennwallner. Decomposition of Declarative Knowledge Bases with External Functions. In Craig Boutilier, editor, Twenty-first International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A., July 11–17, 2009, pages 752–758. AAAI Press, July 2009.
Minh Dao-Tran, Thomas Eiter, and Thomas Krennwallner. Realizing Default Logic over Description Logic Knowledge Bases. In Claudio Sossai and Gaetano Chemello, editors, 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, July 1–3, 2009, volume 5590 of LNAI, pages 602–613. Springer, July 2009.
Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, and Axel Polleres. A Rule System for Querying Persistent RDFS Data. In Lora Arroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, and Elena Simperl, editors, 6th European Semantic Web Conference (ESWC 2009), Heraklion, Greece, May 31–June 4, 2009, volume 5554 of LNCS, pages 857–862. Springer, June 2009.
Axel Polleres, Thomas Krennwallner, Nuno Lopes, Jacek Kopecký, and Stefan Decker. XSPARQL Language Specification, January 2009. W3C member submission.
Thomas Krennwallner, Nuno Lopes, and Axel Polleres. XSPARQL: Semantics, January 2009. W3C member submission.
Nuno Lopes, Thomas Krennwallner, Axel Polleres, Waseem Akhtar, and Stéphane Corlosquet. XSPARQL: Implementation and Test-cases, January 2009. W3C member submission.
2008
Thomas Krennwallner, Thomas Eiter, and Michael Fink. Decomposing HEX-Programs: Preliminary Results. In Hans Kaiser and Raimund Kirner, editors, Junior Scientist Conference (JSC 2008), Vienna, Austria, November 16–18, 2008, pages 29–30. Vienna University of Technology, November 2008.
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Axel Polleres. Rules and Ontologies for the Semantic Web. In Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, and Sebastian Schaffert, editors, 4th International Reasoning Web Summer School (RW 2008), Venice, Italy, September 7–11, 2008, volume 5224 of LNCS, pages 1–53. Springer, September 2008.
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer. Exploiting conjunctive queries in description logic programs. Annals of Mathematics and Artificial Intelligence: Logic in AI: A Special Issue Dedicated to Victor W. Marek on the Occasion of His 65th birthday, 53(1–4):115–152, August 2008. Published online: 27 January 2009.
Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, and Axel Polleres. XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage. In Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, and Manolis Koubarakis, editors, 5th European Semantic Web Conference (ESWC 2008), Tenerife, Canary Islands, Spain, June 1–5, 2008, volume 5021 of LNCS, pages 432–447. Springer, June 2008. Nominated for the Best Paper Award.
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer. Exploiting Conjunctive Queries in Description Logic Programs. Technical Report INFSYS RR-1843-08-02, Institut für Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna, March 2008.
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer. Exploiting Conjunctive Queries in Description Logic Programs. In 10th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008): Logic in Artificial Intelligence: Special Session in Honor of the 65th Birthday of Victor W. Marek, Fort Lauderdale, Florida, U.S.A., January 2–4, 2008, ISAIM Online Proceedings, January 2008.
2007
Waseem Akhtar, Jacek Kopecký, Thomas Krennwallner, and Axel Polleres. XSPARQL: Traveling between the XML and RDF worlds – and avoiding the XSLT pilgrimage. Technical Report DERI-TR-2007-12-14, Digital Enterprise Research Institute, National University of Ireland, Galway, IDA Business Park, Lower Dangan, Galway, Ireland, December 2007.
Thomas Krennwallner. Integration of Conjunctive Queries over Description Logics into HEX-Programs. Master’s thesis, Vienna University of Technology, Karlsplatz 13, A-1040 Wien, October 2007, 114pp. OCG Förderpreis 2009 (OCG advancement award 2009) for outstanding master thesis in the field of Computer Science by the Austrian Computer Society, and nominated for the Distinguished Young Alumnus/Alumna Award for outstanding Master’s Thesis at the Faculty of Informatics, Vienna University of Technology.
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer. Exploiting Conjunctive Queries in Description Logic Programs. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, editors, 20th International Workshop on Description Logics (DL 2007), Brixen/Bressanone, Italy, June 8–10, 2007, volume 250 of CEUR Workshop Proceedings, pages 259–266. CEUR-WS.org, June 2007.