Publications
2008
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer.
Exploiting conjunctive queries in description logic programs.
In Berthe Y. Choueiry and Bob Givan, editors, Informal
Proceedings of the 10th International Symposium on Artificial Intelligence
and Mathematics (ISAIM 2008), Ft. Lauderdale, Florida, January 2-4, 2008,
ISAIM Online Proceedings, 2008.
(Invited paper).
[ pdf ]
2007
Axel Polleres, François Scharffe, and Roman Schindlauer.
SPARQL++ for Mapping between RDF Vocabularies.
In OTM 2007, Part I : Proceedings of the 6th International
Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE
2007), Vilamoura, Algarve, Portugal, number 4803 in Lecture Notes in
Computer Science (LNCS), pages 878-896. Springer, November 2007.
[ pdf ]
Tina Dell'Armi, Lorenzo Gallucci, Nicola Leone, Francesco Ricca, and Roman
Schindlauer.
ONTODLV: an ASP-based System for Enterprise Ontologies.
In Proceedings ASP 2007: Answer Set Programming: Advances in
Theory and Implementation, Porto, Portugal, pages 99-113, September 2007.
Axel Polleres and Roman Schindlauer.
DLVHEX-SPARQL: A SPARQL compliant Query Engine Based on
DLVHEX.
In Stijn Heymans, Axel Polleres, Edna Ruckhaus, David Pearce, and
Gopal Gupta, editors, Proceedings of the ICLP'07 Workshop on
Applications of Logic Programming to the Web, Semantic Web and Semantic Web
Services (ALPSWS2007), Porto, Portugal, number 287 in CEUR Workshop
Proceedings, pages 3-12. CEUR-WS.org, September 2007.
[ pdf ]
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,
Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Bressanone, Italy, number 250 in CEUR Workshop Proceedings, pages
259-266. CEUR-WS.org, June 2007.
[ pdf ]
Martin Brain, Wolfgang Faber, Marco Maratea, Axel Polleres, Torsten Schaub, and
Roman Schindlauer.
What should an ASP Solver output?
In First International Workshop on Software Engineering for
Answer Set Programming 2007 (SEA'07), Tempe, AZ, USA, pages 26-37, May
2007.
Position Paper.
[ pdf ]
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and
Hans Tompits.
Combining Answer Set Programming with Description Logics for the
Semantic Web.
Technical Report INFSYS RR-1843-07-04, Institut für
Informationssysteme, TU Wien, March 2007.
[ pdf ]
2006
Roman Schindlauer.
Answer-Set Programming for the Semantic Web.
PhD thesis, Vienna University of Technology, Austria, December 2006.
[ pdf ]
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set
Semantics.
In Toyoaki Nishida, Zhongzhi Shi, Ubbo Visser, Xingdong Wu, Jiming
Liu, Benjamin Wah, William Cheung, and Yiu-Ming Cheung, editors,
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web
Intelligence (WI 2006) - Demonstration Track, Hongkong, China, pages
1073-1074. IEEE Computer Society Press, December 2006.
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, and Kewen
Wang.
Forgetting in Managing Rules and Ontologies.
In Toyoaki Nishida, Zhongzhi Shi, Ubbo Visser, Xingdong Wu, Jiming
Liu, Benjamin Wah, William Cheung, and Yiu-Ming Cheung, editors,
Proceedings 2006 IEEE/WIC/ACM International Conference on Web Intelligence
(WI 2006), Hongkong, China, pages 411-419. IEEE Computer Society Press,
December 2006.
Axel Polleres and Roman Schindlauer.
SPAR2QL: From SPARQL to Rules.
In Fifth International Semantic Web Conference (ISWC 2006) -
Posters Track, Athens, GA, USA, November 2006.
[ pdf ]
Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, and Hans
Tompits.
Reasoning with Rules and Ontologies.
In Pedro Barahona, François Bry, Enrico Franconi, Ulrike
Sattler, and Nicola Henze, editors, Reasoning Web, Second International
Summer School, Lissabon, Portugal, Tutorial Lectures, number 4126 in
Lecture Notes in Computer Science (LNCS), pages 93-127. Springer,
September 2006.
[ pdf ]
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set
Semantics.
In Axel Polleres, Stefan Decker, Gopal Gupta, and Jos de Bruijn,
editors, Informal Proceedings Workshop on Applications of Logic
Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at
FLOC/ICLP 2006, Seattle, WA, USA, number 196 in CEUR Workshop Proceedings,
pages 33-39. CEUR-WS.org, August 2006.
[ http ]
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, and Kewen
Wang.
Forgetting in managing rules and ontologies.
In Axel Polleres, Stefan Decker, Gopal Gupta, and Jos de Bruijn,
editors, Informal Proceedings of the Workshop on Applications of Logic
Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) at
FLOC/ICLP 2006, Seattle, WA, USA, number 196 in CEUR Workshop Proceedings,
pages 1-16. CEUR-WS.org, August 2006.
[ http ]
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
A RuleML Syntax for Answer-Set Programming.
In Axel Polleres, Stefan Decker, Gopal Gupta, and Jos de Bruijn,
editors, Informal Proceedings of the Workshop on Applications of Logic
Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006) -
Poster Track, at FLOC/ICLP 2006, number 196 in CEUR Workshop Proceedings,
pages 107-108. CEUR-WS.org, August 2006.
[ http ]
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
Effective Integration of Declarative Rules with External Evaluations
for Semantic Web Reasoning.
In York Sure and John Domingue, editors, Proceedings of the 3rd
European Conference on Semantic Web (ESWC 2006), Budva, Montenegro, number
4011 in Lecture Notes in Computer Science (LNCS), pages 273-287. Springer,
June 2006.
[ http ]
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
Integration of Multiple Semantics in an Answer Set Framework.
In Proceedings of the AI*IA Workshop on Experimental Analysis
and Benchmarks of Algorithms for Artificial Intelligence (RCRA'06), Udine,
Italy, June 2006.
To appear.
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
Towards Efficient Evaluation of HEX Programs.
In Jürgen Dix and Anthony Hunter, editors, Proceedings of
the 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Answer
Set Programming Track, Lakeside, UK, pages 40-46, May 2006.
Available as TR IfI-06-04, Institut für Informatik, TU Clausthal,
Germany.
[ pdf ]
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set
Programming Framework.
In Michael Fink, Hans Tompits, and Stefan Woltran, editors,
Proceedings of the 20th Workshop on Logic Programming and Constraint Systems
(WLP'06), Vienna, Austria, volume 1843-06-02 of INFSYS Research
Report, pages 206-210. Technische Universität Wien, Austria, February
2006.
[ pdf ]
2005
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs
with Description Logics.
In 4th International Semantic Web Conference (ISWC 2005) -
Posters Track, Galway, Ireland, November 2005.
System poster.
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
DLV-HEX: Dealing with Semantic Web under Answer-Set
Programming.
In 4th International Semantic Web Conference (ISWC 2005) -
Posters Track, Galway, Ireland, November 2005.
System poster.
Roman Schindlauer.
Nonmonotonic Logic Programs for the Semantic Web.
In Maurizio Gabbrielli and Gopal Gupta, editors, Proceedings of
the 21st International Conference on Logic Programming (ICLP 2005), Sitges,
Spain, number 3668 in Lecture Notes in Computer Science (LNCS), pages
446-447. Springer, September 2005.
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
Nonmonotonic Description Logic Programs: Implementation and
Experiments.
In Franz Baader and Andrei Voronkov, editors, Proceedings of the
12th International Conference on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR 2004), Montevideo, Uruguay, number 3452
in Lecture Notes in Computer Science (LNCS), pages 511-517. Springer,
March 2005.
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits.
A Uniform Integration of Higher-Order Reasoning and External
Evaluations in Answer Set Programming.
In Leslie Pack Kaelbling and Alessandro Saffiotti, editors,
Proceedings of the 19th International Joint Conference on Artificial
Intelligence (IJCAI 2005), Edinburgh, Scotland, UK, pages 90-96.
Professional Book Center, 2005.
2004
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits.
Combining Answer Set Programming with Description Logics for the
Semantic Web.
In Didier Dubois, Christopher Welty, and Mary-Anne Williams, editors,
Proceedings of the 9th International Conference on Principles of
Knowledge Representation and Reasoning (KR 2004), Whistler, British Columbia,
Canada, pages 141-151. AAAI Press, June 2004.
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits.
Well-founded Semantics for Description Logic Programs in the
Semantic Web.
In Grigoris Antoniou and Harold Boley, editors, Proceedings of
the 3rd International Workshop on Rules and Rule Markup Languages for the
Semantic Web (RuleML 2004), Hiroshima, Japan, number 3323 in Lecture Notes
in Computer Science (LNCS), pages 81-97. Springer, 2004.
Grigoris Antoniou, Matteo Baldoni, Cristina Baroglio, Robert Baumgartner,
François Bry, Thomas Eiter, Nicola Henze, Marcus Herzog, Wolfgang May,
Viviana Patti, Sebastian Schaffert, Roman Schindlauer, and Hans Tompits.
Reasoning Methods for Personalization on the Semantic Web.
Annals of Mathematics, Computing and Teleinformatics,
2(1):1-24, 2004.
Invited paper.
2003
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits.
Combining Answer Set Programming with Description Logics for the
Semantic Web.
Technical Report INFSYS RR-1843-03-13, Institut für
Informationssysteme, TU Wien, 2003.
[ pdf ]
Thomas Eiter, Michael Fink, Roman Schindlauer, and Hans Tompits.
Answer Set Programming for Intelligent Web Services.
ÖGAI Journal (J. of the Austrian Society for
AI), 22(2):17-22, 2003.
Project-Report.
2002
Roman Schindlauer.
Representation of SQL Queries for Declarative Query
Analysis.
Master's thesis, Vienna University of Technology, Austria, October
2002.