Yavor Nenov

According to our database, Yavor Nenov authored at least 32 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Optimised Storage for Datalog Reasoning.

Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Enhancing Datalog Reasoning with Hypertree Decompositions.

Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

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

2019

Maintenance of datalog materialisations revisited.

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

Artif. Intell., 2019

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

Proceedings of the Datalog 2.0 2019, 2019

2018

Dynamic Data Exchange in Distributed RDF Stores.

Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks

IEEE Trans. Knowl. Data Eng., 2018

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

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

2016

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.

Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Artif. Intell., 2016

Distributed RDF Query Answering with Dynamic Data Exchange.

Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2016, 2016

Semantic Technologies for Data Analysis in Health Care.

Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, Michael Rossman

Proceedings of the Semantic Web - ISWC 2016, 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

Proceedings of the Semantic Web - ISWC 2016, 2016

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

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

2015

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.

Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks

J. Artif. Intell. Res., 2015

RDFox: A Highly-Scalable RDF Store.

Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee

Proceedings of the Semantic Web - ISWC 2015, 2015

Ontology-based Query Answering with PAGOdA.

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

PAGOdA: Pay-as-you-go ABox Reasoning.

Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks

Proceedings of the 28th International Workshop on Description Logics, 2015

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.

Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Handling Owl: sameAs via Rewriting.

Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies.

Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner.

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems.

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Datalog Rewriting Techniques for Non-Horn Ontologies.

Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Pay-As-You-Go OWL Query Answering Using a Triple Store.

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

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

Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Topological Logics with Connectedness over Euclidean Spaces.

Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev

ACM Trans. Comput. Log., 2013

Complete Query Answering over Horn Ontologies Using a Triple Store.

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Semantic Web - ISWC 2013, 2013

2011

Computability of Euclidean spatial logics.

Yavor Nenov

PhD thesis, 2011

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.

Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev

Proceedings of the IJCAI 2011, 2011

2010

On the Computability of Region-Based Euclidean Logics.

Yavor Nenov, Ian Pratt-Hartmann

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2008

Modal logics for mereotopological relations.

Yavor Nenov, Dimiter Vakarelov

Proceedings of the Advances in Modal Logic 7, 2008