TY - JOUR AU - Rousset, Marie-Christine AU - Ulliana, Federico PY - 2015/02/09 Y2 - 2024/03/29 TI - Extracting Bounded-Level Modules from Deductive RDF Triplestores JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 29 IS - 1 SE - AAAI Technical Track: AI and the Web DO - 10.1609/aaai.v29i1.9176 UR - https://ojs.aaai.org/index.php/AAAI/article/view/9176 SP - AB - <p> We present a novel semantics for extracting bounded-level modules from RDF ontologies and databases augmented with safe inference rules, a la Datalog. Dealing with a recursive rule language poses challenging issues for defining the module semantics, and also makes module extraction algorithmically unsolvable in some cases. Our results include a set of module extraction algorithms compliant with the novel semantics. Experimental results show that the resulting framework is effective in extracting expressive modules from RDF datasets with formal guarantees, whilst controlling their succinctness. </p> ER -