Magdalena Ortiz
Magdalena Ortiz
Vienna University of Technology (TU Wien)
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
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2012
1632012
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
1212008
Ontology-mediated query answering with data-tractable description logics
M Bienvenu, M Ortiz
Reasoning Web International Summer School, 218-307, 2015
1072015
Query answering in the Horn fragments of the description logics SHOIQ and SROIQ
M Ortiz, S Rudolph, M Simkus
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
1032011
Regular path queries in expressive description logics with nominals
D Calvanese, T Eiter, M Ortiz
Twenty-First International Joint Conference on Artificial Intelligence, 2009
912009
Characterizing data complexity for conjunctive query answering in expressive description logics
M Ortiz, D Calvanese, T Eiter
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 275, 2006
912006
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.
M Ortiz, S Rudolph, M Simkus
KR, 2010
842010
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
732008
Answering regular path queries in expressive description logics: An automata-theoretic approach
D Calvanese, T Eiter, M Ortiz
AAAI 7, 391-396, 2007
672007
Query Answering in Description Logics with Transitive Roles.
T Eiter, C Lutz, M Ortiz, M Simkus
IJCAI 9, 759-764, 2009
642009
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
612013
Reasoning and query answering in description logics
M Ortiz, M Šimkus
Reasoning Web International Summer School, 1-53, 2012
482012
Tractable Queries for Lightweight Description Logics.
M Bienvenu, M Ortiz, M Simkus, G Xiao
IJCAI, 768-774, 2013
422013
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
arXiv preprint arXiv:1402.7122, 2014
392014
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.
S Ahmetaj, M Ortiz, M Simkus
IJCAI, 878-885, 2016
37*2016
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
372014
Closed Predicates in Description Logics: Results on Combined Complexity.
N Ngo, M Ortiz, M Simkus
KR, 237-246, 2016
362016
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
352012
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
332017
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
302006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20