Modal logics for mereotopological relations. - Yavor Nenov; Dimiter Vakarelov (Advances in Modal Logic, 2008)

On the Computability of Region-Based Euclidean Logics. - Yavor Nenov; Ian Pratt-Hartmann (CSL, 2010)

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

Computability of Euclidean spatial logics. - Yavor Nenov (2011)

Complete Query Answering over Horn Ontologies Using a Triple Store. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2013)

Topological Logics with Connectedness over Euclidean Spaces. - Roman Kontchakov; Yavor Nenov; Ian Pratt-Hartmann; Michael Zakharyaschev (ACM Trans. Comput. Log., 2013)

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 001; Dan Olteanu (AAAI, 2014)

Pay-As-You-Go OWL Query Answering Using a Triple Store. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2014)

Datalog Rewriting Techniques for Non-Horn Ontologies. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (Description Logics, 2014)

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001; Dan Olteanu (Description Logics, 2014)

Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2014)

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (RR, 2014)

Handling Owl: sameAs via Rewriting. - Boris Motik; Yavor Nenov; Robert Edgar Felix Piro; Ian Horrocks 001 (AAAI, 2015)

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. - Boris Motik; Yavor Nenov; Robert Edgar Felix Piro; Ian Horrocks 001 (AAAI, 2015)

PAGOdA: Pay-as-you-go ABox Reasoning. - Yujiao Zhou; Bernardo Cuenca Grau; Yavor Nenov; Ian Horrocks 001 (Description Logics, 2015)

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001 (IJCAI, 2015)

Ontology-based Query Answering with PAGOdA. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (ORE, 2015)

RDFox: A Highly-Scalable RDF Store. - Yavor Nenov; Robert Piro; Boris Motik; Ian Horrocks 001; Zhe Wu; Jay Banerjee (ISWC (2), 2015)

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. - Yujiao Zhou; Bernardo Cuenca Grau; Yavor Nenov; Mark Kaminski; Ian Horrocks 001 (J. Artif. Intell. Res., 2015)

SOMM: Industry Oriented Ontology Management Tool. - Evgeny Kharlamov; Bernardo Cuenca Grau; Ernesto Jiménez-Ruiz; Steffen Lamparter; Gulnar Mehdi; Martin Ringsquandl; Yavor Nenov; Stephan Grimm; Mikhail Roshchin; Ian Horrocks 001 (ISWC (Posters & Demos), 2016)

Capturing Industrial Information Models with Ontologies and Constraints. - Evgeny Kharlamov; Bernardo Cuenca Grau; Ernesto Jiménez-Ruiz; Steffen Lamparter; Gulnar Mehdi; Martin Ringsquandl; Yavor Nenov; Stephan Grimm; Mikhail Roshchin; Ian Horrocks 001 (ISWC (2), 2016)

Semantic Technologies for Data Analysis in Health Care. - Robert Piro; Yavor Nenov; Boris Motik; Ian Horrocks 001; Peter Hendler; Scott Kimberly; Michael Rossman (ISWC (2), 2016)

Distributed RDF Query Answering with Dynamic Data Exchange. - Anthony Potter; Boris Motik; Yavor Nenov; Ian Horrocks 001 (ISWC (1), 2016)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (Artif. Intell., 2016)

Data Science with Vadalog: Bridging Machine Learning and Reasoning. - Luigi Bellomarini; Ruslan R. Fayzrakhmanov; Georg Gottlob; Andrey Kravchenko; Eleonora Laurenza; Yavor Nenov; Stéphane Reissfelder; Emanuel Sallinger; Evgeny Sherkhonov; Lianlong Wu (MEDI, 2018)

Dynamic Data Exchange in Distributed RDF Stores. - Anthony Potter; Boris Motik; Yavor Nenov; Ian Horrocks 001 (IEEE Trans. Knowl. Data Eng., 2018)

Feature Engineering and Explainability with Vadalog: A Recommender Systems Application. - Jack Clearman; Ruslan R. Fayzrakhmanov; Georg Gottlob; Yavor Nenov; Stéphane Reissfelder; Emanuel Sallinger; Evgeny Sherkhonov (Datalog, 2019)

Maintenance of datalog materialisations revisited. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001 (Artif. Intell., 2019)

Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice. - Luigi Bellomarini; Ruslan R. Fayzrakhmanov; Georg Gottlob; Andrey Kravchenko; Eleonora Laurenza; Yavor Nenov; Stéphane Reissfelder; Emanuel Sallinger; Evgeny Sherkhonov; Sahar Vahdati; Lianlong Wu (Future Gener. Comput. Syst., 2022)

Enhancing Datalog Reasoning with Hypertree Decompositions. - Xinyue Zhang; Pan Hu 001; Yavor Nenov; Ian Horrocks 001 (IJCAI, 2023)

Optimised Storage for Datalog Reasoning. - Xinyue Zhang; Pan Hu 001; Yavor Nenov; Ian Horrocks 001 (AAAI, 2024)