Yavor Nenov

Affiliations:
  • University of Oxford, UK


According to our database1, Yavor Nenov authored at least 30 papers between 2008 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice.
Future Gener. Comput. Syst., 2022

2019
Maintenance of datalog materialisations revisited.
Artif. Intell., 2019

Feature Engineering and Explainability with Vadalog: A Recommender Systems Application.
Proceedings of the Datalog 2.0 2019, 2019

2018
Dynamic Data Exchange in Distributed RDF Stores.
IEEE Trans. Knowl. Data Eng., 2018

Data Science with Vadalog: Bridging Machine Learning and Reasoning.
Proceedings of the Model and Data Engineering - 8th International Conference, 2018

2016
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.
Artif. Intell., 2016

Distributed RDF Query Answering with Dynamic Data Exchange.
Proceedings of the Semantic Web - ISWC 2016, 2016

Semantic Technologies for Data Analysis in Health Care.
Proceedings of the Semantic Web - ISWC 2016, 2016

Capturing Industrial Information Models with Ontologies and Constraints.
Proceedings of the Semantic Web - ISWC 2016, 2016

SOMM: Industry Oriented Ontology Management Tool.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

2015
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.
J. Artif. Intell. Res., 2015

RDFox: A Highly-Scalable RDF Store.
Proceedings of the Semantic Web - ISWC 2015, 2015

Ontology-based Query Answering with PAGOdA.
Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

PAGOdA: Pay-as-you-go ABox Reasoning.
Proceedings of the 28th International Workshop on Description Logics, 2015

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Handling Owl: sameAs via Rewriting.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Datalog Rewriting Techniques for Non-Horn Ontologies.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Pay-As-You-Go OWL Query Answering Using a Triple Store.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Topological Logics with Connectedness over Euclidean Spaces.
ACM Trans. Comput. Log., 2013

Complete Query Answering over Horn Ontologies Using a Triple Store.
Proceedings of the Semantic Web - ISWC 2013, 2013

2011
Computability of Euclidean spatial logics.
PhD thesis, 2011

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.
Proceedings of the IJCAI 2011, 2011

2010
On the Computability of Region-Based Euclidean Logics.
Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2008
Modal logics for mereotopological relations.
Proceedings of the Advances in Modal Logic 7, 2008


  Loading...