ABox Abduction via Forgetting in ALC
Authors: Warren Del-Pinto, Renate A. Schmidt2768-2775
AAAI 2019 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | Using a prototype implementation, experiments were performed over a corpus of real world ontologies to investigate the practicality of both approaches across several settings. |
| Researcher Affiliation | Academia | Warren Del-Pinto, Renate A. Schmidt School of Computer Science, The University of Manchester Oxford Road, Manchester M13 9PL, United Kingdom |
| Pseudocode | Yes | Figure 1: Int ALC rules utilised in our abduction method. |
| Open Source Code | No | A Java prototype was implemented using the OWLAPI1 and the forgetting tool LETHE which implements the Int ALC method.2 |
| Open Datasets | Yes | The final corpus contains ontologies from the NCBO Bioportal and OBO repositories,34 and the LUBM (Guo, Pan, and Heflin 2005) and Semintec ontologies.5 |
| Dataset Splits | No | The paper describes how '30 consistent, non-entailed observations were randomly generated' for experiments, but it does not specify explicit train/validation/test dataset splits or their percentages/counts. |
| Hardware Specification | Yes | The experiments were performed on a machine using a 4.00GHz Intel Core i7-6700K CPU and 16GB RAM. |
| Software Dependencies | No | The paper states 'A Java prototype was implemented using the OWLAPI1 and the forgetting tool LETHE which implements the Int ALC method.2', but it does not specify version numbers for Java, OWLAPI, or LETHE. |
| Experiment Setup | Yes | For each ontology, 30 consistent, non-entailed observations were randomly generated using any ALC concepts from the associated ontology, some of which were combined using ALC operators to encourage variety. ... For the first experiment, F was set to one random concept symbol from sig(ψ). ... For the filtering in Step (2), the preference relation used in these experiments was simply based on order of appearance of each disjunct. ... In all cases, LETHE was subject to a 300 second time limit. |