The Combined Approach to Query Answering Beyond the OWL 2 Profiles
Authors: Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We have implemented our approach using the DLVsystem,4 which supports function symbols and stratified negation. For testing, we have used the LUBM ontology [Guo et al., 2005] (which contains only safe roles) and the Horn fragments of the Reactome and Uniprot (which are RSA, but contain also unsafe roles).5 LUBM comes with a data generator; Reactome and Uniprot come with large datasets, which we have sampled. All test queries are given in the appendix. In each experiment, we measured (M1) size (number of facts) of the given data; (M2) materialisation times for the canonical model; (M3) model size; (M4) query processing times (i.e., time needed to materialise PQ); (M5) number of candidate query answers, i.e. (unfiltered) answers of the query over the canonical model; and (M6) percentage of spurious answers. All experiments were performed on a Mac Book Pro laptop with 8GB RAM and an Intel Core 2.4 GHz processor. Fig. 4 and 5 summarise our results. |
| Researcher Affiliation | Academia | Cristina Feier1, David Carral2, Giorgio Stefanoni1, Bernardo Cuenca Grau1, Ian Horrocks1 1 Department of Computer Science University of Oxford, UK 2 Department of Computer Science Wright State University, US |
| Pseudocode | No | The paper provides definitions and rules for logic programs in tables (Table 1, Table 2, Table 3) but does not present a formal pseudocode block or algorithm. |
| Open Source Code | Yes | Our prototype and all test data, ontologies and queries are available at http://tinyurl.com/qcolx3w. |
| Open Datasets | Yes | For testing, we have used the LUBM ontology [Guo et al., 2005] (which contains only safe roles) and the Horn fragments of the Reactome and Uniprot (which are RSA, but contain also unsafe roles). |
| Dataset Splits | No | The paper mentions using and sampling datasets (LUBM, Reactome, Uniprot) but does not provide specific details on training, validation, or test splits (e.g., percentages, counts, or explicit split methods). |
| Hardware Specification | Yes | All experiments were performed on a Mac Book Pro laptop with 8GB RAM and an Intel Core 2.4 GHz processor. |
| Software Dependencies | No | The paper states 'We have implemented our approach using the DLVsystem' but does not provide a specific version number for this software or any other ancillary software dependencies. |
| Experiment Setup | No | The paper details its theoretical approach and general experimental setup (e.g., datasets, hardware, DLVsystem usage) but does not provide specific experimental configuration details such as hyperparameter values, model initialization, or training schedules. |