Frantisek Simancik

According to our database, Frantisek Simancik authored at least 15 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks

J. Artif. Intell. Res., 2018

2016

Extending Consequence-Based Reasoning to SRIQ.

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015

Extending Consequence-Based Reasoning to SHIQ.

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies.

Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik

J. Autom. Reason., 2014

Description Logics.

Markus Krötzsch, Frantisek Simancik, Ian Horrocks

IEEE Intell. Syst., 2014

Consequence-based and fixed-parameter tractable reasoning in description logics.

Frantisek Simancik, Boris Motik, Ian Horrocks

Artif. Intell., 2014

2013

Consequence-based reasoning for ontology classification.

Frantisek Simancik

PhD thesis, 2013

2012

A Description Logic Primer

Markus Krötzsch, Frantisek Simancik, Ian Horrocks

CoRR, 2012

ELK Reasoner: Architecture and Evaluation.

Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Practical Reasoning with Nominals in the EL Family of Description Logics.

Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Elimination of Complex RIAs without Automata.

Frantisek Simancik

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Concurrent Classification of EL Ontologies.

Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik

Proceedings of the Semantic Web - ISWC 2011, 2011

Consequence-Based Reasoning beyond Horn Ontologies.

Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks

Proceedings of the IJCAI 2011, 2011

Fixed Parameter Tractable Reasoning in DLs via Decomposition.

Frantisek Simancik, Boris Motik, Markus Krötzsch

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Unchain My EL Reasoner.

Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011