Frantisek Simancik

Frantisek Simancik

Doctoral Student

Themes:

• Data, Knowledge and Action

Interests

My research focuses on practical consequence-based algorithms for Description Logics, particularly on reasoning in EL and its extensions by non-Horn constructors, such as disjunctions and cardinality constraints.

list of publications

Selected Publications

View AllManage publications

• Extending Consequence−Based Reasoning to SRIQ

  Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks

  arXiv:1602.04498 [cs.AI]. February, 2016.

  Details about Extending Consequence−Based Reasoning to SRIQ | BibTeX data for Extending Consequence−Based Reasoning to SRIQ | Link to Extending Consequence−Based Reasoning to SRIQ

• Extending Consequence−Based Reasoning to SRIQ

  Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ Frantisek Simancik and Ian Horrocks

  In Chitta Baral‚ James P. Delgrande and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference. Pages 187–196. AAAI Press. 2016.

  Details about Extending Consequence−Based Reasoning to SRIQ | BibTeX data for Extending Consequence−Based Reasoning to SRIQ | Download paper.pdf of Extending Consequence−Based Reasoning to SRIQ | Download slides.pdf of Extending Consequence−Based Reasoning to SRIQ

• Extending Consequence−Based Reasoning to SHIQ

  Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks

  In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics. Vol. 1350 of CEUR Workshop Proceedings. CEUR−WS.org. June, 2015.

  Details about Extending Consequence−Based Reasoning to SHIQ | BibTeX data for Extending Consequence−Based Reasoning to SHIQ | Download  (pdf) of Extending Consequence−Based Reasoning to SHIQ

Activities

• Knowledge Representation and Reasoning

Supervisor