Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in [1].
ABox Abduction via Forgetting in ALC
Authors: Warren Del-Pinto, Renate A. Schmidt2768-2775
AAAI 2019 | Venue PDF | 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 ๏ฌnal corpus contains ontologies from the NCBO Bioportal and OBO repositories,34 and the LUBM (Guo, Pan, and He๏ฌin 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. |