Skip to Content

TU Wien Fakultät für Informatik Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Guohui Xiao > publcations

Tools: Drucken


Guohui Xiao — Selected Publications

2013

Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao.
Tractability Guarantees for DL-Lite Query Answering
In: Proceedings of 26th International Workshop on Description Logics (DL 2013) Ulm, Germany, 2013 (To appear)

Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao.
Tractable Queries for Lightweight Description Logics.
IJCAI 2013, Proceedings of the 23nd International Joint Conference on Artificial Intelligence Beijing, China, 2013 (To appear)

2012

Guohui Xiao, Thomas Eiter and Stijn Heymans.
The DReW System for Nonmonotonic DL-Programs.
In: Proceedings of Joint Conference of the Sixth Chinese Semantic Web Symposium and the First Chinese Web Science Conference (SWWS 2012). Shenzhen City, China, 2012.
[ paper | slides ]

Guohui Xiao and Yue Ma.
Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets.
In Proc. of the 20th European Conference on Artificial Intelligence (ECAI 2012)
[ paper | slides ]

Thomas Eiter, Magdalena Ortiz, Mantas Šimkus, Trung-Kien Tran, and Guohui Xiao.
Query Rewriting for Horn-SHIQ plus Rules.
In Proc. of the Twenty-Sixth Conference on Artificial Intelligence (AAAI-12).
[ paper | TR | poster]

Thomas Eiter, Magdalena Ortiz, Mantas Šimkus, Trung-Kien Tran, and Guohui Xiao.
Towards Practical Query Answering for Horn SHIQ.
In Proc. of The 2012 Description Logics Workshop, (DL 2012) .
[ paper | TR | slides]

Thomas Eiter, Thomas Krennwallner, Patrik Schneider, and Guohui Xiao.
Uniform Evaluation of Nonmonotonic DL-Programs.
In Proc. of 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012), volume 7153 of LNCS, pages 1-22. Springer, March 2012.
[ paper ]

2011

Guohui Xiao, 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. 2011: 300-305
[ paper | slides | poster ]

2010

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)
[ paper | slides ]

Stijn Heymans, Thomas Eiter, Guohui Xiao
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
In Proc. of 19th European Conference on Artificial Intelligence (ECAI 2010) : 35-40
[ paper ]

Guohui Xiao, Zuoquan Lin, Yue Ma, and Guilin Qi
Computing Inconsistency Measurements under Multi-Valued emantics by Partial Max-SAT Solvers
Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference (KR 2010), p 340-349, 2010
[ paper | slides ]

Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, and Zuoquan Lin
Computational Complexity and Anytime Algorithm for Inconsistency Measurement
Int. J. Software and Informatics 4(1): 3-21 (2010)
[ paper ]

2009

Xiaowang Zhang, Guohui Xiao, and Zuoquan Lin
A Tableau Algorithm for Handling Inconsistency in OWL
In Proc. of 6th European Semantic Web Conference (ESWC 2009) : 399-413
[ paper ]

Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, and Zuoquan Lin
An Anytime Algorithm for Computing Inconsistency Measurement
In Proc. of the 3rd International Conference on Knowledge Science, Engineering and Management (KSEM 2009): 29-40
[ paper | slides ]

Master Thesis

Guohui Xiao
Inconsistency Measurement under Multi-Valued Semantics .
Master's thesis, School of Mathematical Sciences, Peking University, May 2010
[ paper | slides (in Chinese) ]


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.