Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.
Domain expansion for ASP-programs with external sources.
Artificial Intelligence, 233:84--121, April 2016.
Available online 7 January 2016.
[ bib |
DOI ]
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.
[ bib |
DOI ]
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.01451v1.
[ bib |
paper ]
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.
[ bib |
DOI |
paper ]
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, 2015.
Published online: 13 August 2015.
[ bib |
DOI ]
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.
[ bib |
DOI ]
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.
[ bib |
DOI ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
DOI |
paper ]
Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, and Francesco
Ricca.
The Answer Set Programming Competition.
AI Magazine, 33(4):114--118, December 2012.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
DOI |
paper ]
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
http://ijcai-11.iiia.csic.es/program/best_paper_track.
[ bib |
DOI |
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.
[ bib |
paper ]
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.
[ bib |
DOI |
paper ]
Thomas Krennwallner.
Combining Nonmonotonic Knowledge Bases for Modular and
Distributed Knowledge-Based Information Systems.
In Eiter et al. [eefhkl2010-buro], pages 41--41.
[ bib ]
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.
[ bib |
paper ]
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.
[ bib |
DOI |
paper |
slides ]
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.
[ bib |
DOI |
paper |
slides ]
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.
[ bib |
paper ]
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.
[ bib |
paper |
slides ]
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.
[ bib |
paper |
slides ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper |
slides ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
DOI |
paper |
slides ]
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.
[ bib |
DOI |
paper |
slides ]
Axel Polleres, Thomas Krennwallner, Nuno Lopes, Jacek Kopecký, and Stefan
Decker.
XSPARQL Language Specification, January 2009.
W3C member submission.
[ bib |
paper ]
Thomas Krennwallner, Nuno Lopes, and Axel Polleres.
XSPARQL: Semantics, January 2009.
W3C member submission.
[ bib |
paper ]
Nuno Lopes, Thomas Krennwallner, Axel Polleres, Waseem Akhtar, and Stéphane
Corlosquet.
XSPARQL: Implementation and Test-cases, January 2009.
W3C member submission.
[ bib |
paper ]
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.
[ bib ]
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.
[ bib |
DOI |
paper |
slides ]
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.
[ bib |
DOI |
paper ]
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.
[ bib |
DOI |
paper |
slides ]
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.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
[ bib |
paper ]
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.
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.
[ bib |
paper ]
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.
[ bib |
paper ]
$Id$