Magdalena Ortiz

Maria Magdalena Ortiz de la Fuente

Institute of Information Systems, Vienna University of Technology, Austria

	2012
28		Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus: Answering Expressive Path Queries over Lightweight DL Knowledge Bases. Description Logics 2012
27		Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao: Towards Practical Query Answering for Horn-SHIQ. Description Logics 2012
26		Thomas Eiter, Magdalena Ortiz, Mantas Simkus: Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. 78(1): 47-85 (2012)
	2011
25		Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni: The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics 2011
24		Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus: Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. IJCAI 2011: 1039-1044
23		Diego Calvanese, Domenico Carbotta, Magdalena Ortiz: A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. IJCAI 2011: 798-804
22		Diego Calvanese, Magdalena Ortiz, Mantas Simkus: Containment of Regular Path Queries under Description Logic Constraints. IJCAI 2011: 805-812
	2010
21		Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in the Description Logic S. Description Logics 2010
20		Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus: Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. KR 2010
	2009
19		Diego Calvanese, Thomas Eiter, Magdalena Ortiz: Regular Path Queries in Expressive Description Logics with Nominals. IJCAI 2009: 714-720
18		Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764
17		Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in Description Logics: The Knots Approach. WoLLIC 2009: 26-36
	2008
16		Magdalena Ortiz, Mantas Simkus, Thomas Eiter: Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. AAAI 2008: 504-510
15		Magdalena Ortiz, Mantas Simkus, Thomas Eiter: Conjunctive Query Answering in SH using Knots. Description Logics 2008
14		Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus: Query Answering in the Description Logic Horn-. JELIA 2008: 166-179
13		Magdalena Ortiz: Extending Carinto the Description Logics of the Family. JELIA 2008: 324-337
12		Thomas Eiter, Magdalena Ortiz, Mantas Simkus: Reasoning Using Knots. LPAR 2008: 377-390
11		Magdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reasoning 41(1): 61-98 (2008)
	2007
10		Diego Calvanese, Thomas Eiter, Magdalena Ortiz: Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI 2007: 391-396
9		Magdalena Ortiz, Mauricio Osorio: Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17(3): 499-515 (2007)
	2006
8		Magdalena Ortiz, Diego Calvanese, Thomas Eiter: Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI 2006: 275-280
7		Magdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006
	2005
6		Magdalena Ortiz, Mauricio Osorio: Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005
5		Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Agent Modelling for CSCL Environments using Answer Sets Programming. ENC 2005: 214-221
4		Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Application of ASP for Agent Modelling in CSCL Environments. MICAI 2005: 109-118
3		Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi: Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR abs/cs/0507059: (2005)
	2004
2		Magdalena Ortiz: ASP: from Application Development to Syntax Extensions. LA-NMR 2004
	2003
1		Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio: Formalizing the Learner Model for CSCL Environments. ENC 2003: 151-158

Coauthor Index

1	Gerardo Ayala (Gerardo Ayala San Martin)	[1] [4] [5]
2	Meghyn Bienvenu	[21] [28]
3	Diego Calvanese	[3] [7] [8] [10] [11] [19] [22] [23] [25]
4	Domenico Carbotta	[23]
5	Thomas Eiter	[3] [7] [8] [10] [11] [12] [14] [15] [16] [17] [18] [19] [21] [26] [27]
6	Enrico Franconi	[3]
7	Georg Gottlob	[14]
8	Carsten Lutz	[17] [18] [21]
9	Mauricio Osorio (Mauricio Javier Osorio Galindo)	[1] [4] [5] [6] [9]
10	Sebastian Rudolph	[20] [24]
11	Mantas Simkus	[12] [14] [15] [16] [17] [18] [20] [21] [22] [24] [25] [26] [27] [28]
12	Giorgio Stefanoni	[25]
13	Trung-Kien Tran	[27]
14	Guohui Xiao	[27]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page