Data and Knowledge Group

@article{SMH14:fpt,
author    = {Franti\v{s}ek Siman\v{c}\'{i}k
            and Boris Motik and Ian Horrocks},
title     = {Consequence-Based and Fixed-Parameter Tractable
            Reasoning in Description Logics},
journal   = {Artificial Intelligence},
volume    = {209},
year      = {2014},
pages     = {29-77},
}

@article{KKS13:elk,
author    = {Yevgeny Kazakov and Markus Kr{\"o}tzsch
            and Franti\v{s}ek Siman\v{c}\'{i}k},
title     = {The Incredible {ELK}: From Polynomial Procedures
            to Efficient Reasoning with $\mathcal{EL}$ Ontologies},
journal   = {Journal of Automated Reasoning},
publisher = {Springer},
pages     = {1-61},
year      = {2013},
}

@phdthesis{Simancik:thesis,
author    = {Franti\v{s}ek Siman\v{c}\'{i}k},
title     = {Consequence-Based Reasoning
		for Ontology Classification},
school	  = {University of Oxford},
year      = {2013},		
}

@inproceedings{KKS12:ore,
author    = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
                 Franti\v{s}ek Siman\v{c}\'{i}k},
title     = {ELK Reasoner: Architecture and Evaluation},
booktitle = {Proceedings of the {OWL} Reasoner
		 Evaluation Workshop (ORE'12)},
editor    = {Ian Horrocks, Mikalai Yatskevich, 
	`	 Ernesto Jimenez-Ruiz},
publisher = {CEUR-WS.org},
series    = {CEUR Workshop Proceedings},
volume    = {858},
year      = {2012},		
}

@inproceedings{Simancik12:rias,
author    = {Franti\v{s}ek Siman\v{c}\'{i}k},
title     = {Elimination of Complex {RIAs} without Automata},
booktitle = {Proceedings of the 25th International Workshop
                 on Description Logics (DL'12)},
editor    = {Yevgeny Kazakov, Domenico Lembo, Frank Wolter},
publisher = {CEUR-WS.org},
series    = {CEUR Workshop Proceedings},
volume    = {846},
year      = {2012},
}

@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)},
publisher = {AAAI Press},
pages     = {264-274},
year      = {2012},
}

@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},
}

@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)},
editor   = {Riccardo Rosati and Sebastian Rudolph and
                Michael Zakharyaschev},
publisher = {CEUR-WS.org},
series    = {CEUR Workshop Proceedings},
volume    = {745},
year      = {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},
}

@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},
}

@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},
}

@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},
}

@techreport{cb-SHIQ,
title       = {Consequence-Based Reasoning for $\mathcal{SHIQ}$},
author      = {Franti\v{s}ek Siman\v{c}\'{i}k and Andrew Bate},
institution = {University of Oxford},
year        = {2013},
note        =   {Available at
    \url{http://www.cs.ox.ac.uk/isg/people/frantisek.simancik/}}
}

@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 at
    \url{http://code.google.com/p/elk-reasoner/wiki/Publications}}
}

@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}
}