Xiaowang Zhang
Postdoc (Sep. 2011 - Dec. 2014)
Database and Theoretical Computer Science Research Group, Hasselt University, Belgium
Supervisor: Prof. dr. Jan Van den Bussche
Email: zhxiaowang {AT} gmail.com
Since Jan. 2015, I worked as an associate professor in School of Computer Science and Technology at Tianjin University in China [link].
Other sources: DBLP and Google Scholar.
Graph databases and RDF
- On the power of SPARQL in expressing navigational queries.
Xiaowang Zhang and Jan Van den Bussche
The Computer Journal, in press, 2014.
- 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.
Description logics and OWL
- 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.]
- A distance-based paraconsistent semantics in DL-Lite
Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, and Guilin Qi
arXiv:1301.2005, 2013.
- 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.
- An algorithm based on sign
transformation for paraconsistent reasoning in description logic ALC (in Chinese).
Xiaowang Zhang, Guohui Xiao, and Zuoquan Lin
4th Chinese Semantic Web Symposium (CSWS 2010), Beijing, China. Computer Science, 38(3):206-212, 2011.
- A tableau algorithm for
paraconsistent 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.
Last updated: Mar 9, 2015.