Integration of Conjunctive Queries over Description Logics into HEX-Programs

Thomas Krennwallner
Vienna University of Technology

7
2007
Model Streaming for Distributed Multi-Context Systems

Minh Dao-Tran , Thomas Eiter , Michael Fink , Thomas Krennwallner
2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications 12 -12

4
2011
Symmetry breaking for distributed multi-context systems

Christian Drescher , Thomas Eiter , Michael Fink , Thomas Krennwallner
Logic Programming and Nonmonotonic Reasoning 26 -39

3
2011
XSPARQL: Traveling between the XML and RDF worlds

Axel Polleres , Thomas Krennwallner , Jacek Kopecky , Waseem Akhtar
Tenerife, Canary Islands, Spain

2
2008
First-Order Encodings for Modular Nonmonotonic Datalog Programs

Minh Dao-Tran , Thomas Eiter , Michael Fink , Thomas Krennwallner
1st International Workshop on Datalog 2010 59 -77

1
2011
Modular Nonmonotonic Logic Programs

Thomas Krennwallner
Vienna University of Technology

2018
Inconsistency Management for Traffic Regulations

Harald Beck , Thomas Eiter , Thomas Krennwallner
AAAI 2012 Workshop on Semantic Cities 2 -8

2012
Efficient HEX-program evaluation based on unfounded sets

T. Eiter , M. Fink , T. Krennwallner , C. Redl
Journal of Artificial Intelligence Research 49 ( 1) 269 -269

28
2014
Eliminating Unfounded Set Checking for HEX-Programs

Thomas Eiter Michael Fink Thomas Krennwallner , Christoph Redl Peter Schüller

2012
Wissenschaftliche Berichte

J Seres , F Krausz ,

4th International Conference on Web Reasoning and Rule Systems–RR 2010

T Eiter , A El Ghali , S Fernandez , S Heymans

2010
BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies

T Eiter , A El Ghali , S Fernandez , S Heymans
BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies 50 -50

2010
Development and Evaluation of Ontologies in Traditional Medicine: A Review Study.

Hassan Shojaee-Mend , Haleh Ayatollahi , Azam Abdolahadi ,
Methods of Information in Medicine 58 ( 06) 194 -204

2
2019