Magdalena Ortiz
TitleCited byYear
Query rewriting for Horn-SHIQ plus rules
T Eiter, M Ortiz, M Simkus, TK Tran, G Xiao
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
1342012
Data complexity of query answering in expressive description logics via tableaux
M Ortiz, D Calvanese, T Eiter
Journal of Automated Reasoning 41 (1), 61-98, 2008
1122008
Query answering in the Horn fragments of the description logics SHOIQ and SROIQ
M Ortiz, S Rudolph, M Simkus
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
922011
Characterizing data complexity for conjunctive query answering in expressive description logics
M Ortiz, D Calvanese, T Eiter
AAAI, 275-280, 2006
882006
Regular path queries in expressive description logics with nominals
D Calvanese, T Eiter, M Ortiz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
792009
Ontology-mediated query answering with data-tractable description logics
M Bienvenu, M Ortiz
Reasoning Web International Summer School, 218-307, 2015
782015
Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2
M Ortiz, S Rudolph, M Simkus
Twelfth International Conference on the Principles of Knowledge …, 2010
712010
Query Answering in the Description Logic Horn-
T Eiter, G Gottlob, M Ortiz, M Šimkus
European Workshop on Logics in Artificial Intelligence, 166-179, 2008
672008
Answering regular path queries in expressive description logics: An automata-theoretic approach
D Calvanese, T Eiter, M Ortiz
AAAI 7, 391-396, 2007
622007
Query answering in description logics with transitive roles
T Eiter, C Lutz, M Ortiz, M Simkus
Twenty-First International Joint Conference on Artificial Intelligence, 2009
602009
Reasoning about explanations for negative query answers in DL-Lite
D Calvanese, M Ortiz, M Simkus, G Stefanoni
Journal of Artificial Intelligence Research 48, 635-669, 2013
462013
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
Fourteenth International Conference on the Principles of Knowledge …, 2014
362014
Tractable queries for lightweight description logics
M Bienvenu, M Ortiz, M Simkus, G Xiao
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
362013
Reasoning and query answering in description logics
M Ortiz, M Šimkus
Reasoning Web International Summer School, 1-53, 2012
362012
Managing change in graph-structured data using description logics
S Ahmetaj, D Calvanese, M Ortiz, M Šimkus
ACM Transactions on Computational Logic (TOCL) 18 (4), 27, 2017
292017
Data complexity of answering unions of conjunctive queries in SHIQ
M Ortiz, D Calvanese, T Eiter
Proceedings of the 19th International Workshop on Description Logics (DL …, 2006
292006
Answering regular path queries in expressive description logics via alternating tree-automata
D Calvanese, T Eiter, M Ortiz
Information and Computation 237, 12-55, 2014
272014
Conjunctive query answering in the description logic SH using knots
T Eiter, M Ortiz, M Šimkus
Journal of Computer and System Sciences 78 (1), 47-85, 2012
262012
Research directions for Principles of Data Management (Dagstuhl perspectives workshop 16151)
S Abiteboul, M Arenas, P Barceló, M Bienvenu, D Calvanese, C David, ...
arXiv preprint arXiv:1701.09007, 2017
25*2017
Conjunctive regular path queries in lightweight description logics
M Bienvenu, M Ortiz, M Simkus
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
252013
The system can't perform the operation now. Try again later.
Articles 1–20