Consequence-based reasoning for ontology classification Bằng Simancik, F

Concurrent Classification of EL Ontologies Bằng Kazakov, Y, Krötzsch, M, Simančík, F

Concurrent Classification of EL Ontologies. Bằng Kazakov, Y, Krötzsch, M, Simancik, F

Consequence−Based Reasoning beyond Horn Ontologies Bằng Simancik, F, Kazakov, Y, Horrocks, I

Description logics Bằng Krötzsch, M, Simancik, F, Horrocks, I

Unchain My EL Reasoner. Bằng Kazakov, Y, Krötzsch, M, Simancik, F

Fixed Parameter Tractable Reasoning in DLs via Decomposition. Bằng Simancik, F, Motik, B, Krötzsch, M

Concurrent Classification of EL Ontologies Bằng Kazakov, Y, Krötzsch, M, Simančík, F

Unchain My EL Reasoner Bằng Kazakov, Y, Krötzsch, M, Simancik, F

A Description Logic Primer Bằng Krötzsch, M, Simancik, F, Horrocks, I

Consequence-based and fixed-parameter tractable reasoning in description logics Bằng Simancik, F, Motik, B, Horrocks, I

On recombination-induced multiple and simultaneous coalescent events. Bằng Davies, J, Simancík, F, Lyngsø, R, Mailund, T, Hein, J

Extending consequence-based reasoning to SRIQ Bằng Bate, A, Motik, B, Cuenca Grau, B, Simančík, F, Horrocks, I

Consequence-based reasoning for description logics with disjunctions and number restrictions Bằng Bate, A, Motik, B, Cuenca Grau, B, Tena Cucala, D, Simančík, F, Horrocks, I

Consequence-based reasoning for description logics with disjunctions and number restrictions Bằng Bate, A, Motik, B, Cuenca Grau, B, Tena Cucala, D, Simancik, F, Horrocks, I