Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
Authors: Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
IJCAI 2016 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We present experimental results showing the expressivity and efficiency of datalog HS2 n on historical data. We tested the expressive power and efficiency of OBDA with datalog HS2 n using two real-world scenarios. |
| Researcher Affiliation | Academia | 1Department of Computer Science, Birkbeck, University of London, UK 2DIBRIS Department, University of Genoa, Italy 3POLCOMING Department, University of Sassari, Italy 4Faculty of Computer Science, Free University of Bozen-Bolzano, Italy |
| Pseudocode | No | The paper describes datalog rules and logical definitions but does not present any explicitly labeled pseudocode or algorithm blocks. |
| Open Source Code | No | The paper mentions using three off-the-shelf tools for (extensions of) datalog: CLASP [Gebser, Kaufmann, and Schaub, 2012], DLV [Leone et al., 2006], and XSB [Sagonas, Swift, and Warren, 1994], but does not state that the code for their proposed datalog HS2n system or its rewritings is open-source or publicly available. |
| Open Datasets | Yes | We tested the expressivity and efficiency of datalog HS2 n using two real-world scenarios. In the first case study, we used datalog HS2 n to query the historical data in the STOLE1 ontology, which extracts facts about the Italian Public Administration from journal articles [Adorni et al., 2015]. ... In the second case study, we used datalog HS2 n to query the US weather data collected by Meso West2 and containing sensor measurements of the temperature, precipitation, etc. by weather stations across the country. (Footnote 2: http://mesowest.utah.edu) |
| Dataset Splits | No | The paper mentions using real-world datasets but does not provide specific information about training, validation, or test splits, nor does it refer to predefined splits from cited sources. |
| Hardware Specification | Yes | The three systems ran with default parameters on an Intel Xeon E3-1245 3.30 GHz workstation with 16GB of memory under the Ubuntu 12.04 64-bit OS. |
| Software Dependencies | Yes | We used three off-the-shelf tools for (extensions of) datalog: CLASP [Gebser, Kaufmann, and Schaub, 2012] (v 3.1.4, with GRINGO v 4.5.4 as grounder), DLV [Leone et al., 2006] (v Dec 17 2012), and XSB [Sagonas, Swift, and Warren, 1994] (v 3.6). |
| Experiment Setup | No | The paper states that the systems used 'ran with default parameters' but does not provide specific experimental setup details such as hyperparameters, model initialization, or training schedules for the datalog HS2n system or its rules. |