Xiaowang Zhang
Xiaowang Zhang
Verified email at tju.edu.cn - Homepage
Cited by
Cited by
A tableau algorithm for handling inconsistency in OWL
X Zhang, G Xiao, Z Lin
The Semantic Web: Research and Applications, 399-413, 2009
Context-free path queries on RDF graphs
X Zhang, Z Feng, X Wang, G Rao, W Wu
International Semantic Web Conference, 632-648, 2016
On the satisfiability problem for SPARQL patterns
X Zhang, JV den Bussche, F Picalausa
Journal of Artificial Intelligence Research 56, 403-428, 2016
On the power of SPARQL in expressing navigational queries
X Zhang, J Van den Bussche
The Computer Journal 58 (11), 2841-2851, 2015
Paraconsistent Reasoning with Quasi-classical Semantic in
X Zhang, Z Lin
International Conference on Web Reasoning and Rule Systems, 222-229, 2008
Walk logic as a framework for path query languages on graph databases
J Hellings, B Kuijpers, J Van den Bussche, X Zhang
Proceedings of the 16th International Conference on Database Theory, 117-128, 2013
Towards a paradoxical description logic for the semantic web
X Zhang, Z Lin, K Wang
International Symposium on Foundations of Information and Knowledge Systems …, 2010
Tableau-based forgetting in ALC ontologies
Z Wang, K Wang, RW Topor, X Zhang
Proc. ECAI 10, 47-52, 2010
On the primitivity of operators in SPARQL
X Zhang, J Van den Bussche
Information Processing Letters 114 (9), 480-485, 2014
On the statistical analysis of practical SPARQL queries
X Han, Z Feng, X Zhang, X Wang, G Rao, S Jiang
Proceedings of the 19th International Workshop on Web and Databases, 1-6, 2016
Inconsistency-tolerant reasoning with OWL DL
X Zhang, G Xiao, Z Lin, J Van Den Bussche
International journal of approximate reasoning 55 (2), 557-584, 2014
An argumentation framework for description logic ontology reasoning and management
X Zhang, Z Lin
Journal of Intelligent Information Systems 40 (3), 375-403, 2013
Quasi-classical semantics for expressive description logics
X Zhang, G Qi, Y Ma, Z Lin
An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC.
X Zhang, Z Zhang, Z Lin
Description Logics, 2009
RORS: enhanced rule-based OWL reasoning on Spark
Z Liu, Z Feng, X Zhang, X Wang, G Rao
Asia-Pacific Web Conference, 444-448, 2016
Argumentation-based reasoning with inconsistent knowledge bases
X Zhang, Z Zhang, D Xu, Z Lin
Canadian Conference on Artificial Intelligence, 87-99, 2010
Efficient distributed regular path queries on RDF graphs using partial evaluation
X Wang, J Wang, X Zhang
Proceedings of the 25th ACM International on Conference on Information and …, 2016
A distance-based paraconsistent semantics for DL-Lite
X Zhang, K Wang, Z Wang, Y Ma, G Qi
International Conference on Knowledge Science, Engineering and Management, 15-27, 2015
Quasi-Classical Description Logic.
X Zhang, Z Lin
J. Multiple Valued Log. Soft Comput. 18 (3-4), 291-327, 2012
An argumentation-based approach to handling inconsistencies in DL-Lite
X Zhang, Z Lin
Annual Conference on Artificial Intelligence, 615-622, 2009
The system can't perform the operation now. Try again later.
Articles 1–20