Yavor Nenov
Yavor Nenov
Research Assistant, University of Oxford
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Parallel materialisation of datalog programs in centralised, main-memory RDF systems
B Motik, Y Nenov, R Piro, I Horrocks, D Olteanu
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
1342014
RDFox: A highly-scalable RDF store
Y Nenov, R Piro, B Motik, I Horrocks, Z Wu, J Banerjee
International Semantic Web Conference, 3-20, 2015
1182015
Incremental update of datalog materialisation: the backward/forward algorithm
B Motik, Y Nenov, REF Piro, I Horrocks
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
602015
Pagoda: Pay-as-you-go ontology query answering using a datalog reasoner
Y Zhou, BC Grau, Y Nenov, M Kaminski, I Horrocks
Journal of Artificial Intelligence Research 54, 309-367, 2015
382015
Capturing industrial information models with ontologies and constraints
E Kharlamov, BC Grau, E Jiménez-Ruiz, S Lamparter, G Mehdi, ...
International Semantic Web Conference, 325-343, 2016
352016
Pay-as-you-go OWL query answering using a triple store
Y Zhou, Y Nenov, BC Grau, I Horrocks
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
342014
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.
M Kaminski, Y Nenov, BC Grau
AAAI, 1077-1083, 2014
282014
Complete query answering over horn ontologies using a triple store
Y Zhou, Y Nenov, BC Grau, I Horrocks
International Semantic Web Conference, 720-736, 2013
242013
Distributed RDF query answering with dynamic data exchange
A Potter, B Motik, Y Nenov, I Horrocks
International Semantic Web Conference, 480-497, 2016
222016
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
M Kaminski, Y Nenov, BC Grau
Artificial Intelligence 236, 90-118, 2016
222016
Semantic technologies for data analysis in health care
R Piro, Y Nenov, B Motik, I Horrocks, P Hendler, S Kimberly, M Rossman
International Semantic Web Conference, 400-417, 2016
192016
Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
M Kaminski, Y Nenov, BC Grau
International Conference on Web Reasoning and Rule Systems, 76-91, 2014
172014
On the decidability of connectedness constraints in 2D and 3D Euclidean spaces
R Kontchakov, Y Nenov, I Pratt-Hartmann, M Zakharyaschev
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
162011
Modal logics for mereotopological relations.
Y Nenov, D Vakarelov
Advances in Modal Logic 7, 249-272, 2008
162008
Topological logics with connectedness over Euclidean spaces
R Kontchakov, Y Nenov, I Pratt-Hartmann, M Zakharyaschev
ACM Transactions on Computational Logic (TOCL) 14 (2), 1-48, 2013
152013
Combining rewriting and incremental materialisation maintenance for datalog programs with equality
B Motik, Y Nenov, R Piro, I Horrocks
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
142015
Handling owl: sameAs via rewriting
B Motik, Y Nenov, REF Piro, I Horrocks
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
142015
Trust-sensitive evolution of DL-Lite knowledge bases
D Zheleznyakov, E Kharlamov, I Horrocks
Thirty-First AAAI Conference on Artificial Intelligence, 2017
9*2017
Parallel OWL 2 RL materialisation in centralised, main-memory RDF systems
B Motik, Y Nenov, R Piro, I Horrocks, D Olteanu
Informal Proceedings of the 27th International Workshop on Description …, 2014
82014
On the computability of region-based euclidean logics
Y Nenov, I Pratt-Hartmann
International Workshop on Computer Science Logic, 439-453, 2010
72010
The system can't perform the operation now. Try again later.
Articles 1–20