Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog
Artif. Intell., pp. 1032202020.
Abstract In many scenarios, complete and incomplete information coexist. For this reason, the knowledge representation and database communities have long shown interest in simultaneously supporting the closed- and the open-world views when reasoning about logic theories. Here we consider the setting of querying possibly incomplete data ...More
PPT (Upload PPT)