Frantisek Simancík

17 papers A* 3Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2018 J jnl
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
J. Artif. Intell. Res.
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancík, Ian Horrocks
2016 A* conf
Extending Consequence-Based Reasoning to SRIQ.
KR
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2016 J jnl
Extending Consequence-Based Reasoning to SRIQ.
CoRR
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2015 — conf
Extending Consequence-Based Reasoning to SHIQ.
Description Logics
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancík, Ian Horrocks
2014 J jnl
Consequence-based and fixed-parameter tractable reasoning in description logics.
Artif. Intell.
Frantisek Simancík, Boris Motik, Ian Horrocks
2014 J jnl
Description Logics.
IEEE Intell. Syst.
Markus Krötzsch, Frantisek Simancík, Ian Horrocks
2014 J jnl
The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies.
J. Autom. Reason.
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancík
2013 — —
Consequence-based reasoning for ontology classification.
Frantisek Simancík
2012 J jnl
A Description Logic Primer
CoRR
Markus Krötzsch, Frantisek Simancík, Ian Horrocks
2012 — conf
ELK Reasoner: Architecture and Evaluation.
ORE
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancík
2012 — conf
Elimination of Complex RIAs without Automata.
Description Logics
Frantisek Simancík
2012 A* conf
Practical Reasoning with Nominals in the EL Family of Description Logics.
KR
Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancík
2011 — conf
Concurrent Classification of EL Ontologies.
ISWC (1)
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancík
2011 A* conf
Consequence-Based Reasoning beyond Horn Ontologies.
IJCAI
Frantisek Simancík, Yevgeny Kazakov, Ian Horrocks
2011 — conf
Fixed Parameter Tractable Reasoning in DLs via Decomposition.
Description Logics
Frantisek Simancík, Boris Motik, Markus Krötzsch
2011 — conf
Unchain My EL Reasoner.
Description Logics
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancík
2009 J jnl
A CCG-based System for Valence Shifting for Sentiment Analysis.
Res. Comput. Sci.
Frantisek Simancík, Mark Lee