(Xiaowang Zhang)副教授
天津大学 计算机科学与技术学院
中国计算机学会会员, ACM会员, 中国中文信息学会语言与知识计算专业委员会委员
办公室: 第55教学楼, B405
地址:天津市海河教育园雅观路135号天津大学新校区
Email: firstname+familyname@tju.edu.cn
个人简历2011年于北京大学获得理学博士学位，师从林作铨教授，同年9月加入比利时哈瑟尔特大学从事博士后研究工作，师从数据库专家Jan Van den Bussche教授，至2015年1月来天津大学工作。在2009年8月至12月澳大利亚格里菲斯大学访问学者，师从王克文教授. 研究方向包括数据库、人工智能、语义网、知识图谱等。目前主持国家自然科学基金项目1项，参与的项目有：比利时国家FWO项目、澳大利亚国家ARC项目、国家自然科学基金(重大)项目等课题。(第一作者)在国内外学术期刊和会议上发表论文20多篇(其中SCI 7篇)。研究兴趣数据库查询: 图数据库，异构数据库，RDF, SPARQL等.
知识库推理: 知识图谱，OWL, 描述逻辑，非经典推理 (超协调推理、非单调推理)等.
教学课程 本体论及其应用
模型检测与程序验证
科研项目面向异构数据库的查询语言设计及其基础理论研究，国家自然科学基金(**), 2016/01-2018/12, 主持
Theory and Implementation of Knowledge Base Systems for FO(.), 比利时国家FWO项目(G.0489.10N), 2011/01-2013/12, 参加
不一致、不完整和不确定的软件需求规约的集成式分析和处理方法研究，国家自然科学基金(**), 2012/01-2015/12, 参加
超协调缺省逻辑及其应用，国家自然科学基金(**), 2010/01-2012/12, 参加
Towards Automated and Intelligent Processing of Web-based Information, 澳大利亚国家ARC项目(DP**), 2006/01-2008/12, 参加
发表论文数据库查询 Context-free path queries on RDF graphs.
Xiaowang Zhang, Zhiyong Feng, Xin Wang and Guozheng Rao
arXiv:1506.00743, 2015.
On the power of SPARQL in expressing navigational queries.
Xiaowang Zhang and Jan Van den Bussche
The Computer Journal, 58 (11): 2841-2851, 2015.
On the satisfiability problem for SPARQL patterns.
Xiaowang Zhang and Jan Van den Bussche
arXiv:1406.1404, under review, 2014.
Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference.
Tony Tan, Jan Van den Bussche, and Xiaowang Zhang
arXiv:1406.0349, 2014.
On the primitivity of operators in SPARQL.
Xiaowang Zhang and Jan Van den Bussche
Information Processing Letters, 114(9):480-485, 2014.
Walk Logic as a framework for path query languages on graph databases.
Jelle Hellings, Bart Kuijpers, Jan Van den Bussche, and Xiaowang Zhang
16th International Conference on Database Theory (ICDT 2013), Genoa, Italy. ACM, 117-128, 2013.
知识库推理
Xiaowang Zhang, Zhiyong Feng, Wenrui Wu, Mokarrom Hossain, and Wendy MacCaullComputing and Informatics, to appear, 2015
PROSE: A plugin-based paraconsistent OWL reasoner.
Wenrui Wu, Zhiyong Feng, Xiaowang Zhang, Xin Wang, and Guozheng Rao
5th Joint International Semantic Technology Conference (JIST 2015), Yichang, China, 2015 (to appear)
Updating direct graph for incremental reasoning in OWL 2 QL ontology.
Changlong Wang, Zhiyong Feng, Guozheng Rao, Xin Wang, and Xiaowang Zhang
14th International Semantic Web Conference (ISWC 2015, Poster and Demo), Bethlehem, PA, USA, 2015.
From Datalog reasoning to modular structure of an ontology.
Changlong Wang, Zhiyong Feng, Guozheng Rao, Xin Wang, and Xiaowang Zhang
14th International Semantic Web Conference (ISWC 2015, Poster and Demo), Bethlehem, PA, USA, 2015.
A distance-based paraconsistent semantics for DL-Lite.
Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, and Guilin Qi
8th International Conference on Knowledge Science, Engineering and Management (KSEM 2015), Chongqing, China，LNAI 9403, Springer, 15-27, 2015.
Inconsistency-tolerant reasoning with OWL DL.
Xiaowang Zhang, Guohui Xiao, Zuoquan Lin, and Jan Van den Bussche
International Journal of Approximate Reasoning, 55(2): 557-584, 2014.
[System: PROSE - A Paraconsistent OWL DL Reasoner.]
An argumentation framework for description logic ontology reasoning and management..
Xiaowang Zhang and Zuoquan Lin
Journal of Intelligent Information Systems, 40(3): 375-403, 2013.
An approach to generating arguments over DL-Lite ontologies.
Xiaowang Zhang and Zuoquan Lin
Computing and Informatics, 32(5): 924-948, 2013.
Quasi-classical description logic.
Xiaowang Zhang and Zuoquan Lin
Journal of Multiple-Valued Logic and Soft Computing, 18(3-4) 291-327, 2012.
一种基于符号变换的描述逻辑ALC超协调推理算法.
张小旺, 肖国辉
4th Chinese Semantic Web Symposium (CSWS 2010), Beijing, China. 计算机科学, 38(3):206-212, 2011.
A tableau algorithm forparaconsistent and nonmonotonic reasoning in description logic-based system.
Xiaowang Zhang, Zuoquan Lin, and Kewen Wang
13th Asia-Pacific Web Conference (APWeb 2011), Beijing, China. LNCS 6612, Springer, 345-356, 2011.
Tableau-based forgetting in ALC ontologies.
Zhe Wang, Kewen Wang, Rodney Topor, and Xiaowang Zhang
14th European Conference on Artificial Intelligence (ECAI 2010). Lisbon, Portugal. IOS:47-52, 2010.
Argumentation-based reasoning with inconsistent knowledge bases.
Xiaowang Zhang, Zhihu Zhang, Dai Xu, and Zuoquan Lin
23rd Canadian Conference Artificial Intelligence (AI 2010). Ottawa, Canada. LNCS 6085, Springer, 87-99, 2010.
Towards a paradoxical description logic for the semantic web.
Xiaowang Zhang, Zuoquan Lin, and Kewen Wang
6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010), Sofia, Bulgaria. LNCS 5956, Springer, 306-325, 2010.
Updating ontologies and general rules.
Xiaowang Zhang, Guohui Xiao, and Zuoquan Lin
3rd Chinese Semantic Web Symposium (CSWS 2009), Nanjing, China. Journal of Southeast University (English Edition), 25(4)477-481, 2009.
An argumentation-based approach to handling inconsistencies in DL-Lite.
Xiaowang Zhang and Zuoquan Lin
32nd Annual Conference on Artificial Intelligence (KI 2009), Paderborn, Germany. LNAI 5803, Springer, 615-622, 2009.
Quasi-classical semantics for expressive description logics.
Xiaowang Zhang, Guilin Qi, Yue Ma, and Zuoquan Lin
22nd International Workshop on Description Logics (DL 2009), Oxford, United Kindgom. CEUR Workshop Proceedings. Vol. 477, 2009.
An argumentative semantics for paraconsistent reasoning in description logic ALC.
Xiaowang Zhang, Zhihu Zhang, and Zuoquan Lin
22nd International Workshop on Description Logics (DL 2009), Oxford, United Kindgom. CEUR Workshop Proceedings. Vol. 477, 2009.
A tableau algorithm for handling inconsistency in OWL.
Xiaowang Zhang, Guohui Xiao, and Zuoquan Lin
6th European Semantic Web Conference (ESWC 2009), Heraklion, Greece. LNCS 5554, Springer, 399-413, 2009.
Paraconsistent reasoning with quasi-classical semantics in ALC
Xiaowang Zhang and Zuoquan Lin
2nd International Conference on Web Reasoning and Rule System (RR 2008), Karlsruhe, Germany. LNCS 5341, Springer, 222-229, 2008.
