Yavor Nenov

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