Magdalena Ortiz

Citado por

	Total	Desde 2019
Citas	2436	1022
Índice h	26	19
Índice i10	47	30

260

130

195

2005200620072008200920102011201220132014201520162017201820192020202120222023202416 24 46 71 53 74 48 99 109 183 177 190 133 162 171 250 121 181 123 175

Acceso público

Ver todo

70 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Mantas ŠimkusTU Wien, AustriaDirección de correo verificada de dbai.tuwien.ac.at
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Dirección de correo verificada de unibz.it
Thomas EiterVienna University of Technology (TU Wien)Dirección de correo verificada de kr.tuwien.ac.at
Meghyn BienvenuCNRS ResearcherDirección de correo verificada de labri.fr
Shqiponja AhmetajProject Assistant, TU WienDirección de correo verificada de dbai.tuwien.ac.at
Guohui XiaoProfessor of Computer Science, Southeast University, ChianDirección de correo verificada de seu.edu.cn
Osorio MauricioUniversidad de las Américas PueblaDirección de correo verificada de udlap.mx
Sebastian RudolphTechnische Universität Dresden and ScaDS.AIDirección de correo verificada de tu-dresden.de
Trung-Kien TranLead Scientist at Bosch Center for AI (BCAI)Dirección de correo verificada de de.bosch.com
Filip MurlakAssociate Professor, University of WarsawDirección de correo verificada de mimuw.edu.pl
Carsten LutzProfessor of Computer Science, University of LeipzigDirección de correo verificada de informatik.uni-leipzig.de
Georg GottlobProfessor of Informatics, University of CalabriaDirección de correo verificada de unical.it
Nhung NgoBosch Center for AIDirección de correo verificada de de.bosch.com
Giorgio Stefanoni

Seguir

Magdalena Ortiz

Vienna University of Technology (TU Wien)

Dirección de correo verificada de kr.tuwien.ac.at - Página principal

Artificial Intelligence Knowledge Representation Computational Logic


Título Ordenar por citas Ordenar por año Ordenar por 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), 726-733, 2012	195	2012
Ontology-mediated query answering with data-tractable description logics M Bienvenu, M Ortiz Reasoning Web. Web Logic Rules: 11th International Summer School 2015 …, 2015	169	2015
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	127	2008
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	117	2011
Regular path queries in expressive description logics with nominals D Calvanese, T Eiter, M Ortiz Twenty-First International Joint Conference on Artificial Intelligence, 2009	106	2009
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	104	2010
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	95	2006
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	87	2013
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	84	2008
Research directions for principles of data management (dagstuhl perspectives workshop 16151) S Abiteboul, M Arenas, P Barceló, M Bienvenu, D Calvanese, C David, ... Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2018	73*	2018
Reasoning and query answering in description logics M Ortiz, M Šimkus Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012	72	2012
Query Answering in Description Logics with Transitive Roles. T Eiter, C Lutz, M Ortiz, M Simkus IJCAI 9, 759-764, 2009	71	2009
Answering regular path queries in expressive description logics: An automata-theoretic approach D Calvanese, T Eiter, M Ortiz AAAI 7, 391-396, 2007	71	2007
Closed predicates in description logics: Results on combined complexity N Ngo, M Ortiz, M Simkus Fifteenth International Conference on the Principles of Knowledge …, 2016	59	2016
Tractable Queries for Lightweight Description Logics. M Bienvenu, M Ortiz, M Simkus, G Xiao IJCAI 13, 768-774, 2013	57	2013
Nested regular path queries in description logics M Bienvenu, D Calvanese, M Ortiz, M Simkus Fourteenth International Conference on the Principles of Knowledge …, 2014	53	2014
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	51	2014
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. S Ahmetaj, M Ortiz, M Simkus IJCAI, 878-885, 2016	45*	2016
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	44	2017
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	42	2012

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores