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 2012)
The KRR group co-organises the OWL Reasoner Evaluation Workshop (ORE) as a satellite event of the IJCAR 2012 conference and will be held on July 1, 2012 in Manchester (UK).
Exploiting Large Knowledge Repositories Workshop (E-LKR 2012)
The KRR group organises the 2nd International Workshop on Exploiting Large Knowledge Repositories (E-LKR). In conjunction with SEPLN 2012 conference. E-LKR will be held on September 7, 2012 in Castellon, Spain..
OAEI 2011.5: Matching Large Biomedical Ontologies
The KRR group organises the Matching Large Biomedical Ontologies track within the Ontology Alignment Evaluation Initiative.
Information Systems Group awarded £700k EPSRC project
The Information Systems Group has been awarded £700k by the EPSRC to fund research into ontology-based data access in the ExODA project.
OWL 2 becomes a W3C Proposed Recommendation
The OWL 2 specification developed by the W3C's OWL Working Group, chaired by Oxford professor Ian Horrocks, has become a W3C Proposed Recommendation.