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