Yavor Nenov : Publications
Journal papers
-
[1]
PAGOdA: Pay−As−You−Go Ontology Query Answering Using a Datalog Reasoner
Yujiao Zhou‚ Bernardo Cuenca Grau‚ Yavor Nenov‚ Mark Kaminski and Ian Horrocks
In J. Artif. Intell. Res. (JAIR). Vol. 54. Pages 309–367. 2015.
Details about PAGOdA: Pay−As−You−Go Ontology Query Answering Using a Datalog Reasoner | BibTeX data for PAGOdA: Pay−As−You−Go Ontology Query Answering Using a Datalog Reasoner | DOI (10.1613/jair.4757)
-
[2]
Topological Logics with Connectedness over Euclidean Spaces
Roman Kontchakov‚ Yavor Nenov‚ Ian Pratt−Hartmann and Michael Zakharyaschev
In ACM Trans. Comput. Log.. Vol. 14. No. 2. Pages 13. 2013.
Details about Topological Logics with Connectedness over Euclidean Spaces | BibTeX data for Topological Logics with Connectedness over Euclidean Spaces | DOI (10.1145/2480759.2480765)
Conference papers
-
[1]
SOMM: Industry Oriented Ontology Management Tool
Evgeny Kharlamov‚ Bernardo Cuenca Grau‚ Ernesto Jimenez−Ruiz‚ Steffen Lamparter‚ Gulnar Mehdi‚ Martin Ringsquandl‚ Yavor Nenov‚ Stephan Grimm‚ Mikhail Roshchin and Ian Horrocks
In Proc. of International Semantic Web Conference (ISWC)‚ Posters and Demonstrations Track. October, 2016.
Details about SOMM: Industry Oriented Ontology Management Tool | BibTeX data for SOMM: Industry Oriented Ontology Management Tool | Download (pdf) of SOMM: Industry Oriented Ontology Management Tool | Link to SOMM: Industry Oriented Ontology Management Tool
-
[2]
Capturing Industrial Information Models with Ontologies and Constraints
Evgeny Kharlamov‚ Bernardo Cuenca Grau‚ Ernesto Jimenez−Ruiz‚ Steffen Lamparter‚ Gulnar Mehdi‚ Martin Ringsquandl‚ Yavor Nenov‚ Stephan Grimm‚ Mikhail Roshchin and Ian Horrocks
In Proc. of International Semantic Web Conference (ISWC). Vol. 9981 of LNCS. October, 2016.
Details about Capturing Industrial Information Models with Ontologies and Constraints | BibTeX data for Capturing Industrial Information Models with Ontologies and Constraints | Download (pdf) of Capturing Industrial Information Models with Ontologies and Constraints | Link to Capturing Industrial Information Models with Ontologies and Constraints
-
[3]
RDFox: A Highly−Scalable RDF Store
Yavor Nenov‚ Robert Piro‚ Boris Motik‚ Ian Horrocks‚ Zhe Wu and Jay Banerjee
In The Semantic Web − ISWC 2015 − 14th International Semantic Web Conference‚ Bethlehem‚ PA‚ USA‚ October 11−15‚ 2015‚ Proceedings‚ Part II. Pages 3–20. 2015.
Details about RDFox: A Highly−Scalable RDF Store | BibTeX data for RDFox: A Highly−Scalable RDF Store | DOI (10.1007/978-3-319-25010-6_1)
-
[4]
Ontology−based Query Answering with PAGOdA
Yujiao Zhou‚ Yavor Nenov‚ Bernardo Cuenca Grau and Ian Horrocks
In 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)‚ Athens‚ Greece‚ June 6‚ 2015.. Pages 1–7. 2015.
Details about Ontology−based Query Answering with PAGOdA | BibTeX data for Ontology−based Query Answering with PAGOdA
-
[5]
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
Boris Motik‚ Yavor Nenov‚ Robert Piro and Ian Horrocks
In Proceedings of the Twenty−Fourth International Joint Conference on Artificial Intelligence‚ IJCAI 2015‚ Buenos Aires‚ Argentina‚ July 25−31‚ 2015. Pages 3127–3133. 2015.
Details about Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality | BibTeX data for Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
-
[6]
PAGOdA: Pay−as−you−go ABox Reasoning
Yujiao Zhou‚ Bernardo Cuenca Grau‚ Yavor Nenov and Ian Horrocks
In Proceedings of the 28th International Workshop on Description Logics‚ Athens‚Greece‚ June 7−10‚ 2015.. 2015.
Details about PAGOdA: Pay−as−you−go ABox Reasoning | BibTeX data for PAGOdA: Pay−as−you−go ABox Reasoning
-
[7]
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm
Boris Motik‚ Yavor Nenov‚ Robert Edgar Felix Piro and Ian Horrocks
In Proceedings of the Twenty−Ninth AAAI Conference on Artificial Intelligence‚ January 25−30‚ 2015‚ Austin‚ Texas‚ USA.. Pages 1560–1568. 2015.
Details about Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm | BibTeX data for Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm
-
[8]
Handling Owl: sameAs via Rewriting
Boris Motik‚ Yavor Nenov‚ Robert Edgar Felix Piro and Ian Horrocks
In Proceedings of the Twenty−Ninth AAAI Conference on Artificial Intelligence‚ January 25−30‚ 2015‚ Austin‚ Texas‚ USA.. Pages 231–237. 2015.
Details about Handling Owl: sameAs via Rewriting | BibTeX data for Handling Owl: sameAs via Rewriting
-
[9]
Pay−as−you−go Ontology Query Answering Using a Datalog Reasoner
Yujiao Zhou‚ Yavor Nenov‚ Bernardo Cuenca Grau and Ian Horrocks
In Informal Proceedings of the 27th International Workshop on Description Logics‚ Vienna‚ Austria‚ July 17−20‚ 2014.. Pages 352–364. 2014.
Details about Pay−as−you−go Ontology Query Answering Using a Datalog Reasoner | BibTeX data for Pay−as−you−go Ontology Query Answering Using a Datalog Reasoner
-
[10]
Pay−As−You−Go OWL Query Answering Using a Triple Store
Yujiao Zhou‚ Yavor Nenov‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the Twenty−Eighth AAAI Conference on Artificial Intelligence‚ July 27 −31‚ 2014‚ Québec City‚ Québec‚ Canada.. Pages 1142–1148. 2014.
Details about Pay−As−You−Go OWL Query Answering Using a Triple Store | BibTeX data for Pay−As−You−Go OWL Query Answering Using a Triple Store
-
[11]
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Mark Kaminski‚ Yavor Nenov and Bernardo Cuenca Grau
In Proceedings of the Twenty−Eighth AAAI Conference on Artificial Intelligence‚ July 27 −31‚ 2014‚ Québec City‚ Québec‚ Canada.. Pages 1077–1083. 2014.
Details about Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning | BibTeX data for Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
-
[12]
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies
Mark Kaminski‚ Yavor Nenov and Bernardo Cuenca Grau
In Web Reasoning and Rule Systems − 8th International Conference‚ RR 2014‚ Athens‚ Greece‚ September 15−17‚ 2014. Proceedings. Pages 76–91. 2014.
Details about Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies | BibTeX data for Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies | DOI (10.1007/978-3-319-11113-1_6)
-
[13]
Datalog Rewriting Techniques for Non−Horn Ontologies
Mark Kaminski‚ Yavor Nenov and Bernardo Cuenca Grau
In Informal Proceedings of the 27th International Workshop on Description Logics‚ Vienna‚ Austria‚ July 17−20‚ 2014.. Pages 209–220. 2014.
Details about Datalog Rewriting Techniques for Non−Horn Ontologies | BibTeX data for Datalog Rewriting Techniques for Non−Horn Ontologies
-
[14]
Parallel OWL 2 RL Materialisation in Centralised‚ Main−Memory RDF Systems
Boris Motik‚ Yavor Nenov‚ Robert Piro‚ Ian Horrocks and Dan Olteanu
In Informal Proceedings of the 27th International Workshop on Description Logics‚ Vienna‚ Austria‚ July 17−20‚ 2014.. Pages 311–323. 2014.
Details about Parallel OWL 2 RL Materialisation in Centralised‚ Main−Memory RDF Systems | BibTeX data for Parallel OWL 2 RL Materialisation in Centralised‚ Main−Memory RDF Systems
-
[15]
Parallel Materialisation of Datalog Programs in Centralised‚ Main−Memory RDF Systems
Boris Motik‚ Yavor Nenov‚ Robert Piro‚ Ian Horrocks and Dan Olteanu
In Proceedings of the Twenty−Eighth AAAI Conference on Artificial Intelligence‚ July 27 −31‚ 2014‚ Québec City‚ Québec‚ Canada.. Pages 129–137. 2014.
Details about Parallel Materialisation of Datalog Programs in Centralised‚ Main−Memory RDF Systems | BibTeX data for Parallel Materialisation of Datalog Programs in Centralised‚ Main−Memory RDF Systems
-
[16]
Complete Query Answering over Horn Ontologies Using a Triple Store
Yujiao Zhou‚ Yavor Nenov‚ Bernardo Cuenca Grau and Ian Horrocks
In The Semantic Web − ISWC 2013 − 12th International Semantic Web Conference‚ Sydney‚ NSW‚ Australia‚ October 21−25‚ 2013‚ Proceedings‚ Part I. Pages 720–736. 2013.
Details about Complete Query Answering over Horn Ontologies Using a Triple Store | BibTeX data for Complete Query Answering over Horn Ontologies Using a Triple Store | DOI (10.1007/978-3-642-41335-3_45)
-
[17]
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
Roman Kontchakov‚ Yavor Nenov‚ Ian Pratt−Hartmann and Michael Zakharyaschev
In IJCAI 2011‚ Proceedings of the 22nd International Joint Conference on Artificial Intelligence‚ Barcelona‚ Catalonia‚ Spain‚ July 16−22‚ 2011. Pages 957–962. 2011.
Details about On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces | BibTeX data for On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
-
[18]
On the Computability of Region−Based Euclidean Logics
Yavor Nenov and Ian Pratt−Hartmann
In Computer Science Logic‚ 24th International Workshop‚ CSL 2010‚ 19th Annual Conference of the EACSL‚ Brno‚ Czech Republic‚ August 23−27‚ 2010. Proceedings. Pages 439–453. 2010.
Details about On the Computability of Region−Based Euclidean Logics | BibTeX data for On the Computability of Region−Based Euclidean Logics | DOI (10.1007/978-3-642-15205-4_34)
-
[19]
On the Computability of Region−Based Euclidean Logics
Yavor Nenov and Ian Pratt−Hartmann
In CSL. Pages 439−453. 2010.
Details about On the Computability of Region−Based Euclidean Logics | BibTeX data for On the Computability of Region−Based Euclidean Logics
-
[20]
Modal logics for mereotopological relations
Yavor Nenov and Dimiter Vakarelov
In Advances in Modal Logic 7‚ papers from the seventh conference on "Advances in Modal Logic‚" held in Nancy‚ France‚ 9−12 September 2008. Pages 249–272. 2008.
Details about Modal logics for mereotopological relations | BibTeX data for Modal logics for mereotopological relations
Theses
-
[1]
Computability of Euclidean Spatial Logics
Yavor Nenov
PhD Thesis School of Computer Science‚ University of Manchester. Manchester‚ UK. 2011.
Details about Computability of Euclidean Spatial Logics | BibTeX data for Computability of Euclidean Spatial Logics | Download (pdf) of Computability of Euclidean Spatial Logics