6 citations · 11 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2020
An ExpTime Upper Bound for with Integers (Extended Version)
Nadia Labai, Magdalena Ortiz, Mantas Šimkus
Concrete domains, especially those that allow to compare features with numeric values, have long been recognized as a very desirable extension of description logics (DLs), and sign…
cs.AI2019★ 6 cited
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
In many scenarios, complete and incomplete information coexist. For this reason, the knowledge representation and database communities have long shown interest in simultaneously su…