Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog

Artif. Intell., pp. 1032202020.

Cited by: 0|Bibtex|Views22|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments