| HermiT: an OWL 2 reasoner B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang Journal of Automated Reasoning 53 (3), 245-269, 2014 | 500 | 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 | 101 | 2013 |
| Forgetting concepts in DL-Lite Z Wang, K Wang, R Topor, JZ Pan European Semantic Web Conference, 245-257, 2008 | 79 | 2008 |
| 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 | 78 | 2010 |
| 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), 2010 | 73 | 2010 |
| Concept and Role Forgetting in Ontologies K Wang, Z Wang, R Topor, JZ Pan, G Antoniou International Semantic Web Conference, 666-681, 2009 | 54 | 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 | 47 | 2014 |
| The hermit owl reasoner I Horrocks, B Motik, Z Wang CEUR Workshop Proceedings 858 (3), 2012 | 40 | 2012 |
| Scalable Rule Learning via Learning Representation. PG Omran, K Wang, Z Wang IJCAI, 2149-2155, 2018 | 39 | 2018 |
| Acyclicity conditions and their application to query answering in description logics BC Grau, I Horrocks, M Kroetsch, C Kupke, D Magka, B Motik, Z Wang | 30 | 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 | 23 | 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 | 23 | 2014 |
| Tableau-based forgetting in ALC ontologies Z Wang, K Wang, RW Topor, X Zhang Proc. ECAI 10, 47-52, 2010 | 22 | 2010 |
| DL-Lite contraction and revision Z Zhuang, Z Wang, K Wang, G Qi Journal of Artificial Intelligence Research 56, 329-378, 2016 | 16 | 2016 |
| Revising General Knowledge Bases in Description Logics. Z Wang, K Wang, RW Topor KR, 2010 | 15 | 2010 |
| 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 | 12 | 2015 |
| 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 | 11 | 2017 |
| 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 | 10 | 2016 |
| Uniform Interpolation for Revisited Z Wang, K Wang, R Topor, JZ Pan, G Antoniou Australasian Joint Conference on Artificial Intelligence, 528-537, 2009 | 9 | 2009 |
| 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 | 8 | 2015 |
Kewen WangGriffith UniversityVerified email at griffith.edu.au
