Publikationsliste für
M.Magdalena Ortiz de la Fuente
als Autorin / Autor bzw. wesentlich beteiligte Person
119 Datensätze (2004 - 2021)
Bücher und Buch-Herausgaben
M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.):
"Informal Proceedings of the 27th International Workshop on Description Logics";
CEUR-Proceedings,
Vol. 1193. Aachen, Deutschland,
2014,
ISSN: 1613-0073;
756 S.
M. Ortiz de la Fuente, S. Schlobach (Hrg.):
"Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings";
Springer, LNCS,
Heidelberg,
2016,
ISBN: 978-3-319-45275-3;
183 S.
Zusätzliche Informationen
M. Ortiz de la Fuente, T. Schneider (Hrg.):
"Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27-29, 2018.";
CEUR-WS.org,
Aachen, Deutschland,
2018,
ISSN: 1613-0073;
460 S.
Zeitschriftenartikel
S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak, F. Neven, M. Ortiz de la Fuente, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu, K. Yi:
"Research Directions for Principles of Data Management (Abridged)";
ACM SIGMOD Record (eingeladen),
45
(2016),
4;
13 S.
Zusätzliche Informationen
S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak, F. Neven, M. Ortiz de la Fuente, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu, K. Yi:
"Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)";
Dagstuhl Manifestos,
7
(2018),
1;
S. 1
- 29.
Zusätzliche Informationen
S. Ahmetaj, M. Ortiz de la Fuente, D. Calvanese, M. Simkus:
"Managing Change in Graph-Structured Data Using Description Logics";
ACM Transactions on Computational Logic,
18
(2017),
4;
S. 1
- 35.
Zusätzliche Informationen
S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog";
Artificial Intelligence,
280
(2020),
103220;
S. 1
- 27.
Zusätzliche Informationen
M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
"Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms";
Journal of Artificial Intelligence Research,
53
(2015),
S. 315
- 374.
Zusätzliche Informationen
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata";
Information and Computation,
237
(2014),
S. 12
- 55.
Zusätzliche Informationen
D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
"Reasoning about Explanations for Negative Query Answers in DL-Lite";
Journal of Artificial Intelligence Research,
48
(2013),
S. 635
- 669.
Zusätzliche Informationen
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Conjunctive query answering in the description logic SH using knots";
Journal of Computer and System Sciences,
78
(2012),
1;
S. 47
- 85.
Zusätzliche Informationen
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data complexity of query answering in expressive Description Logics via tableaux";
Journal of Automated Reasoning,
41
(2008),
1;
S. 61
- 98.
Zusätzliche Informationen
M. Ortiz de la Fuente, M. Osorio:
"Strong Negation and Equivalence in the Safe Belief Semantics";
Journal of Logic and Computation,
17
(2007),
3;
S. 499
- 515.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Managing Change in Graph-Structured Data Using Description Logics";
Vortrag: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014),
Québec City, Québec, Canada;
27.07.2014
- 31.07.2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence",
C. Brodley, P. Stone (Hrg.);
AAAI Press/IJCAI,
(2014),
ISBN: 978-1-57735-661-5;
S. 966
- 973.
Zusätzliche Informationen
S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Planning and Change in Graph Structured Data under Description Logics Constraints";
Vortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management,
Cartagena de Indias, Colombia;
04.06.2014
- 06.06.2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management",
G. Gottlob, J. Perez (Hrg.);
CEUR-Proceedings,
1189
(2014),
ISSN: 1613-0073.
Zusätzliche Informationen
S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Planning Problems for Graph Structured Data in Description Logics";
Vortrag: 27th International Workshop on Description Logics,
Vienna, Austria;
17.07.2014
- 20.07.2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics",
M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (Hrg.);
CEUR-WS,
Vol-1193
(2014),
ISSN: 1613-0073;
S. 4
- 7.
Zusätzliche Informationen
S. Ahmetaj, R. David, M. Ortiz de la Fuente, A. Polleres, B. Shehu, M. Simkus:
"Reasoning about Explanations for Non-validation in SHACL";
Vortrag: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning,
Online;
03.11.2021
- 12.11.2021; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning",
(2021),
ISSN: 2334-1033;
S. 12
- 21.
Zusätzliche Informationen
S. Ahmetaj, R. David, M. Ortiz de la Fuente, A. Polleres, B. Shehu, M. Simkus:
"Reasoning about Explanations for Non-validation in SHACL (Extended abstract)";
Vortrag: International Workshop on Description Logics (DL),
Bratislava, Slovakia;
03.11.2021
- 12.11.2021; in: "Proceedings of the 34th International Workshop on Description Logics (DL 2021)",
CEUR Workshop Proceedings,
2954
(2021),
ISSN: 1613-0073.
S. Ahmetaj, B. Loehnert, M. Ortiz de la Fuente, M. Simkus:
"Magic Shapes for Validation in SHACL";
Vortrag: ISWC 2021 - The 20th International Semantic Web Conference,
online event;
24.10.2021
- 12.11.2021; in: "Proceedings of the ISWC 2021 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 20th International Semantic Web Conference (ISWC 2021)",
CEUR Workshop Proceedings,
2980
(2021),
ISSN: 1613-0073.
S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates";
Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016,
New York, NY, USA;
09.07.2016
- 15.07.2016; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016",
S. Kambhampati (Hrg.);
IJCAI/AAAI Press,
(2016),
ISBN: 978-1-57735-770-4;
S. 878
- 885.
Zusätzliche Informationen
S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates";
Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management,
Panama City, Panama;
08.05.2016
- 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016",
R. Pichler, A. da Silva (Hrg.);
CEUR Workshop Proceedings,
1644
(2016),
Paper-Nr. 19,
5 S.
Zusätzliche Informationen
S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics";
Vortrag: 29th International Workshop on Description Logics (DL 2016),
Cape Town, South Africa;
22.04.2016
- 25.04.2016; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.",
M. Lenzerini, R. Penaloza (Hrg.);
CEUR Workshop Proceedings / CEUR-WS.org,
1577
(2016),
Paper-Nr. 26,
13 S.
Zusätzliche Informationen
S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Rewriting Guarded Existential Rules into Small Datalog Programs";
Vortrag: Edbt / Icdt 2018,
Wien;
26.03.2018
- 30.03.2018; in: "21st International Conference on Database Theory, {ICDT} 2018",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
98
(2018),
ISBN: 978-3-89318-078-3;
S. 1
- 24.
Zusätzliche Informationen
M.-P. Andresel, J. Corman, M. Ortiz de la Fuente, J. Reutter, O. Savkovic, M. Simkus:
"Stable Model Semantics for Recursive SHACL";
Vortrag: International World Wide Web Conference (WWW),
Taipei, Taiwan;
20.04.2020
- 24.04.2020; in: "WWW '20: Proceedings of The Web Conference 2020",
ACM,
(2020),
ISBN: 978-1-4503-7023-3;
S. 1570
- 1580.
Zusätzliche Informationen
M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente:
"A Framework for Exploratory Query Answering with Ontologies";
Vortrag: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020),
Rhodes, Greece;
12.09.2020
- 14.09.2020; in: "Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)",
CEUR Workshop Proceedings,
2663
(2020),
ISSN: 1613-0073.
M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus:
"Relaxing and Restraining Queries for OBDA";
Poster: AAAI 2019 - 33rd Conference on Artificial Intelligence,
Honolulu, Hawaii;
27.01.2019
- 01.02.2019; in: "The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019",
(2019),
S. 2654
- 2661.
Zusätzliche Informationen
M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus:
"Relaxing and Restraining Queries for OBDA - Extended Abstract";
Poster: Principles of Knowledge Representation and Reasoning (KR),
Tempe, AZ, USA;
30.10.2018
- 02.11.2018; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October-2 November 2018.",
(2018),
ISBN: 978-1-57735-803-9;
S. 617
- 618.
Zusätzliche Informationen
M.-P. Andresel, Y.A. Ibanez Garcia, M. Ortiz de la Fuente, M. Simkus:
"Taming Complex Role Inclusions for DL-Lite";
Vortrag: 31st International Workshop on Description Logics (DL 2018),
Tempe, Arizona, USA;
27.10.2018
- 29.10.2018; in: "Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.",
CEUR-WS.org,
(2018),
Paper-Nr. 05,
12 S.
Zusätzliche Informationen
M.-P. Andresel, M. Ortiz de la Fuente, M. Simkus:
"A Compilation Technique for Interactive Ontology-mediated Data Exploration";
Vortrag: 29th International Workshop on Description Logics (DL 2016),
Cape Town, South Africa;
22.04.2016
- 25.04.2016; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.",
M. Lenzerini, R. Penaloza (Hrg.);
CEUR Workshop Proceedings / CEUR-WS.org,
1577
(2016),
Paper-Nr. 37,
12 S.
Zusätzliche Informationen
M.-P. Andresel, M. Ortiz de la Fuente, M. Simkus:
"Query Rewriting for Ontology-mediated Conditional Answers";
Vortrag: 34th AAAI Conference on Artificial Intelligence (AAAI-20),
New York, New York, USA;
07.02.2020
- 12.02.2020; in: "The Thirty-Forth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, New York, USA, February 7 - 12, 2020",
V. Conitzer, F. Sha (Hrg.);
AAAI-20 Technical Tracks,
Vol. 34 No. 03
(2020),
S. 2734
- 2741.
Zusätzliche Informationen
L. Bajraktari, M. Ortiz de la Fuente, M. Simkus:
"Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming";
Vortrag: 30th International Workshop on Description Logics,
Montpellier, France (eingeladen);
18.07.2017
- 21.07.2017; in: "Proceedings of the 30th International Workshop on Description Logics",
A. Artale, B. Glimm, R. Kontchakov (Hrg.);
CEUR Workshop Proceedings,
1879
(2017),
ISSN: 1613-0073;
S. 1
- 13.
L. Bajraktari, M. Ortiz de la Fuente, M. Simkus:
"Combining Rules and Ontologies into Clopen Knowledge Bases";
Vortrag: AAAI 2018,
New Orleans, Lousiana, USA;
02.02.2018
- 07.02.2018; in: "Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence e (AAAI-18)",
(2018),
S. 1728
- 1735.
Zusätzliche Informationen
L. Bajraktari, M. Ortiz de la Fuente, M. Simkus:
"Compiling Model Representations for Querying Large ABoxes in Expressive DLs";
Vortrag: IJCAI - International Joint Conference on Artificial Intelligence,
Stockholm;
13.07.2018
- 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence",
(2018),
S. 1691
- 1698.
Zusätzliche Informationen
L. Bajraktari, M. Ortiz de la Fuente, G. Xiao:
"Optimizing Horn-SHIQ Reasoning for OBDA";
Vortrag: ISWC 2019 - International Semantic Web Conference,
Auckland, New Zealand;
26.10.2019
- 30.10.2019; in: "The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}",
Springer,
11778
(2019),
ISBN: 978-3-030-30792-9;
S. 75
- 92.
Zusätzliche Informationen
M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Nested Regular Path Queries in Description Logics";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Vienna, Austria;
20.07.2014
- 24.07.2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014)",
C. Baral, G. De Giacomo, T. Eiter (Hrg.);
AAAI Press,
(2014),
ISBN: 978-1-57735-657-8;
S. 218
- 227.
Zusätzliche Informationen
M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Nested Regular Path Queries in Description Logics (Extended Abstract)";
Vortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management,
Cartagena de Indias, Colombia;
04.06.2014
- 06.06.2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management",
G. Gottlob, J. Perez (Hrg.);
CEUR Workshop Proceedings,
1189
(2014),
ISSN: 1613-0073.
Zusätzliche Informationen
M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic S";
Vortrag: International Workshop on Description Logics (DL),
Waterloo, Canada;
04.05.2010
- 07.05.2010; in: "Proceedings of the 23rd International Workshop on Description Logics (DL-2010)",
V. Haarslev, D. Toman, G. Weddell (Hrg.);
CEUR workshop proceedings,
573
(2010),
ISSN: 1613-0073;
S. 149
- 160.
Zusätzliche Informationen
M. Bienvenu, M. Ortiz de la Fuente:
"Ontology-Mediated Query Answering with Data-Tractable Description Logics";
Hauptvortrag: Reasoning Web, International Summer School,
Berlin, Germany (eingeladen);
31.07.2015
- 04.08.2015; in: "Reasoning Web. Web Logic Rules - 11th International Summer School",
W. Faber, A. Paschke (Hrg.);
Springer LNCS,
9203
(2015),
ISBN: 978-3-319-21767-3;
S. 218
- 307.
Zusätzliche Informationen
M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
"Answering Expressive Path Queries over Lightweight DL Knowledge Bases";
Vortrag: International Workshop on Description Logics (DL),
Rome, Italy;
07.06.2012
- 10.06.2012; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)",
Y. Kazakov, D. Lembo, F. Wolter (Hrg.);
(2012),
ISSN: 1613-0073;
S. 81
- 91.
Zusätzliche Informationen
M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
"Conjunctive Regular Path Queries in Lightweight Description Logics";
Vortrag: Twenty-third International Conference on Artificial Intelligence (IJCAI-13),
Beijing, China;
03.08.2013
- 09.08.2013; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence",
F. Rossi (Hrg.);
AAAI Press,
(2013),
ISBN: 978-1-57735-633-2;
S. 761
- 767.
Zusätzliche Informationen
M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
"Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results";
Vortrag: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015),
Lima, Peru;
06.05.2015
- 08.05.2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015",
CEUR Workshop Proceedings,
1378
(2015),
ISSN: 1613-0073;
S. 162
- 171.
Zusätzliche Informationen
M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao:
"Tractability Guarantees for DL-Lite Query Answering";
Vortrag: International Workshop on Description Logics (DL),
Ulm, Germany;
23.07.2013
- 26.07.2013; in: "Informal Proceedings of the 26th International Workshop on Description Logics",
T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (Hrg.);
CEUR Workshop Proceedings,
1014
(2013),
ISSN: 1613-0073;
S. 41
- 52.
Zusätzliche Informationen
M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao:
"Tractable Queries for Lightweight Description Logics";
Vortrag: Twenty-third International Conference on Artificial Intelligence (IJCAI-13),
Beijing, China;
03.08.2013
- 09.08.2013; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence",
F. Rossi (Hrg.);
AAAI Press,
(2013),
ISBN: 978-1-57735-633-2;
S. 768
- 774.
Zusätzliche Informationen
K. Böhm, M. Ortiz de la Fuente:
"A Tool for Building Topic-specific Ontologies Using a Knowledge Graph";
Vortrag: 31st International Workshop on Description Logics (DL 2018),
Tempe, AZ, USA;
27.10.2018
- 29.10.2018; in: "Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.",
CEUR Workshop Proceedings,
2211
(2018),
Paper-Nr. 10,
12 S.
Zusätzliche Informationen
D. Calvanese, D. Carbotta, M. Ortiz de la Fuente:
"A Practical Automata-Based Technique for Reasoning in Expressive Description Logics";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Barcelona, Spain;
16.07.2011
- 22.07.2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence",
T. Walsh (Hrg.);
(2011),
ISBN: 978-1-57735-516-8;
S. 798
- 804.
Zusätzliche Informationen
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach";
Vortrag: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence,
Vancouver, British Columbia, Canada;
22.07.2007
- 26.07.2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence",
AAAI Press,
(2007),
ISBN: 978-1-57735-323-2;
S. 391
- 396.
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Regular Path Queries in Expressive Description Logics with Nominals";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Pasadena, California;
11.07.2009
- 17.07.2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)",
C. Boutilier (Hrg.);
AAAI Press,
(2009),
S. 714
- 720.
Zusätzliche Informationen
D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Containment of Regular Path Queries under Description Logic Constraints";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Barcelona, Spain;
16.07.2011
- 22.07.2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence",
T. Walsh (Hrg.);
(2011),
ISBN: 978-1-57735-516-8;
S. 805
- 812.
Zusätzliche Informationen
D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Evolving Graph Databases under Description Logic Constraints";
Vortrag: International Workshop on Description Logics (DL),
Ulm, Germany;
23.07.2013
- 26.07.2013; in: "Informal Proceedings of the 26th International Workshop on Description Logics",
T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (Hrg.);
CEUR Workshop Proceedings,
1014
(2013),
ISSN: 1613-0073;
S. 120
- 131.
Zusätzliche Informationen
D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Verification of Evolving Graph-structured Data under Expressive Path Constraints";
Vortrag: International Conference on Database Theory - ICDT 2016,
Bordeaux;
15.03.2016
- 18.03.2016; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016",
W. Martens, T. Zeume (Hrg.);
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
LIPIcs 48
(2016),
S. 1
- 19.
Zusätzliche Informationen
D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
"The Complexity of Conjunctive Query Abduction in DL-Lite";
Vortrag: International Workshop on Description Logics (DL),
Barcelon, Spain;
13.07.2011
- 16.07.2011; in: "CEUR Workshop Proceedings",
R. Rosati, S. Rudolph, M. Zakharyaschev (Hrg.);
CEUR Workshop Proceedings,
745
(2011),
ISSN: 1613-0073;
Paper-Nr. 49,
11 S.
Zusätzliche Informationen
D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
"The Complexity of Explaining Negative Query Answers in DL-Lite";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Rome, Italy;
10.06.2012
- 14.06.2012; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012",
G. Brewka, T. Eiter, S. McIlraith (Hrg.);
AAAI Press,
(2012),
ISBN: 978-1-57735-560-1;
S. 583
- 587.
Zusätzliche Informationen
C. Cauli, M. Ortiz de la Fuente, N. Piterman:
"Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security";
Vortrag: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning,
Online;
03.11.2021
- 12.11.2021; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning",
(2021),
ISSN: 2334-1033;
S. 174
- 183.
Zusätzliche Informationen
C. Cauli, M. Ortiz de la Fuente, N. Piterman:
"Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract)";
Vortrag: International Workshop on Description Logics,
Bratislava, Slovakia;
19.09.2021
- 22.09.2021; in: "Proceedings of the 34th International Workshop on Description Logics (DL 2021)",
CEUR Workshop Proceedings,
2954
(2021),
ISSN: 1613-0073.
T. Eiter, G. Gottlob, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic Horn-SHIQ";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Dresden, Germany;
28.09.2008
- 01.10.2008; in: "Logics in Artificial Intelligence (JELIA 08)",
S. Hölldobler, C. Lutz, H. Wansing (Hrg.);
Lecture Notes in Artificial Intelligence,
5293
(2008),
ISBN: 978-3-540-87802-5;
S. 166
- 179.
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in Description Logics with Transitive Roles";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Pasadena, California;
11.07.2009
- 17.07.2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)",
C. Boutilier (Hrg.);
AAAI Press,
(2009),
S. 759
- 764.
Zusätzliche Informationen
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in Description Logics: The Knots Approach";
Hauptvortrag: International Workshop on Logic, Language, Information and Computation (WoLLIC),
Tokyo, Japan (eingeladen);
21.06.2009
- 24.06.2009; in: "Proceedings of the 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Lecture Notes in Computer Science 5514",
H. Ono, M. Kanazawa, R. de Queiroz (Hrg.);
Springer Lecture Notes in Computer Science,
Heidelberg
(2009),
ISBN: 978-3-642-02260-9;
S. 26
- 36.
Zusätzliche Informationen
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Reasoning Using Knots";
Hauptvortrag: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR),
Doha, Qatar (eingeladen);
22.11.2008
- 27.11.2008; in: "15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR08)",
I. Cervesato, H. Veith, A. Voronkov (Hrg.);
Lecture Notes in Computer Science, Springer,
Volume 5330
(2008),
ISBN: 978-3-540-89438-4;
S. 377
- 390.
T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
"Query Rewriting for Horn-SHIQ Plus Rules";
Vortrag: Twenty-Sixth AAAI Conference on Artificial Intelligence,
Toronto, Ontario, Canada;
22.07.2012
- 26.07.2012; in: "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence",
J. Hoffmann, B. Selman (Hrg.);
AAAI Press,
(2012),
ISBN: 978-1-57735-568-7;
S. 726
- 733.
Zusätzliche Informationen
T. Eiter, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
"Towards Practical Query Answering for Horn SHIQ.";
Vortrag: International Workshop on Description Logics (DL),
Rome, Italy;
07.06.2012
- 10.06.2012; in: "Proc. of the 2012 International Workshop on Description Logics (DL 2012)",
Y. Kazakov, D. Lembo, F. Wolter (Hrg.);
CEUR workshop proceedings,
846
(2012),
ISSN: 1613-0073;
S. 158
- 168.
Zusätzliche Informationen
C. Fermüller, M. Hofer, M. Ortiz de la Fuente:
"Querying with Vague Quantifiers Using Probabilistic Semantics";
Vortrag: 12th International Conference on Flexible Query Answering Systems, London, UK, June 21-22, 2017,
London;
21.06.2017
- 22.06.2017; in: "Proceedings of Flexible Query Answering Systems 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017",
H. Christiansen et al. (Hrg.);
Springer,
(2017),
ISBN: 978-3-319-59692-1;
S. 15
- 27.
T. Gogacz, V. Gutierrez-Basulto, Y.A. Ibanez Garcia, F. Murlak, M. Ortiz de la Fuente, M. Simkus:
"Ontology Focusing: Knowledge-Enriched Databases on Demand";
Vortrag: ECAI 2020,
Santiago de Compostela, Spain;
29.08.2020
- 05.09.2020; in: "ECAI 2020 - 24th European Conference on Artificial Intelligence",
Frontiers in Artificial Intelligence and Applications,
325
(2020),
ISBN: 978-1-64368-100-9;
S. 745
- 752.
Zusätzliche Informationen
T. Gogacz, S. Lukumbuzya, M. Simkus, M. Ortiz de la Fuente:
"Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates";
Vortrag: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020,
Rhodes, Greece;
12.09.2020
- 18.09.2020; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020",
D. Calvanese, E. Erdem, M. Thielscher (Hrg.);
AAAI Press,
(2020),
ISSN: 2334-1033;
S. 434
- 444.
Zusätzliche Informationen
N. Labai, M. Homola, M. Ortiz de la Fuente:
"Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)";
Vortrag: 30th International Workshop on Description Logics,
Montpellier, France;
18.07.2017
- 21.07.2017; in: "Proceedings of the 30th International Workshop on Description Logics",
A. Artale, B. Glimm, R. Kontchakov (Hrg.);
CEUR Workshop Proceedings,
1879
(2017),
ISSN: 1613-0073;
S. 1
- 13.
N. Labai, T. Kotek, M. Ortiz de la Fuente, H. Veith:
"Pebble-Intervals Automata and FO2 with Two Orders";
Vortrag: Language and Automata Theory and Applications (LATA),
Milan, Italy;
04.03.2020
- 06.03.2020; in: "14th International Conference on Language and Automata Theory and Applications",
Lecture Notes in Computer Science (LNCS),
12038
(2020),
ISBN: 978-3-030-40608-0;
S. 208
- 221.
Zusätzliche Informationen
N. Labai, M. Simkus, M. Ortiz de la Fuente:
"An ExpTime Upper Bound for ALC with Integers";
Vortrag: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020,
Rhodes, Greece;
12.09.2020
- 18.09.2020; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020",
D. Calvanese, E. Erdem, M. Thielscher (Hrg.);
AAAI Press,
(2020),
ISSN: 2334-1033;
S. 614
- 623.
Zusätzliche Informationen
N. Ngo, M. Ortiz de la Fuente, M. Simkus:
"Closed Predicates in Description Logics: Results on Combined Complexity";
Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management,
Panama City, Panama;
08.05.2016
- 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016",
R. Pichler, A. da Silva (Hrg.);
CEUR Workshop Proceedings,
1644
(2016),
Paper-Nr. 8,
5 S.
Zusätzliche Informationen
N. Ngo, M. Ortiz de la Fuente, M. Simkus:
"Closed Predicates in Description Logics: Results on Combined Complexity";
Vortrag: 15th International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016,
Cape Town, South Africa;
24.04.2016
- 29.04.2016; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.",
C. Baral, J. Delgrande, F. Wolter (Hrg.);
AAAI Press,
(2016),
S. 237
- 246.
Zusätzliche Informationen
N. Ngo, M. Ortiz de la Fuente, M. Simkus:
"The Combined Complexity of Reasoning with Closed Predicates in Description Logics";
Vortrag: 28th International Workshop on Description Logics,
Athens,Greece;
07.06.2015
- 10.06.2015; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015",
D. Calvanese, B. Konev (Hrg.);
CEUR Workshop Proceedings,
1350
(2015),
ISSN: 1613-0073;
S. 249
- 261.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"A Fully Internalized Sequent Calculus for Hybrid Categorial Logics";
Vortrag: Student Session of the European Summer School in Logic, Language and Information (ESSLLI),
Malaga, Spain;
31.07.2006
- 11.08.2006; in: "Proceedings of the Eleventh ESSLLI Student Session",
J. Huitink, S. Katrenko (Hrg.);
(2006),
S. 136
- 147.
M. Ortiz de la Fuente:
"An Automata-based algorithm for description logics around SRIQ";
Vortrag: Latin American Workshop on Non-Monotonic Reasoning,
Puebla, Mexico;
22.10.2008
- 24.10.2008; in: "Fourth Latin American Workshop on Non-Monotonic Reasoning",
M. Osorio, I. Olmos (Hrg.);
CEUR Workshop Proceedings,
408
(2008),
ISSN: 1613-0073;
Paper-Nr. 1,
15 S.
M. Ortiz de la Fuente:
"Complexity of Query Answering over Expressive Knowledge Bases";
Vortrag: MICAI 2008: 7th Mexican International Conference on Artificial Intelligence,
Mexico;
27.10.2008
- 31.10.2008; in: "Proceedings of MICAI-2008, Doctoral Consortium",
M. Montes y Gomez, M. Gonzalez Mendoza (Hrg.);
(2008),
S. 22
- 25.
M. Ortiz de la Fuente:
"Extending Carin to the Description Logics of the SH Family";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Dresden, Deutschland (eingeladen);
28.09.2008
- 01.10.2008; in: "Logics in Artificial Intelligence (JELIA 08)",
S. Hölldobler, C. Lutz, H. Wansing (Hrg.);
Lecture Notes in Artificial Intelligence,
5293
(2008),
ISBN: 978-3-540-87802-5;
S. 324
- 337.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"From Complete to Incomplete Data and Back in Ontology-Enriched Databases";
Hauptvortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management,
Asuncion, Paraguay (eingeladen);
03.06.2019
- 07.06.2019; in: "Aidan Hogan, Tova Milo: Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunción, Paraguay, June 3-7, 2019",
A. Hogan, T. Milo (Hrg.);
CEUR Workshop proceedings,
2369
(2019),
ISSN: 1613-0073.
M. Ortiz de la Fuente:
"Improving Data Management using Domain Knowledge";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Stockholm, Sweden (eingeladen);
13.06.2018
- 19.06.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.",
(2018),
ISBN: 978-0-9992411-2-7;
S. 5709
- 5713.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Ontologies for On-Demand Designof Data-Centric Systems";
Hauptvortrag: International Conference on Formal Concept Analysis ICFCA,
Strasbourg, France (eingeladen);
29.06.2021
- 02.07.2021; in: "Formal Concept Analysis 16th International Conference, ICFCA 2021Strasbourg, France, June 29-July 2, 2021Proceedings",
Springer Lecture Notes in Computer Science,
12733
(2021),
ISBN: 978-3-030-77867-5;
S. xi.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Ontology Based Query Answering: The Story So Far";
Hauptvortrag: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management,
Puebla, Mexiko (eingeladen);
21.05.2013
- 23.05.2013; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management",
L. Bravo, M. Lenzerini (Hrg.);
CEUR Workshop Proceedings,
1087
(2013),
ISSN: 1613-0073;
S. 1
- 14.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Ontology-mediated queries from examples: a glimpse at the DL-Lite case";
Vortrag: GCAI 2019. 5th Global Conference on Artificial Intelligence,
Bolzano, Italy;
17.09.2019
- 19.09.2019; in: "GCAI 2019. 5th Global Conference on Artificial Intelligence",
D. Calvanese, L. Iocchi (Hrg.);
EPiC Series in Computing, Easychair,
65
(2019),
ISSN: 2398-7340;
S. 1
- 14.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Rewritability Results for OMQs with Closed Predicates";
Vortrag: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020),
Rhodes, Greece (eingeladen);
12.09.2020
- 14.09.2020; in: "Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)",
CEUR Workshop Proceedings,
2663
(2020),
ISSN: 1613-0073.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics";
Poster: National Conference on Artificial Intelligence (AAAI),
Boston, USA;
16.07.2006
- 20.07.2006; in: "Proceedings 21th National Conference on Artificial Intelligence (AAAI '06), July 16-23, 2006, Boston, USA ISBN 978-1-57735-281-5",
AAAI Press,
(2006),
ISBN: 978-1-57735-281-5;
S. 275
- 280.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data Complexity of Answering Unions of Conjunctive Queries in SHIQ";
Vortrag: International Workshop on Description Logics (DL),
Windermere, Lake District, UK;
30.05.2006
- 01.06.2006; in: "Proceedings of the 2006 International Workshop on Description Logics (DL'06). Windermere, Lake District, UK, May 30-June 1, 2006",
B. Parsi, U. Sattler, D. Toman (Hrg.);
CEUR Workshop Proceedings,
189
(2006),
S. 62
- 73.
M. Ortiz de la Fuente, S. Rudolph, M. Simkus:
"Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Toronto, Canada;
09.05.2010
- 13.05.2010; in: "Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)",
F. Lin, U. Sattler, M. Truszczynski (Hrg.);
AAAI Press, Menlo Park,
(2010),
ISBN: 978-1-57735-452-9;
S. 269
- 279.
Zusätzliche Informationen
M. Ortiz de la Fuente, M. Simkus:
"Reasoning and Query Answering in Description Logics";
Vortrag: Reasoning Web, International Summer School,
Wien (eingeladen);
03.09.2012
- 08.09.2012; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering",
T. Eiter, T. Krennwallner (Hrg.);
Springer LNCS,
7487
(2012),
ISBN: 978-3-642-33157-2;
S. 1
- 53.
Zusätzliche Informationen
M. Ortiz de la Fuente, M. Simkus:
"Revisiting the Hardness of Query Answering in Expressive Description Logics";
Vortrag: RR 2014, 8th International Conference Web Reasoning and Rule Systems,
Athens, Greece;
15.09.2014
- 17.09.2014; in: "Web Reasoning and Rule Systems. 8th International Conference, Proceedings",
R. Kontchakov, M. Mugnier (Hrg.);
Springer Lecture Notes in Computer Science,
8714
(2014),
ISBN: 978-3-319-11112-4;
S. 216
- 223.
Zusätzliche Informationen
M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Conjunctive Query Answering in SH using Knots";
Vortrag: International Workshop on Description Logics (DL),
Dresden, Germany;
13.05.2008
- 16.05.2008; in: "Proceedings of the 21st International Workshop on Description Logics (DL2008)",
F. Baader, C. Lutz, B. Motik (Hrg.);
CEUR Workshop proceedings,
353
(2008),
ISSN: 1613-0073;
11 S.
M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses";
Vortrag: National Conference on Artificial Intelligence (AAAI),
Chicago, USA;
13.07.2008
- 17.07.2008; in: "23rd AAAI Conference on Artificial Intelligence",
D. Fox, C.P. Gomes (Hrg.);
AAAI Press,
(2008),
ISBN: 978-1-57735-368-3;
S. 504
- 510.
M. Ortiz de la Fuente, M. Simkus, S. Lukumbuzya:
"Answer Set Programs Challenged by Ontologies";
Vortrag: International Workshop on Description Logics,
Oslo, Norway;
18.06.2019
- 21.06.2019; in: "32nd International Workshop on Description Logics",
M. Simkus, G. Weddell (Hrg.);
CEUR Workshop proceedings,
2373
(2019),
ISSN: 1613-0073.
M. Ortiz de la Fuente, M. Simkus, S. Lukumbuzya:
"Resilient Logic Programs: Answer Set Programs Challenged by Ontologies";
Vortrag: 34th AAAI Conference on Artificial Intelligence (AAAI-20),
New York, New York, USA;
07.02.2020
- 12.02.2020; in: "The Thirty-Forth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, New York, USA, February 7 - 12, 2020",
V. Conitzer, F. Sha (Hrg.);
AAAI-20 Technical Tracks,
Vol. 34 No. 03
(2020),
ISSN: 2374-3468;
S. 2917
- 2924.
Zusätzliche Informationen
M. Ortiz de la Fuente, M. Simkus, S. Rudolph:
"Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Barcelona, Spain;
16.07.2011
- 22.07.2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence",
T. Walsh (Hrg.);
(2011),
ISBN: 978-1-57735-516-8;
S. 1039
- 1044.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
M. Bienvenu, M. Ortiz de la Fuente:
"Query Answering with Description Logic Ontologies";
Vortrag: 28th European Summer School in Logic, Language and Information,
Bolzano, Italy;
22.08.2016
- 26.08.2016.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Expressive Ontology and Query Languages for Data Access and Management";
Hauptvortrag: 12th Reasoning Web Summer School (RW 2016),
Aberdeen, Scotland (eingeladen);
05.09.2016
- 09.09.2016.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Query Answering in Horn-SHIQ";
Vortrag: Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano,
Bolzano, Italy (eingeladen);
14.12.2009.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Query Answering over expressive DL Ontologies";
Vortrag: Seminar of the Artificial Intelligence Department, Technical University of Madrid (DIA - UPM),
Technical University of Madrid, Madrid, Spain (eingeladen);
01.06.2009.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Querying Description Logic Knowledge Bases: automata-theoretic techniques";
Vortrag: Moscow-Vienna Workshop on Logic and Computation 2009,
Wien (eingeladen);
29.06.2009
- 02.07.2009.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Querying Expressive Knowledge Bases";
Vortrag: Seminar of the Artificial Intelligence Research Group, University Rey Juan Carlos (GIA - URJC),
University Rey Juan Carlos. Madrid, Spain (eingeladen);
14.01.2009.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"Reasoning and Query Answering in Description Logics";
Vortrag: School of the Alberto Mendelzon International Workshop on Foundations of Data Management,
Puebla, Mexico (eingeladen);
19.05.2013
- 20.05.2013.
Zusätzliche Informationen
M. Ortiz de la Fuente:
"The combined complexity of query answering in expressive DLs";
Vortrag: Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano,
Bolzano, Italy (eingeladen);
11.11.2008.
Zusätzliche Informationen
M. Ortiz de la Fuente, M. Simkus:
"Managing Change in Graph-Structured Data Using Description Logics";
Vortrag: Workshop on New Trends in Belief Change,
Vienna;
10.05.2016.
Zusätzliche Informationen
M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Reasoning with knots";
Vortrag: Tutorial sessions, Faculty of Computer Sicience, BUAP,
Puebla, Mexiko (eingeladen);
09.07.2009.
Zusätzliche Informationen
Habilitationsschriften
M. Ortiz de la Fuente:
"Improving Data Management Using Ontologies";
Informatik, TU Wien,
2019.
Dissertationen (eigene und begutachtete)
L. Bajraktari:
"Querying Rich Ontologies by Exploiting the Structure of Data";
Betreuer/in(nen), Begutachter/in(nen): M. Ortiz de la Fuente, D. Lembo, S. Rudolph;
Logic and Computation (E192),
2019;
Rigorosum: 09.01.2020.
M. Ortiz de la Fuente:
"Query Answering in Expressive Description Logics; Techniques and Complexity Results";
Betreuer/in(nen), Begutachter/in(nen): T. Eiter, D. Calvanese;
Institut fuer Informationssysteme - AB Wissensbasierte Systeme,
2010;
Rigorosum: 25.05.2010.
Zusätzliche Informationen
Diplom- und Master-Arbeiten (eigene und betreute)
K. Böhm:
"Semi-Automatic Engineering of Topic Ontologies from a Common-Sense Knowledge Graph";
Betreuer/in(nen): M. Ortiz de la Fuente;
Logic and Computation,
2018.
M. Ortiz de la Fuente:
"Answering Conjunctive Queries in Expressive Description Logics";
Betreuer/in(nen): T. Eiter, D. Calvanese;
Institut fuer Informationssysteme, Abteilung Wissensbasierte Systeme 184/3,
2006;
Abschlussprüfung: 23.06.2006.
M. Ortiz de la Fuente:
"Nelson's Logics and the Answer Set Semantics";
Betreuer/in(nen): M. Osorio;
Faculty of Computer Science, University of the Americas, Puebla (UDLAP). Mexico,
2004;
Abschlussprüfung: 29.09.2004.
Wissenschaftliche Berichte
M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic S";
Bericht für TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-10-01;
Berichts-Nr. INFSYS RR 1843-10-01,
2010;
18 S.
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR-1843-09-04,
2009;
46 S.
Zusätzliche Informationen
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering regular path queries in expressive description logics: An automata-theoretic approach (Preliminary Version)";
Bericht für TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme;
Berichts-Nr. INFSYS RR-1843-08-05,
2008;
34 S.
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles";
Bericht für TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme;
Berichts-Nr. INFSYS RR-1843-08-09,
2008;
17 S.
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query answering in description logics with transitive roles";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR-1843-09-02,
2009;
32 S.
Zusätzliche Informationen
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Conjunctive Query Answering in the Description Logic SH using Knots";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR-1843-09-03,
2009;
37 S.
Zusätzliche Informationen
C. Feier, T. Eiter, M. Kifer, A. Mosca, M. Rezk, R. Rosati, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
"D3.4 Converged and Optimized Combinations of Rules and Ontologies";
Bericht für ONTORULE project;
Berichts-Nr. D3.4,
2011;
163 S.
Zusätzliche Informationen
T. Gogacz, V. Gutierrez-Basulto, Y.A. Ibanez Garcia, F. Murlak, M. Ortiz de la Fuente, M. Simkus:
"Ontology Focusing: Knowledge-enriched Databases on Demand";
Bericht für CoRR;
Berichts-Nr. 1904.00195,
2019;
21 S.
Zusätzliche Informationen
N. Labai, T. Kotek, M. Ortiz de la Fuente, H. Veith:
"Pebble-Intervals Automata and FO2 with Two Orders (Extended Version";
Bericht für CoRR;
Berichts-Nr. 1912.00171,
2019;
45 S.
Zusätzliche Informationen
N. Labai, M. Simkus, M. Ortiz de la Fuente:
"An ExpTime Upper Bound for ALC with Integers (Extended Version)";
Bericht für arXiv;
Berichts-Nr. 2006.02078,
2020;
36 S.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data Complexity of Query Answering in Expressive Description Logics with Nominals";
Bericht für TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-03;
Berichts-Nr. INFSYS RR-1843-06-03,
2006;
44 S.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data Complexoty of Query Answering In Expressive Description Logics via Tableaux";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR 1843-07-07,
2007;
48 S.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter, E. Franconi:
"Data Complexity of Answering Conjunctive Queries over SHIQ Knowledge Bases";
Bericht für Free University of Bolzano, Faculty of Informatics, Bolzano, Italy;
2005;
22 S.
M. Ortiz de la Fuente, S. Rudolph, M. Simkus:
"Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. INFSYS RR 1843-10-03,
2010;
18 S.
