Följ
Magdalena Ortiz
Magdalena Ortiz
Vienna University of Technology (TU Wien)
Verifierad e-postadress på kr.tuwien.ac.at - Startsida
Titel
Citeras av
Citeras av
År
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), 726-733, 2012
1772012
Ontology-mediated query answering with data-tractable description logics
M Bienvenu, M Ortiz
Reasoning Web. Web Logic Rules: 11th International Summer School 2015 …, 2015
1432015
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
1232008
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
1122011
Regular Path Queries in Expressive Description Logics with Nominals.
D Calvanese, T Eiter, M Ortiz
IJCAI 9, 714-720, 2009
1022009
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.
M Ortiz, S Rudolph, M Simkus
KR, 2010
962010
Characterizing data complexity for conjunctive query answering in expressive description logics
M Ortiz, D Calvanese, T Eiter
AAAI, 275-280, 2006
952006
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
852013
Query Answering in the Description Logic Horn-
T Eiter, G Gottlob, M Ortiz, M Šimkus
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008
802008
Query Answering in Description Logics with Transitive Roles.
T Eiter, C Lutz, M Ortiz, M Simkus
IJCAI 9, 759-764, 2009
692009
Answering regular path queries in expressive description logics: An automata-theoretic approach
D Calvanese, T Eiter, M Ortiz
AAAI 7, 391-396, 2007
692007
Reasoning and query answering in description logics
M Ortiz, M Šimkus
Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012
572012
Tractable Queries for Lightweight Description Logics.
M Bienvenu, M Ortiz, M Simkus, G Xiao
IJCAI 13, 768-774, 2013
562013
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
Fourteenth International Conference on the Principles of Knowledge …, 2014
492014
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
472014
Closed predicates in description logics: Results on combined complexity
N Ngo, M Ortiz, M Simkus
Fifteenth International Conference on the Principles of Knowledge …, 2016
462016
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
432017
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.
S Ahmetaj, M Ortiz, M Simkus
IJCAI, 878-885, 2016
42*2016
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
402012
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
34*2017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20