Yizheng Zhao
Title
Cited by
Cited by
Year
Forgetting concept and role symbols in ALCOIHµ+(∇,∩)-ontologies
Y Zhao, RA Schmidt
Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016
232016
Concept Forgetting in -Ontologies Using an Ackermann Approach
Y Zhao, RA Schmidt
International Semantic Web Conference, 587-602, 2015
212015
Role forgetting for ALCOQH (V)-ontologies using an ackermann-based approach
Y Zhao, RA Schmidt
Proc. IJCAI 17, 1354-1361, 2017
182017
FAME: an automated tool for semantic forgetting in expressive description logics
Y Zhao, RA Schmidt
International Joint Conference on Automated Reasoning, 19-27, 2018
162018
On Concept Forgetting in Description Logics with Qualified Number Restrictions.
Y Zhao, RA Schmidt
IJCAI, 1984-1990, 2018
112018
Tracking logical difference in large-scale ontologies: a forgetting-based approach
Y Zhao, G Alghamdi, RA Schmidt, H Feng, G Stoilos, D Juric, ...
Proceedings of the AAAI Conference on Artificial Intelligence 33, 3116-3124, 2019
52019
Towards integrating public procurement data into a semantic knowledge graph
A Soylu, O Corcho, E Simperl, D Roman, YM Francisco, C Taggart, ...
42018
Automated semantic forgetting for expressive description logics
Y Zhao
PQDT-Global, 2018
42018
Methods and Metrics for Knowledge Base Engineering and Integration.
G Stoilos, D Geleta, S Wartak, S Hall, M Khodadadi, Y Zhao, G Alghamdi, ...
WOP@ ISWC, 72-86, 2018
22018
FAME (Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions
Y Zhao, RA Schmidt
International Conference on Automated Deduction, 568-579, 2019
12019
Structured and uncertainty-aware data storytelling
Y Zhao, T Blount, L Koesten, E Simperl
12019
A Practical Approach to Forgetting in Description Logics with Nominals
Y Zhao, R Schmidt, Y Wang, X Zhang, H Feng
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 3073-3079, 2020
2020
Tracking Logical Difference in Industrial-Scale Ontologies.
Y Zhao, G Alghamdi, RA Schmidt, H Feng, G Stoilos, D Juric, ...
Description Logics, 2019
2019
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.
Y Zhao, H Feng, R Alassaf, W Del-Pinto, RA Schmidt
Description Logics, 2018
2018
Concept and Role Forgetting in ALCOIHμ (V,⊓)-Ontologies
Y Zhao, RA Schmidt
Automated Reasoning Workshop 2016 Bridging the Gap between Theory and …, 2016
2016
TBFY/storytelling: version 0.1
T Blount, Y Zhao, F Yedro, O Corcho
UI-FAME: A Deductive Forgetting System for Creating Views of ALC-TBoxes⋆
X Wu, C Lu, Y Zhao, H Feng, RA Schmidt, Y Dai
Forgetting Role Symbols in ALCOQH (V)-Ontologies
Y Zhao, RA Schmidt
Automated Reasoning Workshop 2017 ARW’17, 15, 0
Deliverable 4.4 Visualisation and Interaction Components
Y Zhao, E Simperl
Deliverable 4.3 Data-shape Aware Automatic Storytelling Methods
Y Zhao, E Simperl
The system can't perform the operation now. Try again later.
Articles 1–20