Implementation and experimental data for tracking logical differences in ontologies

This webpage accompanies the research published in:

• 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, ??-??.
  Abstract, BiBTeX, PDF, Details at publisher.

Implementation

• Forgetter.jar is a prototype (with a GUI) for forgetting in the description logic ALC. One can run it by typing in command line:

  java -jar Forgetter.jar 

• LDiff.jar is a tool that allows one to compute the logical difference Diff(O1, O2) between two ontologies O1 and O2. The input are O1, O2 and a path specifying the location where you want the output to be saved; see the following example.

  O1:
  file:///C:/Users/XXX/Desktop/snomed_ct/snomed_ct_australian.owl
  O2:
  file:///C:/Users/XXX/Desktop/snomed_ct/snomed_ct_intl_20170731.owl
  Path: 
  C:\\Users\\XXX\\Desktop\\snomed_ct 
  

  The output are a set of witnesses, a set of explicit witnesses and a set of implicit witnesses, represented as owl.xml files.

Experimental data and results

Slides