Yavor Nenov
Yavor Nenov
Research Assistant, University of Oxford
Geverifieerd e-mailadres voor cs.ox.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
Parallel materialisation of datalog programs in centralised, main-memory RDF systems
B Motik, Y Nenov, R Piro, I Horrocks, D Olteanu
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
1642014
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
1602015
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
692015
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
612016
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
512015
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
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
322014
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
M Kaminski, Y Nenov, BC Grau
Artificial Intelligence 236, 90-118, 2016
292016
Distributed RDF query answering with dynamic data exchange
A Potter, B Motik, Y Nenov, I Horrocks
International Semantic Web Conference, 480-497, 2016
242016
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
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
212016
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
Modal logics for mereotopological relations.
Y Nenov, D Vakarelov
Advances in Modal Logic 7, 249-272, 2008
172008
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
162015
Handling owl: sameAs via rewriting
B Motik, Y Nenov, R Piro, I Horrocks
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
162015
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
162013
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
Maintenance of datalog materialisations revisited
B Motik, Y Nenov, R Piro, I Horrocks
Artificial Intelligence 269, 76-136, 2019
122019
Dynamic data exchange in distributed RDF stores
A Potter, B Motik, Y Nenov, I Horrocks
IEEE Transactions on Knowledge and Data Engineering 30 (12), 2312-2325, 2018
102018
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20