0
Hopp til hovedinnhold

Ana Helena Ozaki Rivera Castillo

Førsteamanuensis II

Vitenskapelige publikasjoner

  • Hermo, Montserrat; Ozaki, Ana (2020). Exact Learning: On the Boundary between Horn and CNF. ACM Transactions on Computation Theory. ISSN: 1942-3454. 12 (1). doi:10.1145/3369930.
  • Ozaki, Ana; Persia, Cosimo; Mazzullo, Andrea (2020). Learning Query Inseparable ELH Ontologies. The Thirty-Fourth Conference on Artificial Intelligence, AAAI. ISBN: 978-1-57735-823-7. AAAI Press. Learning Query Inseparable ELH Ontologies. s 2959 - 2966.
  • Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika (2020). Metric Temporal Description Logics with Interval-Rigid Names. ACM Transactions on Computational Logic. ISSN: 1529-3785. 21 (4). doi:10.1145/3399443.
  • Ozaki, Ana (2020). On the Complexity of Learning Description Logic Ontologies. Reasoning Web. Declarative Artificial Intelligence. ISBN: 978-3-030-60067-9. Springer. KAPITTEL. s 36 - 52.
  • Persia, Cosimo; Ozaki, Ana (2020). On the Learnability of Possibilistic Theories. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. ISBN: 978-0-9992411-6-5. International Joint Conferences on Artificial Intelligence. On the Learnability of Possibilistic Theories. s 1870 - 1876.
  • Bourgaux, Camille; Ozaki, Ana; Peñaloza, Rafael; Predoiu, Livia (2020). Provenance for the Description Logic ELHr. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. ISBN: 978-0-9992411-6-5. International Joint Conferences on Artificial Intelligence. 0258. s 1862 - 1869.
  • Ullrich, Hustadt; Ozaki, Ana; Dixon, Clare (2020). Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. Journal of automated reasoning. ISSN: 0168-7433.
  • Artale, Alessandro; Mazzullo, Andrea; Ozaki, Ana (2019). Do You Need Infinite Time?. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019. ISBN: 978-0-9992411-4-1. International Joint Conferences on Artificial Intelligence. Do You Need Infinite Time?. s 1516 - 1522.
  • Calvanese, Diego; Lanti, Davide; Ozaki, Ana; Peñaloza, Rafael; Xiao, Guohui (2019). Enriching Ontology-based Data Access with Provenance. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019. ISBN: 978-0-9992411-4-1. International Joint Conferences on Artificial Intelligence. Enriching Ontology-based Data Access with Provenance.
  • Ozaki, Ana; Troquard, Nicola (2019). Learning Ontologies with Epistemic Reasoning: The EL Case. Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. ISBN: 978-3-030-19569-4. Springer. Learning Ontologies with Epistemic Reasoning: The EL Case.
  • Ozaki, Ana; Bourgaux, Camille (2019). Querying Attributed DL-Lite Ontologies Using Provenance Semirings. Proceedings of the AAAI Conference on Artificial Intelligence. ISBN: 978-1-57735-809-1. AAAI Press. Querying Attributed DL-Lite Ontologies Using Provenance Semirings. s 2719 - 2726.
  • Ozaki, Ana; Krotzsch, Markus; Rudolph, Sebastian (2019). Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That. ISBN: 978-3-030-22101-0. Springer. Temporally Attributed Description Logics.
  • Krotzsch, Markus; Maximilian, Marx; Ozaki, Ana; Thost, Veronika (2018). Attributed Description Logics: Reasoning on Knowledge Graphs. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. ISBN: 978-0-9992411-2-7. ijcai.org. Attributed Description Logics: Reasoning on Knowledge Graphs.
  • Ozaki, Ana; Peñaloza, Rafael (2018). Consequence-Based Axiom Pinpointing. Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. ISBN: 978-3-030-00460-6. Springer. Consequence-Based Axiom Pinpointing.
  • Konev, Boris; Lutz, Carsten; Ozaki, Ana; Wolter, Frank (2018). Exact Learning of Lightweight Description Logic Ontologies. Journal of machine learning research. ISSN: 1532-4435.
  • Ozaki, Ana; Hermo, Montserrat (2018). Exact learning of multivalued dependency formulas. Theoretical Computer Science. ISSN: 0304-3975.
  • Duarte, Ricardo; Konev, Boris; Ozaki, Ana (2018). ExactLearner: A Tool for Exact Learning of EL Ontologies. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. ISBN: 978-1-57735-803-9. AAAI Press. ExactLearner: A Tool for Exact Learning of EL Ontologies.
  • Carral, David; Krotzsch, Markus; Maximilian, Marx; Ozaki, Ana; Rudolph, Sebastian (2018). Preserving Constraints with the Stable Chase. 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria. ISBN: 978-3-95977-063-7. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Preserving Constraints with the Stable Chase.
  • Krotzsch, Markus; Maximilian, Marx; Ozaki, Ana; Thost, Veronika (2017). Attributed Description Logics: Ontologies for Knowledge Graphs. The Semantic Web – ISWC 2017. 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings. ISBN: 9783319682037. Springer. Attributed Description Logics: Ontologies for Knowledge Graphs.
  • Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika (2017). Metric Temporal Description Logics with Interval-Rigid Names. Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. ISBN: 978-3-319-66166-7. Springer. (Conference version).
  • Hustadt, Ullrich; Ozaki, Ana; Dixon, Clare (2017). Theorem Proving for Metric Temporal Logic over the Naturals. Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. ISBN: 978-3-319-63045-8. Springer. Theorem Proving for Metric Temporal Logic over the Naturals.
  • Ozaki, Ana; Konev, Boris; Wolter, Frank (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning. Proceedings of the 30th National Conference on Artificial Intelligence‚ AAAI 2016. ISBN: 978-1-57735-760-5. AAAI Press. A Model for Learning Description Logic Ontologies Based on Exact Learning.
  • Basulto, Víctor; Jung, jean; Ozaki, Ana (2016). On Metric Temporal Description Logics. ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). ISBN: 978-1-61499-671-2. IOS Press. European Conference on Artificial Intelligence.
  • Hermo, Montserrat; Ozaki, Ana (2015). Exact Learning of Multivalued Dependencies. Algorithmic Learning Theory - 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings. ISBN: 978-3-319-24485-3. Springer. Exact Learning of Multivalued Dependencies.
  • Hernich, André; Lutz, Carsten; Ozaki, Ana; Wolter, Frank (2015). Schema.org as a Description Logi. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. ISBN: 978-1-57735-738-4. AAAI Press. Schema.org as a Description Logi.
  • Konev, Boris; Lutz, Carsten; Ozaki, Ana; Wolter, Frank (2014). Exact Learning of Lightweight Description Logic Ontologies. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. ISBN: 978-1-57735-657-8. AAAI Press. Exact Learning of Lightweight Description Logic Ontologies.
  • Muñoz-Velasco, Emilio; Ozaki, Ana; Theobald, Martin (2020). 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy.. ISBN: 978-3-95977-167-2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. s 292.
  • Ozaki, Ana (2020). On the Complexity of Learning Description Logic Ontologies.

Sist endret: Aldri.