Combining Rules and Ontologies into Clopen Knowledge Bases
Authors: Labinot Bajraktari, Magdalena Ortiz, Mantas Šimkus
AAAI 2018 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We have implemented the approach for separable CKBs containing ontologies in the DL ALCH, and present in this paper some promising empirical results for real-life data. They show that our approach provides a dramatic improvement over a naive implementation based on a translation of such CKBs into dl-programs. |
| Researcher Affiliation | Academia | Labinot Bajraktari, Magdalena Ortiz, Mantas ˇSimkus Institute of Information Systems, TU Wien, Austria lbajrakt@kr.tuwien.ac.at ortiz@kr.tuwien.ac.at simkus@dbai.tuwien.ac.at |
| Pseudocode | No | The paper describes procedures and rules but does not present them in a formal pseudocode block or algorithm structure. |
| Open Source Code | No | The paper mentions using open-source tools like Clingo and OWLAPI, and provides a link to an extended version of the paper, but does not provide a direct link or explicit statement about releasing the source code for their own implemented methodology. |
| Open Datasets | Yes | For benchmarking, we used real-world Open Street Map1 data, transformed into Datalog facts following (Eiter et al. 2015). The data, describing the city of Vienna, is available as database dumps at BBBike2. |
| Dataset Splits | No | The paper mentions using "datasets of different sizes" but does not specify how these datasets were partitioned into training, validation, and test sets for the experiments. |
| Hardware Specification | Yes | The experiments were run on a PC with Intel Core i7 CPU and 16GB RAM running 64bit Linux-Mint 17. |
| Software Dependencies | Yes | Our implementation is written in Java and Postgre SQL 9.5.5 database, and uses OWLAPI (Horridge and Bechhofer 2011) to manage ontologies. The ASP program resulting from the translation is evaluated with Clingo 4.2.1 (Gebser et al. 2011). |
| Experiment Setup | No | The paper describes the general setup of the CKBs and the programs P1-P4, as well as the data extraction parameters (e.g., thresholds for 'next' relation), but it does not provide specific experimental setup details such as hyperparameters, training configurations, or system-level settings for the ASP solver or the CKB system itself. |