Nenov, Yavor

10 publications

AAAI 2024 Optimised Storage for Datalog Reasoning Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

IJCAI 2023 Enhancing Datalog Reasoning with Hypertree Decompositions Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

IJCAI 2015 Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

AAAI 2015 Handling Owl: sameAs via Rewriting Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

AAAI 2015 Incremental Update of Datalog Materialisation: The Backward/Forward Algorithm Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

JAIR 2015 PAGOdA: Pay-as-You-Go Ontology Query Answering Using a Datalog Reasoner Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks

AAAI 2014 Datalog Rewritability of Disjunctive Datalog Programs and Its Applications to Ontology Reasoning Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

AAAI 2014 Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu

AAAI 2014 Pay-as-You-Go OWL Query Answering Using a Triple Store Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

IJCAI 2011 On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev