Follow
Zhe Wang
Zhe Wang
Senior Lecturer, Griffith University
Verified email at griffith.edu.au - Homepage
Title
Cited by
Cited by
Year
HermiT: an OWL 2 reasoner
B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang
Journal of Automated Reasoning 53, 245-269, 2014
6992014
Acyclicity notions for existential rules and their application to query answering in ontologies
BC Grau, I Horrocks, M Krötzsch, C Kupke, D Magka, B Motik, Z Wang
Journal of Artificial Intelligence Research 47, 741-808, 2013
1292013
Forgetting for knowledge bases in DL-Lite
Z Wang, K Wang, R Topor, JZ Pan
Annals of Mathematics and Artificial Intelligence 58 (1-2), 117-151, 2010
902010
Forgetting concepts in DL-Lite
Z Wang, K Wang, R Topor, JZ Pan
Lecture Notes in Computer Science 5021, 245, 2008
812008
A new approach to knowledge base revision in DL-Lite
Z Wang, K Wang, R Topor
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 369-374, 2010
782010
Scalable Rule Learning via Learning Representation.
PG Omran, K Wang, Z Wang
IJCAI, 2149-2155, 2018
762018
Concept and Role Forgetting in Ontologies
K Wang, Z Wang, R Topor, JZ Pan, G Antoniou
The Semantic Web-ISWC 2009: 8th International Semantic Web Conference, ISWC …, 2009
562009
The hermit owl reasoner
I Horrocks, B Motik, Z Wang
CEUR Workshop Proceedings 858 (3), 2012
522012
Eliminating concepts and roles from ontologies in expressive descriptive logics
K Wang, Z Wang, R Topor, JZ Pan, G Antoniou
Computational Intelligence 30 (2), 205-232, 2014
512014
An embedding-based approach to rule learning in knowledge graphs
PG Omran, K Wang, Z Wang
IEEE Transactions on Knowledge and Data Engineering 33 (4), 1348-1359, 2019
372019
Acyclicity conditions and their application to query answering in description logics
B Grau, I Horrocks, M Kroetsch, C Kupke, D Magka, B Motik, Z Wang
332012
Approximating model-based ABox revision in DL-Lite: Theory and practice
G Qi, Z Wang, K Wang, X Fu, Z Zhuang
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
292015
Contraction and revision over DL-Lite tboxes
Z Zhuang, Z Wang, K Wang, G Qi
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
272014
Tableau-based forgetting in ALC ontologies
Z Wang, K Wang, RW Topor, X Zhang
Proc. ECAI 10, 47-52, 2010
232010
Revising General Knowledge Bases in Description Logics.
Z Wang, K Wang, RW Topor
KR, 2010
172010
An axiom based metamodel for software process formalisation: An ontology approach
E Kabaale, L Wen, Z Wang, T Rout
Software Process Improvement and Capability Determination: 17th …, 2017
162017
DL-Lite contraction and revision
Z Zhuang, Z Wang, K Wang, G Qi
Journal of Artificial Intelligence Research 56, 329-378, 2016
162016
Representing software process in description logics: an ontology approach for software process reasoning and verification
E Kabaale, L Wen, Z Wang, T Rout
Software Process Improvement and Capability Determination: 16th …, 2016
132016
Instance-driven ontology evolution in DL-Lite
Z Wang, K Wang, Z Zhuang, G Qi
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
132015
Comparative analysis of requirement change management challenges between in-house and global software development: Findings of literature and industry survey
S Anwer, L Wen, Z Wang, S Mahmood
IEEE Access 7, 116585-116611, 2019
122019
The system can't perform the operation now. Try again later.
Articles 1–20