Searching for authors named Magdalena Ortiz – sorted by Relevance.
8 documents found, showing 1 through 8.
-
An Automata-based Algorithm for Description Logics around SRIQ ⋆
- …An Automata-based Algorithm for Description Logics around SRIQ ⋆ Magdalena Ortiz Institute…
- Cited by 1 (1 self) – Add To MetaCart
-
Conjunctive Query Answering in SH using Knots ⋆
- …Conjunctive Query Answering in SH using Knots ⋆ Magdalena Ortiz, Mantas ˇSimkus, and Thomas Eiter…
- Cited by 1 (1 self) – Add To MetaCart
-
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses
- … Inverses Magdalena Ortiz and Mantas ˇSimkus and Thomas Eiter Institut für Informationssysteme, Technische…
- Cited by 1 (1 self) – Add To MetaCart
-
ASP: from Application Development to Syntax
- …ASP: from Application Development to Syntax Extensions Magdalena Ortiz Universidad de las Américas…
- Add To MetaCart
-
Characterizing data complexity for conjunctive query answering in expressive description logics
- … ∗ Magdalena Ortiz 1,2 , Diego Calvanese 1 , Thomas Eiter 2 1 Faculty of Computer Science Free University…
- Cited by 24 (10 self) – Add To MetaCart
-
Data complexity of answering unions of conjunctive queries in SHIQ
- …Data Complexity of Answering Unions of Conjunctive Queries in SHIQ ∗ Magdalena Ortiz 1,2 , Diego…
- Cited by 18 (6 self) – Add To MetaCart
-
DATA COMPLEXITY OF QUERY ANSWERING IN EXPRESSIVE DESCRIPTION LOGICS VIA TABLEAUX
- … TABLEAUX Magdalena Ortiz Diego Calvanese Thomas Eiter INFSYS RESEARCH REPORT 1843-07-07 NOVEMBER 2007…
- Cited by 4 (4 self) – Add To MetaCart
-
Query Answering in Description Logics with Transitive Roles ∗
- … , Magdalena Ortiz1 ,MantasˇSimkus1 1 Institute of Information Systems 2 Fachbereich Mathematik und Informatik…
- Add To MetaCart
Showing 1 through 8.
