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

Published: 6 February 2019| Version 1 | DOI: 10.17632/g6x628wpy5.1
Contributors:
Renate Schmidt,
Yizheng Zhao,
Ghadah Alghamdi,
Hao Feng,
Giorgos Stoilos,
Damir Juric,
Mohammad Khodadadi

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).

Files

Institutions

The University of Manchester

Categories

Ontology, Forgetting

License