Mantas Simkus - Wissenschaftliche Veröffentlichungen

(1 - 7 von 7

)

Polynomial Rewritings from Expressive Description dblpdblp.uni-trier.de › abs

dblp.uni-trier.de

Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus: Polynomial Rewritings from Expressive Description Logics with Closed Predicates to ...

Expressiveness of guarded existential rule languages – International...

iccl.inf.tu-dresden.de

Georg Gottlob, Sebastian Rudolph, Mantas Simkus. Expressiveness of guarded existential rule languages. In Richard Hull, Martin Grohe, eds.,Proc. 33rd ACM ...

Mantas Simkus - DBLP - Schloss Dagstuhldblp.dagstuhl.de › Mantas Simkus

dblp.dagstuhl.de

vor 5 Tagen · Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus: Reasoning about Explanations for ...

Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2...

iccl.inf.tu-dresden.de

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus. Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. In Fangzhen Lin, Ulrike Sattler, ...