Information Systems Group
― Knowledge Representation and Reasoning
Yevgeny Kazakov: Publications
Recent Talks
Unchain My EL Reasoner.
A talk given at the 24th International Workshop on Description Logics
(DL2011), July 2011.
[ Pdf (579K) ]
An Extension of Complex Role Inclusion Axioms in the Description
Logic SROIQ.
A talk given at the fifth International Joint Conference on Automated
Reasoning (IJCAR 2010), July 2010.
[ Pdf (784K) ]
Consequence-Based Reasoning for Description Logic Ontologies.
An invited talk given at the workshop CLoDeM affiliated with
FLoC'2010, July 2010.
[ Pdf (3.7M) ]
Classifying ELH Ontologies in SQL Databases.
A talk presented by Rob Shearer at the workshop OWL: Experiences and
Directions (OWLED2009), October 2009.
[ Pdf (820K) ]
An Extension of Regularity Conditions for Complex Role Inclusion
Axioms.
A talk given at the 22nd International Workshop on Description Logics
(DL2009), July 2009.
[ Pdf (1.2M) ]
Consequence-Driven Reasoning for Horn-SHIQ
Ontologies.
A talk given at the 22nd International Workshop on Description Logics
(DL2009), July 2009.
[ Pdf (908K) ]
Consequence-Driven Reasoning for Horn-SHIQ
Ontologies.
A talk given at the 21st International Joint Conference on Artificial
Intelligence (IJCAI2009), July 2009.
[ Pdf (1.8M) ]
Consequence-Driven Reasoning for Horn-SHIQ
Ontologies.
A talk given at the Information Systems Seminar in the Oxford
University (InfoSys Seminar), May 2009.
[ Pdf (6.0M) ]
Role Conjunctions in Expressive Description Logics.
A talk given at the 15th International Conference on Logic for
Programming Artificial Intelligence and Reasoning (LPAR2008), November 2008.
[ Pdf (9.4M) ]
RIQ and SROIQ are Harder than
SHOIQ.
A talk given at the 11th International Conference on Principles of
Knowledge Representation and Reasoning (KR2008), September 2008.
[ Pdf (714K) ]
SRIQ and SROIQ are Harder than
SHOIQ.
A talk given at the 21st International Workshop on Description Logics
(DL2008), May 2008.
[ Pdf (747K) ]
Modularity for Ontologies: Theory and Practice.
A talk given for the Logic and Computation group at the University of
Liverpool, February 2008.
[ Pdf (1.0M) ]
Modularity for Ontologies: Theory and Practice.
A talk given at the Information Systems Seminar in the Oxford
University (InfoSys Seminar), November 2007.
[ Pdf (1.2M) ]
Modularity for Ontology Development, Maintenance and Reuse.
A short talk given at the Oxfordshire Semantic Web Interest Group
(Oxon SWIG), November 2007.
[ Pdf (468K) ]
Ontology Reuse: Better Safe than Sorry.
A talk given at the 20th International Workshop on Description Logics
(DL 2007), June 2007.
[ Pdf (494K) ]
A Resolution-Based Decision Procedure for SHOIQ.
A talk given at the third International Joint Conference on Automated
Reasoning (IJCAR 2006), August 2006.
[ Pdf (1.4M) ]
Saturation-Based Decision Procedures.
Slides from my PhD Defence, University of Saarland, 2006, March 2006.
[ Pdf (2.2M) ]
A Polynomial Translation from the Two-Variable Guarded Fragment with
Number Restrictions to the Guarded Fragment.
A talk given at the 9th European Conference on Logics in Artificial
Intelligence (JELIA 2004) in Lisbon, Portugal, September 2004.
A Resolution Decision Procedure for the Guarded Fragment With
Transitive Guards.
A talk given at the second International Joint Conference on
Automated Reasoning (IJCAR 2004), July 2004.
[ Pdf (400K) ]
Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards.
A talk given at the Nancy-Saarbrücken Workshop on Logic, Proofs
and Programs in Nancy, France, June 2004.
Using Redundancy and Basicness for Obtaining Decision Procedures for
First-Order Fragments.
A talk given at the AG-2 group Logic Seminar in Schloß Ringberg,
Germany, December 2003.
[ PowerPoint (741K) |
Pdf (304K) ]
Subsumption of Concepts in DL FL0 for (Cyclic)
Terminologies with Respect to Descriptive Semantics is PSPACE-Complete.
A talk given at the 16th International Workshop on Description Logics
(DL 2003) in Rome, Italy, September 2003.
[ PostScript [g-zip'd] (175K) |
Pdf (1.0M) ]
Posters
Engineering Logical Algorithms Using Saturation-Based Theorem
Proving.
Max-Planck-Institut für Informatik, June 2005.
[ PostScript [g-zip'd] (101K) |
Pdf (105K) ]
Saturation-Based Decision Procedures and Complexity Analysis.
Max-Planck-Institut für Informatik, October 2004.
[ PowerPoint (2.0M) |
URL ]
Name
Yevgeny Kazakov
Posts
Research Assistant
Projects
Contact Information
Room 307, Wolfson Building,
Parks Road
Oxford OX1
3QD
Links
News
OWL Reasoner Evaluation Workshop (ORE 2013)
The KRR group co-organises the 2nd edition of the OWL Reasoner Evaluation Workshop (ORE), collocated with DL 2013 workshop.
Best paper prize at SWAT4LS'12
Doctoral Student Despoina Magka's paper entitled 'Ontology-Based Classification of Molecules: a Logic Programming Approach' has received the best paper prize at the 2012 Semantic Web Applications and Tools for Life Sciences workshop [more information].
Boris Motik awarded EPSRC Early Career Fellowship
Boris Motik was recently successful in gaining an EPSRC Early Career Fellowship. The 5 year project, MaSI3: A Massively Scalable Intelligent Information Infrastructure, focuses on Ontology-based Data Management Systems (ODMSs). These are a new kind of data management system specifically designed to deal with complex data, by using natural language queries often across multiple relevant sources [more information].
KRR member wins 'doctoral award' from University of Manchester
Yavor Nenov's PhD thesis "Computability of Euclidean Spatial Logics" has been awarded the Best Thesis Prize of the School of Computer Science at the University of Manchester [more information].
Ian Horrocks (KRR group leader) elected to Academia Europaea
Ian Horrocks has been elected to join Academia Europæa, an eminent organization for European scholars. Academia Europæa was founded in 1988 and has over 2000 members, including around 40 Nobel Laureates [more information].
KRR member wins 'doctoral award' from Spanish university
The Jaume I University of Castellon (Spain) has awarded a "Premio extraordinario de doctorado" (roughly translated as a Extraordinary Doctoral Award) to Ernesto Jimenez-Ruiz who is now a postdoctoral researcher at Oxford's Department of Computer Science [more information].
OAEI 2012: Matching Large Biomedical Ontologies
The KRR group organises the Large Biomedical Ontologies track within the Ontology Alignment Evaluation Initiative.