Information Systems Group
― Knowledge Representation and Reasoning
František Simančík
Doctoral Student (Worcester College)
Research
I am a doctoral student in the KRR group. My research focuses on consequence-based reasoning algorithms for fast ontology classification. I work both on an efficient implementation of the algorithm for the relatively simple EL family of description logics, and on extensions of the algorithm to support additional features such as disjunctions, negations, universal restrictions, or nominals.
I am one of the delevopers of ELK, an EL reasoner written in Java which uses concurrent computation for highest performance. Previously, I also developed ConDOR, an experimental reasoner written in C++ for the description logic SH.
Publications
2012:
A Description Logic Primer
2011:
Fixed Parameter Tractable Reasoning in DLs via Decomposition
DL Workshop, 2011
Earlier:
On Recombination-Induced Multiple and Simultaneous Coalescent Events
Genetics, Vol. 177, December 2007
Current work:
Practical Reasoning with Nominals in the EL Family of Description Logics
submitted to KR 2012
Awards
Hoare Prize for the best overall performance in Mathematics and Computer Science in 2009 - University of Oxford.
BT Prize for the best overall performance in Mathematics and Computer Science in 2008 - University of Oxford.
Silver medal in ACM-ICPC 2009.
First prize in VJIMC 2009.
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).
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.