Yavor Nenov
Yavor Nenov
Research Assistant, University of Oxford
Verifierad e-postadress på cs.ox.ac.uk
Titel
Citeras av
Citeras av
År
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
1322014
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
1092015
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
552015
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
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
352015
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
272014
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
212016
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
M Kaminski, Y Nenov, BC Grau
Artificial Intelligence 236, 90-118, 2016
212016
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
182016
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
182014
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
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
152011
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
132015
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
PAGOdA: Pay-as-you-go ABox Reasoning.
Y Zhou, BC Grau, Y Nenov, I Horrocks
Description Logics, 2015
62015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20