Forgetting Concepts in DL-Lite. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor; Jeff Z. Pan (ESWC, 2008)

Uniform Interpolation for ALC mathcal{ALC} Revisited. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor; Jeff Z. Pan; Grigoris Antoniou (Australasian Conference on Artificial Intelligence, 2009)

Revision of DL-Lite Knowledge Bases. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor (Description Logics, 2009)

Concept and Role Forgetting in ALC{ mathcal {ALC}} Ontologies. - Kewen Wang 001; Zhe Wang 001; Rodney W. Topor; Jeff Z. Pan; Grigoris Antoniou (ISWC, 2009)

A New Approach to Knowledge Base Revision in DL-Lite. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor (AAAI, 2010)

Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor; Xiaowang Zhang (ECAI, 2010)

Revising General Knowledge Bases in Description Logics. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor (KR, 2010)

Forgetting for knowledge bases in DL-Lite. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor; Jeff Z. Pan (Ann. Math. Artif. Intell., 2010)

OntoRevision: A Plug-in System for Ontology Revision in Protégé. - Nathan Cobby; Kewen Wang 001; Zhe Wang 001; Marco Sotomayor (JIST, 2011)

Acyclicity Conditions and their Application to Query Answering in Description Logics. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (KR, 2012)

The HermiT OWL Reasoner. - Ian Horrocks 001; Boris Motik; Zhe Wang 001 (ORE, 2012)

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (J. Artif. Intell. Res., 2013)

Contraction and Revision over DL-Lite TBoxes. - Zhiqiang Zhuang; Zhe Wang 001; Kewen Wang 001; Guilin Qi (AAAI, 2014)

Instance-driven TBox Revision in DL-Lite. - Zhe Wang 001; Kewen Wang 001; Guilin Qi; Zhiqiang Zhuang; Yuefeng Li (Description Logics, 2014)

Rational Elimination of DL-Lite TBox Axioms. - Zhiqiang Zhuang; Zhe Wang 001; Kewen Wang 001; Grigoris Antoniou (Description Logics, 2014)

Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics. - Kewen Wang 001; Zhe Wang 001; Rodney W. Topor; Jeff Z. Pan; Grigoris Antoniou (Comput. Intell., 2014)

HermiT: An OWL 2 Reasoner. - Birte Glimm; Ian Horrocks 001; Boris Motik; Giorgos Stoilos; Zhe Wang 001 (J. Autom. Reason., 2014)

Query Abduction for ELH Ontologies. - Mahsa Chitsaz; Zhe Wang 001; Kewen Wang 001 (AAAI, 2015)

Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice. - Guilin Qi; Zhe Wang 001; Kewen Wang 001; Xuefeng Fu; Zhiqiang Zhuang (AAAI, 2015)

Knowledge Forgetting in Circumscription: A Preliminary Report. - Yisong Wang; Kewen Wang 001; Zhe Wang 001; Zhiqiang Zhuang (AAAI, 2015)

Instance-Driven Ontology Evolution in DL-Lite. - Zhe Wang 001; Kewen Wang 001; Zhiqiang Zhuang; Guilin Qi (AAAI, 2015)

Possibilistic Inferences in Answer Set Programming. - Yifan Jin; Kewen Wang 001; Zhe Wang 001 (Australasian Conference on Artificial Intelligence, 2015)

Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies. - Zhe Wang 001; Mahsa Chitsaz; Kewen Wang 001; Jianfeng Du (CIKM, 2015)

Extending AGM Contraction to Arbitrary Logics. - Zhiqiang Zhuang; Zhe Wang 001; Kewen Wang 001; James P. Delgrande (IJCAI, 2015)

A Distance-Based Paraconsistent Semantics for DL-Lite. - Xiaowang Zhang; Kewen Wang 001; Zhe Wang 001; Yue Ma 009; Guilin Qi (KSEM, 2015)

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor (ACM Trans. Comput. Log., 2015)

Transfer Learning in Probabilistic Logic Models. - Pouya Ghiasnezhad Omran; Kewen Wang 001; Zhe Wang 001 (Australasian Conference on Artificial Intelligence, 2016)

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. - Jianmin Ji; Hai Wan; Kewen Wang 001; Zhe Wang 001; Chuhan Zhang; Jiangtao Xu (IJCAI, 2016)

Revising Possibilistic Knowledge Bases via Compatibility Degrees. - Yifan Jin; Kewen Wang 001; Zhe Wang 001; Zhiqiang Zhuang (JELIA, 2016)

Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification. - Edward Kabaale; Lian Wen; Zhe Wang 001; Terry Rout (SPICE, 2016)

DL-Lite Contraction and Revision. - Zhiqiang Zhuang; Zhe Wang 001; Kewen Wang 001; Guilin Qi (J. Artif. Intell. Res., 2016)

Incosistency-Tolerant Forgetting in DL-lite. - Peng Xiao 009; Kewen Wang 001; Zhe Wang 001 (ISWC (Posters, Demos & Industry Tracks), 2017)

An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach. - Edward Kabaale; Lian Wen; Zhe Wang 001; Terry Rout (SPICE, 2017)

A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite. - Xiaowang Zhang; Kewen Wang 001; Zhe Wang 001; Yue Ma 009; Guilin Qi; Zhiyong Feng 002 (Int. J. Approx. Reason., 2017)

Finding map regions with high density of query keywords. - Zhi Yu; Can Wang 001; Jiajun Bu; Xia Hu; Zhe Wang 001; Jia-he Jin (Frontiers Inf. Technol. Electron. Eng., 2017)

Forgetting and Unfolding for Existential Rules. - Zhe Wang 001; Kewen Wang 001; Xiaowang Zhang (AAAI, 2018)

On the Satisfiability Problem of Patterns in SPARQL 1.1. - Xiaowang Zhang; Jan Van den Bussche; Kewen Wang 001; Zhe Wang 001 (AAAI, 2018)

Understanding the Prediction Process of Deep Networks by Forests. - Jie Lei 002; Zhe Wang 001; Zunlei Feng; Mingli Song; Jiajun Bu (BigMM, 2018)

Integrating Culture Awareness and Formalisation in Software Process Assessment and Improvement for Very Small Entities (VSEs). - Tatsuya Nonoyama; Edward Kabaale; Lian Wen; David Tuffley; Zhe Wang 001 (EuroSPI, 2018)

Scalable Rule Learning via Learning Representation. - Pouya Ghiasnezhad Omran; Kewen Wang 001; Zhe Wang 001 (IJCAI, 2018)

Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. - Liangda Fang; Kewen Wang 001; Zhe Wang 001; Ximing Wen (KR, 2018)

Knowledge Compilation in Multi-Agent Epistemic Logics. - Liangda Fang; Kewen Wang 001; Zhe Wang 001; Ximing Wen (CoRR, 2018)

Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability. - Liangda Fang; Kewen Wang 001; Zhe Wang 001; Ximing Wen (AAAI, 2019)

Learning Temporal Rules from Knowledge Graph Streams. - Pouya Ghiasnezhad Omran; Kewen Wang 001; Zhe Wang 001 (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering, 2019)

Practical Datalog Rewriting for Existential Rules. - Zhe Wang 001; Peng Xiao 009; Kewen Wang 001 (Description Logics, 2019)

A Systematic Approach for Identifying Requirement Change Management Challenges: Preliminary Results. - Sajid Anwer; Lian Wen; Zhe Wang 001 (EASE, 2019)

Formalising Process Assessment and Capability Determination: An Ontology Approach. - Edward Kabaale; Lian Wen; Zhe Wang 001; Terry Rout (EuroSPI, 2019)

Knowledge Graph Rule Mining via Transfer Learning. - Pouya Ghiasnezhad Omran; Zhe Wang 001; Kewen Wang 001 (PAKDD (3), 2019)

Ontology-Based Event Detection for Wastewater Treatment. - Yi Sun; Zhe Wang 001; Kewen Wang 001 (ISWC (Satellites), 2019)

A System for Reasoning-based Link Prediction in Large Knowledge Graphs. - Hong Wu; Zhe Wang 001; Xiaowang Zhang; Pouya Ghiasnezhad Omran; Zhiyong Feng 002; Kewen Wang 001 (ISWC (Satellites), 2019)

Learning Ontology Axioms over Knowledge Graphs via Representation Learning. - Leyuan Zhao; Xiaowang Zhang; Kewen Wang 001; Zhiyong Feng 002; Zhe Wang 001 (ISWC (Satellites), 2019)

Comparative Analysis of Requirement Change Management Challenges Between in-House and Global Software Development: Findings of Literature and Industry Survey. - Sajid Anwer; Lian Wen; Zhe Wang 001; Sajjad Mahmood (IEEE Access, 2019)

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic. - Zhiqiang Zhuang; Zhe Wang 001; Kewen Wang 001; James P. Delgrande (J. Artif. Intell. Res., 2019)

Query Answering with Guarded Existential Rules under Stable Model Semantics. - Hai Wan; Guohui Xiao 001; Chenglin Wang 002; Xianqiao Liu; Junhong Chen; Zhe Wang 001 (AAAI, 2020)

A Formal Model for Behavior Trees Based on Context - Free Grammar. - Sajid Anwer; Lian Wen; Zhe Wang 001 (APSEC, 2020)

Lifting Majority to Unanimity in Opinion Diffusion. - Zhiqiang Zhuang; Kewen Wang 001; Junhu Wang; Heng Zhang 006; Zhe Wang 001; Zhiguo Gong (ECAI, 2020)

Query Answering for Existential Rules via Efficient Datalog Rewriting. - Zhe Wang 001; Peng Xiao 009; Kewen Wang 001; Zhiqiang Zhuang; Hai Wan (IJCAI, 2020)

Cross-Layer Distillation with Semantic Calibration. - Defang Chen 001; Jian-Ping Mei; Yuan Zhang; Can Wang 001; Zhe Wang 001; Yan Feng; Chun Chen 001 (AAAI, 2021)

An Attention-Based Approach to Rule Learning in Large Knowledge Graphs. - Minghui Li; Kewen Wang 001; Zhe Wang 001; Hong Wu; Zhiyong Feng 002 (DASFAA (Workshops), 2021)

Enhanced Named Entity Recognition with Semantic Dependency. - Peng Wang; Zhe Wang 001; Xiaowang Zhang; Kewen Wang 001; Zhi-Yong Feng 002 (PRICAI (2), 2021)

A DBpedia-based Benchmark for Ontology-mediated Query Answering. - Suxue Ma; Zhe Wang 001; Kewen Wang 001 (ISWC (Posters/Demos/Industry), 2021)

Online Adversarial Distillation for Graph Neural Networks. - Can Wang 001; Zhe Wang 001; Defang Chen 001; Sheng Zhou 004; Yan Feng; Chun Chen 001 (CoRR, 2021)

An Embedding-Based Approach to Rule Learning in Knowledge Graphs. - Pouya Ghiasnezhad Omran; Kewen Wang 001; Zhe Wang 001 (IEEE Trans. Knowl. Data Eng., 2021)

Learning Rules With Attributes and Relations in Knowledge Graphs. - Pouya Ghiasnezhad Omran; Zhe Wang 001; Kewen Wang 001 (AAAI Spring Symposium: MAKE, 2022)

An Explainable Approach to Semantic Link Mining in Multi-sourced Dynamic Data. - Zhe Wang 001; Yi Sun; Hong Wu; Kewen Wang 001 (ADMA (2), 2022)

Learning Typed Rules over Knowledge Graphs. - Hong Wu; Zhe Wang 001; Kewen Wang 001; Yi-Dong Shen (KR, 2022)

Choice-Driven Contextual Reasoning for Commonsense Question Answering. - Wenqing Deng; Zhe Wang 001; Kewen Wang 001; Xiaowang Zhang; Zhiyong Feng 002 (PRICAI (2), 2022)

SCAN: A shared causal attention network for adverse drug reactions detection in tweets. - Humayun Kayesh; Md. Saiful Islam 003; Junhu Wang; Ryoma J. Ohira; Zhe Wang 001 (Neurocomputing, 2022)

Price of Anarchy for First Price Auction with Risk-Averse Bidders. - Zhiqiang Zhuang; Kewen Wang 001; Zhe Wang 001 (AAMAS, 2023)

An Improved Method for Constructing Domain-Agnostic Knowledge Graphs. - Yuzhou Han; Wenqing Deng; Zhe Wang 001; Kewen Wang 001 (DASFAA (Workshops), 2023)

Zero-Shot Entity Typing in Knowledge Graphs. - Sheng Zhou 004; Zhe Wang 001; Kewen Wang 001; Zhiqiang Zhuang (DASFAA (Workshops), 2023)

Improving Deep Learning Powered Auction Design. - Shuyuan You; Zhiqiang Zhuang; Haiying Wu; Kewen Wang 001; Zhe Wang 001 (ICONIP (8), 2023)

Enhanced Named Entity Recognition through Joint Dependency Parsing. - Peng Wang; Zhe Wang 001; Xiaowang Zhang; Kewen Wang 001; Zhiyong Feng 002 (IJCNN, 2023)

Enhancing Rule Learning on Knowledge Graphs Through Joint Ontology and Instance Guidance. - Xianglong Bao; Zhe Wang 001; Kewen Wang 001; Xiaowang Zhang; Hutong Wu (PRCV (3), 2023)

Type-enhanced Inductive Knowledge Graph Completion. - Suxue Ma; Zhe Wang 001; Kewen Wang 001; Zhiqiang Zhuang (ISWC (Posters/Demos/Industry), 2023)

Rule Learning over Knowledge Graphs: A Review. - Hong Wu; Zhe Wang 001; Kewen Wang 001; Pouya Ghiasnezhad Omran; Jiangmeng Li (TGDK, 2023)

Embedding-Based First-Order Rule Learning in Large Knowledge Graphs. - Pouya Ghiasnezhad Omran; Hong Wu; Zhe Wang 001; Kewen Wang 001 (Compendium of Neurosymbolic Artificial Intelligence, 2023)

Efficient Datalog Rewriting for Query Answering in TGD Ontologies. - Zhe Wang 001; Peng Xiao 009; Kewen Wang 001; Zhiqiang Zhuang; Hai Wan (IEEE Trans. Knowl. Data Eng., 2023)

Maximising the Influence of Temporary Participants in Opinion Formation. - Zhiqiang Zhuang; Kewen Wang 001; Zhe Wang 001; Junhu Wang; Yinong Yang (AAMAS, 2024)

Differentiating Choices via Commonality for Multiple-Choice Question Answering. - Wenqing Deng; Zhe Wang 001; Kewen Wang 001; Shirui Pan; Xiaowang Zhang; Zhiyong Feng 002 (ECAI, 2024)

Option-Differentiated Clue Augmentation for Commonsense Question Answering. - Li Hao; Wenqing Deng; Zhe Wang 001; Kewen Wang 001; Zhiqiang Zhuang; Dongyu Yang (IJCNN, 2024)

Leveraging the Power of Echo State Network for Enhanced Temporal Knowledge Graph Reasoning. - Yi Sun; Zhe Wang 001; Kewen Wang 001 (IJCNN, 2024)

Learning Choice Nuance for Multiple-Choice Commonsense Question Answering. - Dongyu Yang; Wenqing Deng; Zhe Wang 001; Kewen Wang 001; Zhiqiang Zhuang; Hao Li (IJCNN, 2024)

BERDD: A Behaviour Engineering-Based Approach for Requirements Defects Detection. - Sajid Anwer; Lian Wen; Mahmood Ul Hassan; Zhe Wang 001; Amin A. Al-Awady; Yahya Ali Abdelrahman Ali (IEEE Access, 2024)

Towards Dynamic Graph Neural Networks with Provably High-Order Expressive Power. - Zhe Wang 001; Tianjian Zhao; Zhen Zhang 023; Jiawei Chen 007; Sheng Zhou 004; Yan Feng; Chun Chen 001; Can Wang 001 (CoRR, 2024)

Task Progressive Curriculum Learning for Robust Visual Question Answering. - Ahmed Akl; Abdelwahed Khamis; Zhe Wang 001; Ali Cheraghian; Sara Khalifa; Kewen Wang 001 (CoRR, 2024)

Online adversarial knowledge distillation for graph neural networks. - Can Wang 001; Zhe Wang 001; Defang Chen 001; Sheng Zhou 004; Yan Feng; Chun Chen 001 (Expert Syst. Appl., 2024)

Rule-Guided Graph Neural Networks for Explainable Knowledge Graph Reasoning. - Zhe Wang 001; Suxue Ma; Kewen Wang 001; Zhiqiang Zhuang (AAAI, 2025)

Implicit and Explicit Rule Injection for Complex Query Answering over Knowledge Graphs. - Xin Zhang; Zhe Wang 001; Guozheng Rao; Kewen Wang 001 (ICASSP, 2025)

Explainable Temporal Knowledge Graph Reasoning via Expressive Logic Rules. - Xianglong Bao; Kewen Wang 001; Zhe Wang 001; Hong Wu; Jiangtao Zuo; Xiaowang Zhang; Zhiyong Feng 002; Hutong Wu (PAKDD (1), 2025)

Dynamic Graph Transformer with Correlated Spatial-Temporal Positional Encoding. - Zhe Wang 001; Sheng Zhou 004; Jiawei Chen 007; Zhen Zhang 023; Binbin Hu; Yan Feng; Chun Chen 001; Can Wang 001 (WSDM, 2025)

Transfer Rule Learning over Large Knowledge Graphs. - Hong Liu; Zhe Wang 001; Kewen Wang 001; Xiaowang Zhang; Zhiyong Feng 002 (WWW, 2025)