An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. - Adrian Groza; Irina Dragoste; Iulia Sincai; Ioana Jimborean; Vasile Moraru (SYNASC, 2014)

Restricted Chase (Non)Termination for Existential Rules with Disjunctions. - David Carral; Irina Dragoste; Markus Krötzsch (IJCAI, 2017)

Tractable Query Answering for Expressive Ontologies and Existential Rules. - David Carral; Irina Dragoste; Markus Krötzsch (ISWC (1), 2017)

Efficient Model Construction for Horn Logic with VLog - System Description. - Jacopo Urbani; Markus Krötzsch; Ceriel J. H. Jacobs; Irina Dragoste; David Carral (IJCAR, 2018)

Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. - David Carral; Irina Dragoste; Markus Krötzsch (Description Logics, 2018)

Efficient Model Construction for Horn Logic with VLog: Extended Abstract. - Jacopo Urbani; Markus Krötzsch; Ceriel J. H. Jacobs; Irina Dragoste; David Carral (Description Logics, 2018)

The Combined Approach to Query Answering in Horn-ALCHOIQ. - David Carral; Irina Dragoste; Markus Krötzsch (KR, 2018)

The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). - David Carral; Irina Dragoste; Markus Krötzsch (Description Logics, 2019)

Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). - David Carral; Irina Dragoste; Markus Krötzsch; Christian Lewe (Description Logics, 2019)

Chasing Sets: How to Use Existential Rules for Expressive Reasoning. - David Carral; Irina Dragoste; Markus Krötzsch; Christian Lewe (IJCAI, 2019)

VLog: A Rule Engine for Knowledge Graphs. - David Carral; Irina Dragoste; Larry González; Ceriel J. H. Jacobs; Markus Krötzsch; Jacopo Urbani (ISWC (2), 2019)

Reasoner = Logical Calculus + Rule Engine. - David Carral; Irina Dragoste; Markus Krötzsch (Künstliche Intell., 2020)

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. - Martin Bromberger; Irina Dragoste; Rasha Faqeh; Christof Fetzer; Markus Krötzsch; Christoph Weidenbach (FroCoS, 2021)

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. - Martin Bromberger; Irina Dragoste; Rasha Faqeh; Christof Fetzer; Larry González; Markus Krötzsch; Maximilian Marx 001; Harish K. Murali; Christoph Weidenbach (TACAS (1), 2022)