Magdalena Ortiz
Magdalena Ortiz
Dirección de correo verificada de kr.tuwien.ac.at - Página principal
Título
Citado por
Citado por
Año
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
1442012
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
1162008
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
962011
Ontology-mediated query answering with data-tractable description logics
M Bienvenu, M Ortiz
Reasoning Web International Summer School, 218-307, 2015
912015
Characterizing data complexity for conjunctive query answering in expressive description logics
M Ortiz, D Calvanese, T Eiter
AAAI, 275-280, 2006
892006
Regular path queries in expressive description logics with nominals
D Calvanese, T Eiter, M Ortiz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
832009
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
752010
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
692008
Answering regular path queries in expressive description logics: An automata-theoretic approach
D Calvanese, T Eiter, M Ortiz
AAAI 7, 391-396, 2007
642007
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
512013
Reasoning and query answering in description logics
M Ortiz, M Šimkus
Reasoning Web International Summer School, 1-53, 2012
402012
Tractable queries for lightweight description logics
M Bienvenu, M Ortiz, M Simkus, G Xiao
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
382013
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
Fourteenth International Conference on the Principles of Knowledge …, 2014
372014
Research directions for principles of data management (abridged)
S Abiteboul, M Arenas, P Barceló, M Bienvenu, D Calvanese, C David, ...
ACM SIGMOD Record 45 (4), 5-17, 2017
32*2017
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
322014
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), 1-35, 2017
312017
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
302012
Closed predicates in description logics: Results on combined complexity
N Ngo, M Ortiz, M Simkus
Fifteenth International Conference on the Principles of Knowledge …, 2016
292016
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20