Yizheng Zhao

According to our database, Yizheng Zhao authored at least 25 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient Computation of Signature-Restricted Views for Semantic Web Ontologies.

Yizheng Zhao

Proceedings of the ACM on Web Conference 2024, 2024

What a Surprise! Computing Rewritten Modules Can Be as Efficient as Computing Subset Modules.

Zhihao Yang, Yizheng Zhao

Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

2023

Highly-Optimized Forgetting for Creating Signature-Based Views of Ontologies.

Yizheng Zhao

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

2022

Differentiable Fuzzy ALC: A Neural-Symbolic Representation Language for Symbol Grounding.

Xuan Wu, Xinhao Zhu, Yizheng Zhao, Xinyu Dai

CoRR, 2022

Creating Signature-Based Views for Description Logic Ontologies with Transitivity and Qualified Number Restrictions.

Yue Xiang, Xuan Wu, Chang Lu, Yizheng Zhao

Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022

2021

Computing Views of OWL Ontologies for the Semantic Web.

Jiaqi Li, Xuan Wu, Chang Lu, Wenxing Deng, Yizheng Zhao

Proceedings of the WWW '21: The Web Conference 2021, 2021

Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies.

Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao

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), 2021

Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases.

Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020

UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes.

Xuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt, Hao Feng

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

UI-FAME: A High-Performance Forgetting System for Creating Views of Ontologies.

Xuan Wu, Wenxing Deng, Chang Lu, Hao Feng, Yizheng Zhao

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

A Practical Approach to Forgetting in Description Logics with Nominals.

Yizheng Zhao, Renate A. Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Tracking Logical Difference in Industrial-Scale Ontologies.

Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi

Proceedings of the 32nd International Workshop on Description Logics, 2019

FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions.

Yizheng Zhao, Renate A. Schmidt

Proceedings of the Automated Deduction - CADE 27, 2019

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach.

Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Automated semantic forgetting for expressive description logics.

Yizheng Zhao

PhD thesis, 2018

Methods and Metrics for Knowledge Base Engineering and Integration.

Giorgos Stoilos, David Geleta, Szymon Wartak, Sheldon Hall, Mohammad Khodadadi, Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt

Proceedings of the 9th Workshop on Ontology Design and Patterns (WOP 2018) co-located with 17th International Semantic Web Conference (ISWC 2018), 2018

On Concept Forgetting in Description Logics with Qualified Number Restrictions.

Yizheng Zhao, Renate A. Schmidt

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.

Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics.

Yizheng Zhao, Renate A. Schmidt

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach.

Yizheng Zhao, Renate A. Schmidt

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Forgetting Concept and Role Symbols in ALCOIHµ⁺(∇, ⊓)-Ontologies.

Yizheng Zhao, Renate A. Schmidt

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies.

Yizheng Zhao, Renate A. Schmidt

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Concept Forgetting in <i>ALCOI</i> -Ontologies Using an Ackermann Approach.

Yizheng Zhao, Renate A. Schmidt

Proceedings of the Semantic Web - ISWC 2015, 2015

Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach.

Yizheng Zhao, Renate A. Schmidt

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

An Improved Unscented Particle Filter with Global Sampling Strategy.

Yizheng Zhao

J. Comput. Eng., 2014