2008 |
6 | | Magdalena Ortiz,
Mantas Simkus,
Thomas Eiter:
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
AAAI 2008: 504-510 |
5 | EE | Magdalena Ortiz,
Mantas Simkus,
Thomas Eiter:
Conjunctive Query Answering in SH using Knots.
Description Logics 2008 |
4 | EE | Thomas Eiter,
Georg Gottlob,
Magdalena Ortiz,
Mantas Simkus:
Query Answering in the Description Logic Horn-.
JELIA 2008: 166-179 |
3 | EE | Thomas Eiter,
Magdalena Ortiz,
Mantas Simkus:
Reasoning Using Knots.
LPAR 2008: 377-390 |
2007 |
2 | EE | Mantas Simkus,
Thomas Eiter:
\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.
LPAR 2007: 514-530 |
2006 |
1 | EE | Mantas Simkus,
Evaldas Taroza,
Lina Lubyte,
Daniel Trivellato,
Zivile Norkunaite:
Efficient Query Answering over Conceptual Schemas of Relational Databases : Technical Report
CoRR abs/cs/0601114: (2006) |