A Practical Approach to Forgetting in Description Logics with Nominals
Authors: Yizheng Zhao, Renate Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng3073-3079
AAAI 2020 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | An evaluation of a prototype implementation shows that the method achieves a significant speed-up and notably better success rates than the LETHE tool which performs deductive forgetting for ALC-ontologies. Compared to FAME, a semantic forgetting tool for ALCOIH-ontologies, better success rates are attained. |
| Researcher Affiliation | Academia | 1National Key Laboratory for Novel Software Technology, Nanjing University, China 2Department of Computer Science, The University of Manchester, UK 3School of Electronics Engineering and Computer Science, Peking University, China 4School of Computer Science, University of Nottingham Ningbo China, China 5School of Knowledge Engineering, North China University of Science and Technology, China |
| Pseudocode | Yes | The calculus for eliminating a concept name from a set N of clauses includes three rules: (i) two purify rules, and (ii) one combination rule. Each rule is applicable to specific cases. The combination rule... shown in Figure 2. |
| Open Source Code | Yes | An executable version of the prototype, together with the test datasets, can be downloaded for review and use via http: //www.cs.man.ac.uk/ schmidt/publications/aaai20/. |
| Open Datasets | Yes | The corpus for the evaluation was based on a snapshot of the NCBO Bio Portal repository taken in March 2017 (Matentzoglu and Parsia 2017), containing 396 ontologies. |
| Dataset Splits | No | The paper describes experimental settings like 'forgetting 10%, 40% and 70% of the concept and role names from the signature of each ontology' and 'The names to be forgotten were randomly chosen.', but it does not specify explicit train/validation/test splits for the ontologies or dataset used. |
| Hardware Specification | Yes | The experiments were run on a desktop computer with an Intel Core i7-4790 processor, four cores running at up to 3.60 GHz, and 8 GB of DDR3-1600 MHz RAM. |
| Software Dependencies | No | The paper states 'we implemented a prototype of the method in Java using the OWL API.' but does not provide specific version numbers for Java or the OWL API. |
| Experiment Setup | Yes | The prototype was evaluated for three settings: forgetting 10%, 40% and 70% of the concept and role names from the signature of each ontology. The names to be forgotten were randomly chosen. The experiments were run on a desktop computer... A timeout of 15 minutes was used on each run. |