Yavor Nenov

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 15

Top Venues

CoRR

AAAI

Description Logics

ISWC (2)

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
Optimised Storage for Datalog Reasoning. AAAI (2024)
Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
Optimised Storage for Datalog Reasoning. CoRR (2023)
Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
Enhancing Datalog Reasoning with Hypertree Decompositions. CoRR (2023)
Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
Enhancing Datalog Reasoning with Hypertree Decompositions. IJCAI (2023)
Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Sahar Vahdati, Lianlong Wu
Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice. Future Gener. Comput. Syst. 129 (2022)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Maintenance of datalog materialisations revisited. Artif. Intell. 269 (2019)
Jack Clearman, Ruslan R. Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov
Feature Engineering and Explainability with Vadalog: A Recommender Systems Application. Datalog (2019)
Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu
Data Science with Vadalog: Bridging Machine Learning and Reasoning. CoRR (2018)
Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks
Dynamic Data Exchange in Distributed RDF Stores. IEEE Trans. Knowl. Data Eng. 30 (12) (2018)
Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu
Data Science with Vadalog: Bridging Machine Learning and Reasoning. MEDI (2018)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. Artif. Intell. 236 (2016)
Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, Michael Rossman
Semantic Technologies for Data Analysis in Health Care. ISWC (2) (2016)
Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks
SOMM: Industry Oriented Ontology Management Tool. ISWC (Posters & Demos) (2016)
Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks
Distributed RDF Query Answering with Dynamic Data Exchange. ISWC (1) (2016)
Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks
Capturing Industrial Information Models with Ontologies and Constraints. ISWC (2) (2016)
Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks
PAGOdA: Pay-as-you-go ABox Reasoning. Description Logics (2015)
Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. J. Artif. Intell. Res. 54 (2015)
Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. AAAI (2015)
Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks
Handling Owl: sameAs via Rewriting. AAAI (2015)
Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
Ontology-based Query Answering with PAGOdA. ORE (2015)
Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee
RDFox: A Highly-Scalable RDF Store. ISWC (2) (2015)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. CoRR (2015)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. IJCAI (2015)
Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. Description Logics (2014)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. AAAI (2014)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. Description Logics (2014)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Datalog Rewriting Techniques for Non-Horn Ontologies. Description Logics (2014)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. RR (2014)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. AAAI (2014)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Handling owl: sameAs via Rewriting. CoRR (2014)
Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
Pay-As-You-Go OWL Query Answering Using a Triple Store. AAAI (2014)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. CoRR (2014)
Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
Complete Query Answering over Horn Ontologies Using a Triple Store. ISWC (1) (2013)
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
Topological Logics with Connectedness over Euclidean Spaces. ACM Trans. Comput. Log. 14 (2) (2013)
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
Topological Logics with Connectedness over Euclidean Spaces CoRR (2011)
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. IJCAI (2011)
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces CoRR (2011)
Yavor Nenov, Ian Pratt-Hartmann
On the Computability of Region-Based Euclidean Logics. CSL (2010)
Yavor Nenov, Dimiter Vakarelov
Modal logics for mereotopological relations. Advances in Modal Logic (2008)

Yavor Nenov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yavor Nenov