Irina Dragoste

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 15

Top Topics

Existentially Quantified

Extended Abstract

Model Construction

Datalog Programs

Top Venues

Description Logics

Publications

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR (2022)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. TACAS (1) (2022)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR (2021)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. FroCoS (2021)
David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine. Künstliche Intell. 34 (4) (2020)
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). Description Logics (2019)
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). Description Logics (2019)
David Carral, Irina Dragoste, Larry González, Ceriel J. H. Jacobs, Markus Krötzsch, Jacopo Urbani
VLog: A Rule Engine for Knowledge Graphs. ISWC (2) (2019)
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning. IJCAI (2019)
David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. Description Logics (2018)
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ. KR (2018)
Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract. Description Logics (2018)
Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog - System Description. IJCAR (2018)
David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules. ISWC (1) (2017)
David Carral, Irina Dragoste, Markus Krötzsch
Restricted Chase (Non)Termination for Existential Rules with Disjunctions. IJCAI (2017)
Adrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. SYNASC (2014)