Yavor Nenov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ian Horrocks
38 publications
Georg Gottlob
26 publications
Bernardo Cuenca Grau
23 publications
Boris Motik
20 publications
Xinyue Zhang
19 publications
Emanuel Sallinger
15 publications
Mark Kaminski
9 publications
Luigi Bellomarini
9 publications
Pan Hu
7 publications
Andrey Kravchenko
5 publications
Evgeny Sherkhonov
3 publications

research

∙ 05/11/2023

Enhancing Datalog Reasoning with Hypertree Decompositions

Datalog reasoning based on the seminaïve evaluation strategy evaluates r...

0 Xinyue Zhang, et al. ∙

research

∙ 07/23/2018

Data Science with Vadalog: Bridging Machine Learning and Reasoning

Following the recent successful examples of large technology companies, ...

8 Luigi Bellomarini, et al. ∙

research

∙ 11/13/2014

Handling owl:sameAs via Rewriting

Rewriting is widely used to optimise owl:sameAs reasoning in materialisa...

0 Boris Motik, et al. ∙

research

∙ 04/11/2014

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning

We study the problem of rewriting a disjunctive datalog program into pla...

0 Mark Kaminski, et al. ∙