HermiT: an OWL 2 reasoner B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang Journal of automated reasoning 53, 245-269, 2014 | 849 | 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 | 140 | 2013 |
Scalable Rule Learning via Learning Representation. PG Omran, K Wang, Z Wang IJCAI, 2149-2155, 2018 | 110 | 2018 |
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 | 92 | 2010 |
Forgetting concepts in DL-Lite Z Wang, K Wang, R Topor, JZ Pan The Semantic Web: Research and Applications: 5th European Semantic Web …, 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 | 77 | 2010 |
The hermit owl reasoner I Horrocks, B Motik, Z Wang Journal of Automated Reasoning 858 (3), 2012 | 65 | 2012 |
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 | 58 | 2019 |
Concept and role forgetting in ontologies K Wang, Z Wang, R Topor, JZ Pan, G Antoniou International Semantic Web Conference, 666-681, 2009 | 58 | 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 | 56 | 2014 |
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 | 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 | 29 | 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 [ascr][lscr][cscr] ontologies Z Wang, K Wang, R Topor, X Zhang ECAI 2010, 47-52, 2010 | 23 | 2010 |
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 | 18 | 2019 |
Learning Temporal Rules from Knowledge Graph Streams. PG Omran, K Wang, Z Wang AAAI Spring symposium: combining machine learning with knowledge engineering, 2019 | 18 | 2019 |
DL-Lite contraction and revision Z Zhuang, Z Wang, K Wang, G Qi Journal of Artificial Intelligence Research 56, 329-378, 2016 | 18 | 2016 |
Revising general knowledge bases in description logics Z Wang, K Wang, R Topor Twelfth International Conference on the Principles of Knowledge …, 2010 | 18 | 2010 |
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 | 15 | 2017 |
A systematic approach for identifying requirement change management challenges: Preliminary results S Anwer, L Wen, Z Wang Proceedings of the 23rd International Conference on Evaluation and …, 2019 | 14 | 2019 |