Yizheng Zhao

39 papers A* 9A 9Journal 5Unranked 14
YearRankTypeTitle / Venue / Authors
2026 β€” conf
Fast and Faithful: Scalable Neuro-Symbolic Learning and Reasoning with Differentiable Fuzzy 𝓔𝓛
KDD (1)
Yizheng Zhao
2026 J jnl
LLM-based Embeddings: Attention Values Encode Sentence Semantics Better Than Hidden States.
CoRR
Yeqin Zhang, Yunfei Wang, Jiaxuan Chen, Ke Qin, Yizheng Zhao, Cam-Tu Nguyen
2026 A* conf
Learning to Compress: Unlocking the Potential of Large Language Models for Text Representation.
AAAI
Yeqin Zhang, Yizheng Zhao, Chen Hu, Binxing Jiao, Daxin Jiang, Ruihang Miao, Cam-Tu Nguyen
2025 β€” conf
A Neuro-Symbolic Approach to Symbol Grounding for ALC-Ontologies.
KDD (2)
Xuan Wu, Yizheng Zhao
2025 J jnl
Learning to Compress: Unlocking the Potential of Large Language Models for Text Representation.
CoRR
Yeqin Zhang, Yizheng Zhao, Chen Hu, Binxing Jiao, Daxin Jiang, Ruihang Miao, Cam-Tu Nguyen
2025 A conf
OntoLDiff: A Highly Efficient System for Tracking Logical Difference in Large-Scale Ontologies.
CIKM
Yizheng Zhao, Renate A. Schmidt
2025 A conf
Strong Forgetting for ALCQ-Ontologies.
CIKM
Sen Wang, Yizheng Zhao
2025 J jnl
The Effects of Rural Tourism on Rural Collective Action: A Socio-Ecological Systems Perspective.
Syst.
Yizheng Zhao, Zeqi Liu, Yahua Wang
2025 A conf
Uniform Interpolation and Forgetting for Large-Scale Ontologies with Application to Semantic Difference in SNOMED CT.
CADE
Yizheng Zhao, Junyi Zhang, Renate A. Schmidt
2024 A* conf
Efficient Computation of Signature-Restricted Views for Semantic Web Ontologies.
WWW
Yizheng Zhao
2024 A conf
What a Surprise! Computing Rewritten Modules Can Be as Efficient as Computing Subset Modules.
CIKM
Zhihao Yang, Yizheng Zhao
2023 A conf
Highly-Optimized Forgetting for Creating Signature-Based Views of Ontologies.
CIKM
Yizheng Zhao
2022 A* conf
Creating Signature-Based Views for Description Logic Ontologies with Transitivity and Qualified Number Restrictions.
WWW
Yue Xiang, Xuan Wu, Chang Lu, Yizheng Zhao
2022 J jnl
Differentiable Fuzzy ALC: A Neural-Symbolic Representation Language for Symbol Grounding.
CoRR
Xuan Wu, Xinhao Zhu, Yizheng Zhao, Xinyu Dai
2021 A* conf
Computing Views of OWL Ontologies for the Semantic Web.
WWW
Jiaqi Li, Xuan Wu, Chang Lu, Wenxing Deng, Yizheng Zhao
2021 β€” conf
Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies.
Description Logics
Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao
2021 β€” conf
Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies.
SOQE@KR
Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao
2021 β€” ed.
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021.
SOQE@KR
Renate A. Schmidt, Christoph Wernhard, Yizheng Zhao
2021 A conf
Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases.
CIKM
Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao
2021 β€” conf
Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases.
Description Logics
Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao
2020 A* conf
A Practical Approach to Forgetting in Description Logics with Nominals.
AAAI
Yizheng Zhao, Renate A. Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng
2020 β€” conf
UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes.
Description Logics
Xuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt, Hao Feng
2020 A conf
UI-FAME: A High-Performance Forgetting System for Creating Views of Ontologies.
CIKM
Xuan Wu, Wenxing Deng, Chang Lu, Hao Feng, Yizheng Zhao
2019 A conf
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions.
CADE
Yizheng Zhao, Renate A. Schmidt
2019 β€” conf
On Concept Forgetting in Description Logics with Qualified Number Restrictions.
Description Logics
Yizheng Zhao, Renate A. Schmidt
2019 β€” conf
Tracking Logical Difference in Industrial-Scale Ontologies.
Description Logics
Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
2019 A* conf
Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach.
AAAI
Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
2018 β€” β€”
Automated semantic forgetting for expressive description logics.
Yizheng Zhao
2018 A conf
FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics.
IJCAR
Yizheng Zhao, Renate A. Schmidt
2018 β€” conf
Methods and Metrics for Knowledge Base Engineering and Integration.
WOP@ISWC
Giorgos Stoilos, David Geleta, Szymon Wartak, Sheldon Hall, Mohammad Khodadadi, Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt
2018 A* conf
On Concept Forgetting in Description Logics with Qualified Number Restrictions.
IJCAI
Yizheng Zhao, Renate A. Schmidt
2018 β€” conf
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.
Description Logics
Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt
2017 β€” conf
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach.
Description Logics
Yizheng Zhao, Renate A. Schmidt
2017 A* conf
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach.
IJCAI
Yizheng Zhao, Renate A. Schmidt
2016 β€” conf
Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies.
Description Logics
Yizheng Zhao, Renate A. Schmidt
2016 A* conf
Forgetting Concept and Role Symbols in ALCOIHΒ΅
IJCAI
Yizheng Zhao, Renate A. Schmidt
2015 β€” conf
Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach.
Description Logics
Yizheng Zhao, Renate A. Schmidt
2015 β€” conf
Concept Forgetting in
ISWC (1)
Yizheng Zhao, Renate A. Schmidt
2014 J jnl
An Improved Unscented Particle Filter with Global Sampling Strategy.
J. Comput. Eng.
Yizheng Zhao