Name Card

Full name Familienname, Vorname
Xiao, Guohui
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 22 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Xiao, Guohui Optimizing Horn-SHIQ Reasoning for OBDAKonferenzbeitrag Inproceedings 2019
2Eiter, Thomas ; Pan, Jeff Z. ; Schneider, Patrik ; Šimkus, Mantas ; Xiao, Guohui A Rule-based Framework for Creating Instance Data from OpenStreetMapKonferenzbeitrag Inproceedings 2015
3Krathu, Worarat ; Pichler, Christian ; Xiao, Guohui ; Werthner, Hannes ; Neidhardt, Julia ; Zapletal, Marco ; Huemer, Christian Inter-organizational success factors: a cause and effect modelArtikel Article 2015
4Eiter, Thomas ; Schneider, Patrik ; Simkus, Mantas ; Xiao, Guohui Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57Konferenzbeitrag Inproceedings 2014
5Zhang, Xiaowang ; Xiao, Guohui ; Lin, Zuoquan ; Van den Bussche, Jan Inconsistency-tolerant reasoning with OWL DLArtikel Article2014
6Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui Tractability Guarantees for DL-Lite Query AnsweringKonferenzbeitrag Inproceedings 2013
7Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui Tractable Queries for Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
8Xiao Guohui - 2013 - Inline evaluation of hybrid knowledge bases.pdf.jpgXiao, Guohui Inline evaluation of hybrid knowledge basesThesis Hochschulschrift 2013
9Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013
10Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
11Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
12Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Tran, Trung-Kien ; Xiao, Guohui Towards Practical Query Answering for Horn SHIQ.Konferenzbeitrag Inproceedings 2012
13Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Tran, Trung-Kien ; Xiao, Guohui Query Rewriting for Horn-SHIQ Plus RulesKonferenzbeitrag Inproceedings 2012
14Xiao, Guohui ; Ma, Yue Inconsistency Measurement based on Variables in Minimal Unsatisfiable SubsetsKonferenzbeitrag Inproceedings 2012
15Xiao, Guohui ; Eiter, Thomas ; Heymans, Stijn The DReW System for Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings 2012
16Feier, Cristina ; Eiter, Thomas ; Kifer, Michael ; Mosca, Alessandro ; Rezk, Martín ; Rosati, Riccardo ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Tran, Trung-Kien ; Xiao, Guohui D3.4 Converged and Optimized Combinations of Rules and OntologiesBericht Report2011
17Xiao, Guohui ; Eiter, Thomas Inline Evaluation of Hybrid Knowledge Bases - PhD DescriptionKonferenzbeitrag Inproceedings 2011
18Feier, Cristina ; Aït-Kaci, Hassan ; Angele, Jürgen ; De Bruijn, Jos ; Citeau, Hugue ; Eiter, Thomas ; El Ghali, Adil ; Kerhet, Volha ; Kiss, Eva ; Korf, Roman ; Krekeler, Thomas ; Krennwallner, Thomas ; Heymans, Stijn ; Mosca, Alessandro ; Rezk, Martín ; Xiao, Guohui D3.3 Complexity and Optimization of Combinations of Rules and OntologiesBericht Report2010
19Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT SolversKonferenzbeitrag Inproceedings 2010
20Xiao, Guohui ; Heymans, Stijn ; Eiter, Thomas DReW: a Reasoner for Datalog-rewritable Description Logics and DL-ProgramsKonferenzbeitrag Inproceedings 2010