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.
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.
Publications
Elimination of Complex RIAs witout Automata
DL Workshop 2012, to appear
PDF, BibTeX
@inproceedings{Simancik12:rias,
author = {Franti\v{s}ek Siman\v{c}\'{i}k},
title = {Elimination of Complex {RIAs} without Automata},
booktitle = {Proceedings of the 24rd International Workshop
on Description Logics (DL'11)},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
year = {2012},
note = {to appear},
}
Practical Reasoning with Nominals in the EL Family of Description Logics
KR 2012, to appear
@inproceedings{KKS12:nominals,
author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k},
title = {Practical Reasoning with Nominals in the
{$\mathcal{EL}$} Family of Description Logics},
booktitle = {Proceedings of the 13th International
Conference on Principles of Knowledge
Representation and Reasoning (KR'12)},
year = {2012},
note = {to appear},
}
Concurrent Classification of EL Ontologies
ISWC 2011
@inproceedings{KKS11:concurrent,
author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k},
title = {Concurrent Classification of $\mathcal{EL}$
Ontologies},
booktitle = {Proceedings of the 10th International Semantic
Web Conference (ISWC'11)},
editor = {Lora Aroyo and Chris Welty and Harith Alani and
Jamie Taylor and Abraham Bernstein and
Lalana Kagal and Natasha Noy and Eva Blomqvist},
publisher = {Springer},
series = {LNCS},
volume = {7032},
pages = {305-320},
year = {2011}
}
Unchain My EL Reasoner
DL Workshop 2011
@inproceedings{KKS11:unchain,
author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k},
title = {Unchain My $\mathcal{EL}$ Reasoner},
booktitle = {Proceedings of the 23rd International Workshop
on Description Logics (DL'10)},
editors = {Riccardo Rosati and Sebastian Rudolph and
Michael Zakharyaschev},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {745},
year = {2011},
}
Fixed Parameter Tractable Reasoning in DLs via Decomposition
DL Workshop 2011
@inproceedings{SMK11:decomposition,
author = {Franti\v{s}ek Siman\v{c}\'{i}k and Boris Motik
and Markus Kr{\"o}tzsch},
title = {Fixed Parameter Tractable Reasoning in {DLs}
via Decomposition},
booktitle = {Proceedings of the 23rd International Workshop
on Description Logics (DL'10)},
editor = {Riccardo Rosati and Sebastian Rudolph and
Michael Zakharyaschev},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {745},
year = {2011},
}
Consequence-Based Reasoning beyond Horn Ontologies
IJCAI 2011
@inproceedings{SKH11:condor,
author = {Franti\v{s}ek Siman\v{c}\'{i}k and
Yevgeny Kazakov and Ian Horrocks},
title = {Consequence-Based Reasoning beyond
{Horn} Ontologies},
booktitle = {Proceedings of the 22nd International Joint
Conference on Artificial Intelligence
(IJCAI'11)},
editor = {Toby Walsh},
publisher = {AAAI Press/IJCAI},
pages = {1093--1098},
year = {2011},
}
A CCG-based System for Valence Shifting for Sentiment Analysis
CICLing 2009, poster session
Research in Computing Science, vol. 41, 2009
@article{SimancikLee2009:sentiment,
author = {Franti\v{s}ek Siman\v{c}\'{i}k and Mark Lee},
title = {A {CCG}-based System for Valence Shifting
for Sentiment Analysis},
journal = {Research in Computing Science},
volume = {41},
pages = {99-108},
year = {2009},
}
On Recombination-Induced Multiple and Simultaneous Coalescent Events
Genetics, vol. 177, December 2007
@article{DSLMH2007:recombination,
title = {On recombination induced multiple and
simultaneous coalescent events.},
author = {Davies, J.L. and Siman\v{c}\'{i}k, F. and
Lyngsoe, R.B. and Mailund, T. and Hein, J.J.},
journal = {Genetics},
volume = {177},
number = {4},
pages = {2151-2160},
year = {2007},
}
Unreviewed:
ELK: A Reasoner for OWL EL Ontologies
Technical report, 2012
PDF, BibTeX
@techreport{KKS12:elk,
author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k},
title = {{ELK:} A Reasoner for {OWL EL} Ontologies},
type = {System Description},
institution = {University of Oxford},
year = {2012},
note = {available from
\url{http://code.google.com/p/elk-reasoner/wiki/Publications}}
}
A Description Logic Primer
arXiv.org, 2012
@article{KSH12:dlprimer,
author = {Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
title = {A Description Logic Primer},
journal = {CoRR},
volume = {abs/1201.4089},
year = {2012},
ee = {http://arxiv.org/abs/1201.4089}
}
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.