Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
Authors: Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We have implemented and evaluated the B/F algorithm in the open-source RDF data management system RDFox. The system and the test data are all available online.2 Objectives. Updates can be handled either incrementally or by rematerialisation, and equality can be handled either by axiomatisation, giving rise to four possible approaches to updates. Our first objective was to compare all of them to determine their relative strengths and weaknesses. ... Datasets. Equality is often used in OWL ontologies on the Semantic Web, so we based our evaluation on several well-known synthetic and real RDF datasets. ... Test Setting. We used a Dell server with two 2.60GHz Intel Xeon E5-2670 CPUs and 256 GB of RAM running Fedora release 20, kernel version 3.17.7-200.fc20.x86 64. Test Results. Table 1 summarises our test results. |
| Researcher Affiliation | Academia | Boris Motik, Yavor Nenov, Robert Piro and Ian Horrocks Department of Computer Science, Oxford University Oxford, United Kingdom firstname.lastname@cs.ox.ac.uk |
| Pseudocode | Yes | B/F consists of Algorithms 1 7. Theorem 1 shows that the algorithm is correct and that, just like the semina ıve algorithm [Abiteboul et al., 1995], it does not repeat derivations; the proof is given in a technical report [Motik et al., 2015a]. |
| Open Source Code | Yes | We have implemented and evaluated the B/F algorithm in the open-source RDF data management system RDFox. The system and the test data are all available online.1http://www.cs.ox.ac.uk/isg/tools/RDFox/ |
| Open Datasets | Yes | Equality is often used in OWL ontologies on the Semantic Web, so we based our evaluation on several well-known synthetic and real RDF datasets. Each dataset comprises an OWL ontology and a set of explicit facts E. UOBM [Ma et al., 2006] extends LUBM [Guo et al., 2005]... Claros contains information about cultural artefacts.3 DBpedia consists of structured information extracted from Wikipedia.4 Uni Prot is a knowledge base about protein sequences;5 we selected a subset of the original (very large) set of facts. Finally, Open Cyc is an extensive, manually curated upper ontology.6 |
| Dataset Splits | No | The paper describes how "update sets" E' were generated for the experiments (randomly selected subsets of E, or subsets of specific sizes relative to an equilibrium point), but it does not specify explicit train/validation/test splits for the main datasets or models. |
| Hardware Specification | Yes | We used a Dell server with two 2.60GHz Intel Xeon E5-2670 CPUs and 256 GB of RAM running Fedora release 20, kernel version 3.17.7-200.fc20.x86 64. |
| Software Dependencies | Yes | We used a Dell server with two 2.60GHz Intel Xeon E5-2670 CPUs and 256 GB of RAM running Fedora release 20, kernel version 3.17.7-200.fc20.x86 64. |
| Experiment Setup | No | The paper describes the overall experimental design, the specific algorithms (B/F), and the test environment details like hardware and OS. However, it does not specify hyperparameters or training configurations such as learning rates or batch sizes, as the work is on datalog materialization and incremental updates, not traditional machine learning model training. |