Thomas Eiter, Thomas Krennwallner, Patrik Schneider and Guohui Xiao
Uniform evaluation of nonmonotonic DL-Programs
FOIKS 12, to appear
Guohui Xiao and Thomas Eiter.
Inline evaluation of hybrid knowledge bases – PhD description.
In S. Rudolph and C. Gutierrez, editors, Proc. 5th International Conference on Web Reasoning and Rule Systems (RR 2011), volume 6902 of Lecture Notes in Computer Science, pages 300–305. Springer, 2011.
[ PDF ]
Guohui Xiao, Stijn Heymans and Thomas Eiter.
DReW: a reasoner for datalog-rewritable description logics and dl-programs.
In: Informal Proc. 1st Int’l Workshop on Business Models, Business Rules and Ontologies (BuRO 2010), Bressanone/Italy (September 21, 2010), [ PDF ]
Stijn Heymans and Thomas Eiter and Guohui Xiao.
Tractable Reasoning with DL-Programs over Datalog-rewritable Description
Logics
Proc. of 19th European Conference on Artificial Intelligence (ECAI) pages 35–40. IOS Press, 2010.
[ PDF ]
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, and Roman Schindlauer.
Well-Founded Semantics for Description Logic Programs in the Semantic Web
Technical Report March 2009
[ PDF ]
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits.
Combining answer set programming with description logics for the Semantic Web.
Artif. Intell. 172(12-13): 1495-1539 (2008)
[ DOI ]
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits.
Well-Founded Semantics for Description Logic Programs in the Semantic Web.
RuleML 2004: 81-97
[ PDF ]
$Id: literature.html 251 2012-02-28 21:25:58Z xiao $