Guohui Xiao ()

Project Staff - PhD Student

email:	xiao at kr.tuwien.ac.at
Phone:	+43 (1) 58 801-18428
Fax:	+43 (1) 58 801-18493
Office hours:	by appointment

I started in October 2009 as a research assistant at the Knowledge-Based Systems Group at Vienna University of Technology (TU Wien), Austria.

I obtained my bachelor's and master's degree in Applied Mathematics at Department of Information Science, School of Mathematical Sciences, Peking University.

I am doing my PhD under supervision of Prof. Dr. Thomas Eiter and Dr. Stijn Heymans.

Research Interests

Knowledge Representation
Logic Programming, Rule Language
Description Logic, Ontology, Semantic Web
Algorithms and Complexity in AI
Reasoner Implementation

Research Projects

Reasoning in Hybrid Knowledge Bases (FWF P20840)
OntoRule, partially funded by the European Union's 7th Framework Programme under the Information and Communication Technologies (ICT) Call 3 (ICT-231875).

Software

DReW, a reasoner for DL-program over datalog-rewriteable ontologies.

Publication

My publication page My DBLP

Reviews

AAAI 2011
IJCAI 2011
ISWC 2011
KR 2012
IJCAR 2012

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.