Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting
Authors: Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
JAIR 2021 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | By exploiting this result, we implement an update component for DL-Lite A-based systems and perform some experiments showing that the approach works in practice. In this section we illustrate the results of the experiments we carried out to demonstrate the feasibility and scalability of our technique. |
| Researcher Affiliation | Academia | Giuseppe De Giacomo EMAIL Sapienza Universit a di Roma, Rome, Italy Xavier Oriol EMAIL Universitat Polit ecnica de Catalunya, Barcelona, Spain Riccardo Rosati EMAIL Sapienza Universit a di Roma, Rome, Italy Domenico Fabio Savo EMAIL Universit a degli Studi di Bergamo, Bergamo, Italy |
| Pseudocode | Yes | Algorithm 1 Compute Deleted Assertions(T , A, U) Input: DL-Lite A TBox T , ABox A, update U compatible with T Output: the ABox Asat Aans begin Asat = ; Aans = ; for each C(a) A+ U do begin for each D(a) A such that T |= C D do Asat = Asat {D(a)}; for each R(a, x) A such that T |= C R do Asat = Asat {R(a, x)}; for each R(x, a) A such that T |= C R do Asat = Asat {R(x, a)} end; ... return Asat Aans end |
| Open Source Code | Yes | More details on the experiments can be found at www.essi.upc.edu/ ~xoriol/dllitea/. |
| Open Datasets | Yes | In our experiments, we used the LUBM benchmark (Guo et al., 2005). |
| Dataset Splits | No | The paper describes creating different ABoxes of increasing size using a modified data generator, but it does not specify any training/test/validation dataset splits typically used for machine learning model evaluation. |
| Hardware Specification | Yes | Experiments were executed on a My SQL DBMS running on a Windows machine with an Intel Core i7 processor and 8GB of RAM. |
| Software Dependencies | No | The paper mentions 'Java' and 'My SQL database' as software components but does not provide specific version numbers for them. |
| Experiment Setup | Yes | Finally, we have specified an update request containing three insertion operations and three deletion operations. As for the insertion operations, we selected three facts to add in a way to ensure several interactions with the TBox assertions and the facts in the ABox, thus, generating several insertions/deletions. Specifically, we choose three instances of the concept Professor and request to add them as instances of the concept Student (Professor and Student are specified as disjoint concepts in the ontology). Additionally, we requested to remove three instances of the concept Professor (not related to the inserted ones). |