Zhe Wang
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 (3), 245-269, 2014
3842014
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
782013
Forgetting concepts in DL-Lite
Z Wang, K Wang, R Topor, JZ Pan
European Semantic Web Conference, 245-257, 2008
782008
A new approach to knowledge base revision in DL-Lite
Z Wang, K Wang, R Topor
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
722010
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
712010
Concept and Role Forgetting in Ontologies
K Wang, Z Wang, R Topor, JZ Pan, G Antoniou
International Semantic Web Conference, 666-681, 2009
512009
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
422014
The hermit owl reasoner
I Horrocks, B Motik, Z Wang
CEUR Workshop Proceedings 858 (3), 2012
402012
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
302012
Approximating model-based ABox revision in DL-Lite: Theory and practice
G Qi, Z Wang, K Wang, X Fu, Z Zhuang
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
232015
Contraction and revision over DL-Lite TBoxes
Z Zhuang, Z Wang, K Wang, G Qi
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
232014
Tableau-based forgetting in ALC ontologies
Z Wang, K Wang, RW Topor, X Zhang
Proc. ECAI 10, 47-52, 2010
222010
Scalable Rule Learning via Learning Representation.
PG Omran, K Wang, Z Wang
IJCAI, 2149-2155, 2018
162018
Revising general knowledge bases in description logics
Z Wang, K Wang, R Topor
Twelfth International Conference on the Principles of Knowledge …, 2010
152010
DL-lite contraction and revision
Z Zhuang, Z Wang, K Wang, G Qi
Journal of Artificial Intelligence Research 56, 329-378, 2016
122016
Instance-driven ontology evolution in DL-Lite
Z Wang, K Wang, Z Zhuang, G Qi
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
112015
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
102016
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
92017
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
82015
DL-Lite ontology revision based on an alternative semantic characterization
Z Wang, K Wang, R Topor
ACM Transactions on Computational Logic (TOCL) 16 (4), 1-37, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20