Data and tools for: Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

Test data and tools used in the research published as "Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach", Y. Zhao, G. Alghamdi, R. A. Schmidt, H. Feng, G. Stoilos, D. Juric and M. Khodadadi. In P. Van Hentenryck and Z.-H. Zhou (eds), Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). AAAI Press (2019).本数据集包含发表于论文《大规模本体（ontologies）中的逻辑差异追踪：基于遗忘的方法》（Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach）的研究中所用的测试数据与工具，作者为Y. Zhao、G. Alghamdi、R. A. Schmidt、H. Feng、G. Stoilos、D. Juric与M. Khodadadi。该论文收录于由P. Van Hentenryck及Z.-H. Zhou担任编辑的第三十三届 AAAI 人工智能大会（AAAI-2019）论文集，由AAAI出版社于2019年出版。