Picture for Yavor Nenov

Yavor Nenov

Optimised Storage for Datalog Reasoning

Add code
Dec 19, 2023
Viaarxiv icon

Enhancing Datalog Reasoning with Hypertree Decompositions

Add code
May 15, 2023
Viaarxiv icon

Data Science with Vadalog: Bridging Machine Learning and Reasoning

Add code
Jul 23, 2018
Figure 1 for Data Science with Vadalog: Bridging Machine Learning and Reasoning
Figure 2 for Data Science with Vadalog: Bridging Machine Learning and Reasoning
Figure 3 for Data Science with Vadalog: Bridging Machine Learning and Reasoning
Figure 4 for Data Science with Vadalog: Bridging Machine Learning and Reasoning
Viaarxiv icon

Handling owl:sameAs via Rewriting

Add code
Nov 13, 2014
Figure 1 for Handling owl:sameAs via Rewriting
Figure 2 for Handling owl:sameAs via Rewriting
Figure 3 for Handling owl:sameAs via Rewriting
Viaarxiv icon

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

Add code
Apr 11, 2014
Figure 1 for Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Figure 2 for Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Figure 3 for Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Viaarxiv icon