My most recent work is on query answering in expressive description logics.
Thomas Eiter, Carsten Lutz,
Magdalena Ortiz and Mantas
Simkus.
Query Answering in Description Logics with
Transitive Roles.
In Proc. of the Twenty-First International Joint Conference on
Artificial Intelligence (IJCAI-09)
C. Boutilier (Ed.); AAAI Press, (2009), pp. 759-764. Pasadena,
California. July 2009.
(online
version) (Full
proceedings available here)
Diego Calvanese, Thomas Eiter and
Magdalena Ortiz.
Regular Path Queries in Expressive Description Logics with Nominals.
In Proc. of the Twenty-First International Joint Conference on
Artificial Intelligence (IJCAI-09)
C. Boutilier (Ed.); AAAI Press, (2009), pp. 714-720. Pasadena,
California. July 2009.
(online
version) (Full
proceedings available here)
Thomas Eiter, Carsten Lutz,
Magdalena Ortiz and Mantas
Simkus.
Query Answering in Description Logics: The Knots Approach
In Proc. of the 16th International Workshop on Logic, Language,
Information and Computation (WoLLIC 2009).
H. Ono, M. Kanazawa, R. de Queiroz (Eds.); Lecture Notes in Computer
Science 5514, pp. 26-36. Springer.
Tokyo, Japan. June 2009.
(online
version)
Magdalena Ortiz.
An Automata-based algorithm for description logics around SRIQ.
In Proc. of the Fourth Latin American Workshop on Logic/Languages,
Algorithms and Non-Monotonic Reasoning 2008 (LANMR'08).
CEUR Workshop Proceedings Vol. 408. Puebla,Mexico; October 2008.
(pdf)
(Full proceedings available here)
Thomas Eiter, Carsten Lutz,
Magdalena Ortiz and Mantas
Simkus.
Complexity of Conjunctive Query Answering in Description Logics with
Transitive Roles.
Research Report (Preliminary Version), INFSYS RR-1843-08-09.
Magdalena Ortiz.
An Automata-based algorithm for description logics around SRIQ.
In Proc. of the Fourth Latin American Workshop on Logic/Languages,
Algorithms and Non-Monotonic Reasoning 2008 (LANMR'08).
CEUR Workshop Proceedings Vol. 408. Puebla,Mexico; October 2008.
(pdf)
(Full proceedings available here)
Thomas Eiter, Georg Gottlob,
Magdalena Ortiz and Mantas Simkus.
Query Answering in the Description Logic Horn-SHIQ.
In Proc. of the 11th European Conference on Logics in Artificial
Intelligence (JELIA 2008). S. Hölldobler, C. Lutz, H. Wansing (eds.)
Lecture Notes in Artificial Intelligence, 5293. pp. 166-179. Dresden,
Germany. September 2008.
(online
version) (pdf)
Magdalena Ortiz.
Extending CARIN to the Description Logics of the SH Family.
In Proc. of the 11th European Conference on Logics in Artificial
Intelligence (JELIA 2008). S. Hölldobler, C. Lutz, H. Wansing (eds.)
Lecture Notes in Artificial Intelligence, 5293. pp. 324-337. Dresden,
Germany. September 2008.
(online
version)
(pdf)
Magdalena Ortiz, Mantas Šimkus, and
Thomas Eiter.
Worst-case Optimal Conjunctive Query Answering for an Expressive
Description Logic without Inverses.
In Proc. of the 23rd AAAI Conference on Artificial Intelligence
(AAAI-08). pp. 504-510. AAAI Press. USA, July 2008.
(pdf)
Magdalena Ortiz, Diego Calvanese and
Thomas Eiter.
Data complexity of query answering in expressive description logics via
tableaux.
J. of Automated Reasoning 41(1):61-98,2008.
(online
version) (pdf)
Magdalena Ortiz, Mantas Šimkus, and
Thomas Eiter.
Conjunctive Query Answering in SH using Knots.
In Proc. of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 2008.
(pdf)
(Full proceedings available here)
Diego Calvanese, Thomas Eiter, and
Magdalena Ortiz.
Answering regular path queries in expressive description logics: An
automata-theoretic approach.
In Proc. of the 22nd Nat. Conf. on Artificial Intelligence (AAAI 2007).
pp. 391-396. AAAI Press. USA, July 2007.
(pdf)
Diego Calvanese, Thomas Eiter, and
Magdalena Ortiz.
Answering regular path queries in expressive description logics: An
automata-theoretic approach.
Research Report (Preliminary Version), INFSYS RR-1843-08-05.
(pdf)
Magdalena Ortiz, Diego Calvanese,
and Thomas Eiter.
Characterizing Data Complexity for Conjunctive Query Answering in
Expressive Description Logics.
In Proceedings of the Twenty-First National Conference on Artificial
Intelligence (AAAI'06). AAAI Press, July 2006.
(pdf)
Magdalena Ortiz, Diego Calvanese, and Thomas Eiter.
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.
In Bijan Parsi, Ulrike Sattler, and David Toman, editors, Proc. 2006
International Workshop on Description Logics (DL'06), volume 189 of
CEUR Workshop Proceedings, Lake District, UK, June 2006.
(pdf)
(Full
proceedings available here)
I also wrote my Master Thesis on this
topic.
The results of my thesis, with some later corrections and
improvements, can be found in this Technical
Report.
An article on my previous work with Mauricio
Osorio appeared recently. It's about strong negation in Answer Set
Programming:
Magdalena Ortiz and Mauricio Osorio.
Strong Negation and Equivalence in the Safe Belief Semantics.
Journal of Logic and Computation, 17(2), 499-515, 2007.
http://logcom.oxfordjournals.org/cgi/content/abstract/17/3/499?etoc
A bit independently of my main line of research, with the help of Carlos Areces, I proposed last year a sequent calculus for Categorial Logics with hybrid operators.
Magdalena Ortiz.
A Fully Internalized Sequent Calculus for Hybrid Categorial Logics.
In Janneke Huitink and Sophia Katrenko, editors, Proceedings of the
Student Session of the 18th European Summer School of Logic, Language
and Information (ESSLLI'06), Malaga, Spain, August 2006.
(pdf) (Full
proceedings available here)
Most of my older publications are related
to Answer Set Programming.
Some of them can be found on the
DBLP
server, but the list is not complete. A not-always up-to-date
list of publications is here (pdf)
If
you are interested in any of my work and you don't find it here,
please mail me.
Back to my homepage.