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

Dataset

Bibliographical metadata

Description

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).
Date made available6 Feb 2019
PublisherMendeley Data