Folgen
Yavor Nenov
Yavor Nenov
Research Assistant, University of Oxford
Bestätigte E-Mail-Adresse bei cs.ox.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
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
2062015
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
1852014
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
792015
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
722016
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
542015
Pay-as-you-go OWL query answering using a triple store
Y Zhou, Y Nenov, BC Grau, I Horrocks
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
372014
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
M Kaminski, Y Nenov, BC Grau
Artificial Intelligence 236, 90-118, 2016
332016
Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
M Kaminski, Y Nenov, BC Grau
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
322014
Distributed RDF query answering with dynamic data exchange
A Potter, B Motik, Y Nenov, I Horrocks
International Semantic Web Conference, 480-497, 2016
272016
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
232016
Complete query answering over horn ontologies using a triple store
Y Zhou, Y Nenov, B Cuenca Grau, I Horrocks
International Semantic Web Conference, 720-736, 2013
232013
Maintenance of datalog materialisations revisited
B Motik, Y Nenov, R Piro, I Horrocks
Artificial Intelligence 269, 76-136, 2019
222019
Modal logics for mereotopological relations.
Y Nenov, D Vakarelov
Advances in Modal Logic 7, 249-272, 2008
202008
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
192015
Handling owl: sameAs via rewriting
B Motik, Y Nenov, R Piro, I Horrocks
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
182015
Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
M Kaminski, Y Nenov, B Cuenca Grau
International Conference on Web Reasoning and Rule Systems, 76-91, 2014
172014
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
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
112018
Data science with Vadalog: Bridging machine learning and reasoning
L Bellomarini, RR Fayzrakhmanov, G Gottlob, A Kravchenko, E Laurenza, ...
International Conference on Model and Data Engineering, 3-21, 2018
82018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20