HermiT: an OWL 2 reasoner B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang
Journal of Automated Reasoning 53 (3), 245-269, 2014
635 2014 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
120 2013 Forgetting for knowledge bases in DL-Lite Z Wang, K Wang, R Topor, JZ Pan
Annals of Mathematics and Artificial Intelligence 58 (1), 117-151, 2010
89 2010 Forgetting concepts in DL-Lite Z Wang, K Wang, R Topor, JZ Pan
European Semantic Web Conference, 245-257, 2008
81 2008 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
75 2010 Scalable Rule Learning via Learning Representation. PG Omran, K Wang, Z Wang
IJCAI, 2149-2155, 2018
65 2018 Concept and Role Forgetting in K Wang, Z Wang, R Topor, JZ Pan, G Antoniou
International Semantic Web Conference, 666-681, 2009
55 2009 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
52 2014 The hermit owl reasoner I Horrocks, B Motik, Z Wang
CEUR Workshop Proceedings 858 (3), 2012
49 2012 Acyclicity conditions and their application to query answering in description logics BC Grau, I Horrocks, M Krötzsch, C Kupke, D Magka, B Motik, Z Wang
Thirteenth International Conference on the Principles of Knowledge …, 2012
33 2012 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
27 2015 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
24 2014 Tableau-based forgetting in ALC ontologies Z Wang, K Wang, RW Topor, X Zhang
Proc. ECAI 10, 47-52, 2010
24 2010 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
23 2019 Revising General Knowledge Bases in Description Logics. Z Wang, K Wang, RW Topor
KR, 2010
17 2010 An axiom based metamodel for software process formalisation: An ontology approach E Kabaale, L Wen, Z Wang, T Rout
International Conference on Software Process Improvement and Capability …, 2017
16 2017 DL-Lite contraction and revision Z Zhuang, Z Wang, K Wang, G Qi
Journal of Artificial Intelligence Research 56, 329-378, 2016
16 2016 Representing software process in description logics: an ontology approach for software process reasoning and verification E Kabaale, L Wen, Z Wang, T Rout
International Conference on Software Process Improvement and Capability …, 2016
13 2016 Instance-driven ontology evolution in DL-Lite Z Wang, K Wang, Z Zhuang, G Qi
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
13 2015 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
12 2019 
Kewen WangGriffith UniversityEmail confirmado em griffith.edu.au
