Ana Ozaki

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 96

Top Topics

Extended Abstract

Multivalued Dependencies

Description Logics

Top Venues

Description Logics

Publications

Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi
Actively Learning Ontologies from LLMs: First Results (Extended Abstract). Description Logics (2024)
Ana Ozaki, Jandson S. Ribeiro
Eviction and Reception for Description Logic Concepts (Extended Abstract). Description Logics (2024)
Balder ten Cate, Raoul Koudijs, Ana Ozaki
On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). Description Logics (2024)
Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb
Learning Horn envelopes via queries from language models. Int. J. Approx. Reason. 171 (2024)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. ACM Trans. Comput. Log. 25 (2) (2024)
Victor Lacerda, Ana Ozaki, Ricardo Guimarães
Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract). Description Logics (2024)
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
Semiring Provenance for Lightweight Description Logics. CoRR (2023)
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Finite Based Contraction and Expansion via Models. CoRR (2023)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
Non-Normal Modal Description Logics (Extended Version). CoRR (2023)
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Eviction and Reception for Description Logic Ontologies (Preliminary Results). NMR (2023)
Kristoffer Æsøy, Ana Ozaki
Rule Learning as Machine Translation using the Atomic Knowledge Bank. CoRR (2023)
Anders Imenes, Ricardo Guimarães, Ana Ozaki
Marrying Query Rewriting and Knowledge Graph Embeddings. RuleML+RR (2023)
Emilia Przybysz, Bimal Bhattarai, Cosimo Persia, Ana Ozaki, Ole-Christoffer Granmo, Jivitesh Sharma
Verifying Properties of Tsetlin Machines. CoRR (2023)
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Finite Based Contraction and Expansion via Models. AAAI (2023)
Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
Mining ℰℒ⊥ Bases with Adaptable Role Depth. J. Artif. Intell. Res. 76 (2023)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24 (4) (2023)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
Non-Normal Modal Description Logics. JELIA (2023)
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
Eviction and Reception for Description Logic Ontologies (Extended Abstract). Description Logics (2023)
Victor Lacerda, Ana Ozaki, Ricardo Guimarães
Strong Faithfulness for ELH Ontology Embeddings. CoRR (2023)
Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb
Learning Horn Envelopes via Queries from Large Language Models. CoRR (2023)
Philip Turk, Ana Ozaki
Learning Zero Noise Extrapolation for Deterministic Quantum Circuits. QCE (2022)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Reasoning in Non-normal Modal Description Logics. ARQNL@IJCAR (2022)
Ricardo Guimarães, Ana Ozaki
Reasoning in Knowledge Graphs (Invited Paper). AIB (2022)
Ana Ozaki, Anum Rehman, Philip Turk, Marija Slavkovik
Finding Common Ground for Incoherent Horn Expressions. CoRR (2022)
Cosimo Persia, Ana Ozaki
Extracting Rules from Neural Networks with Partial Interpretations. NLDL (2022)
Johanna Jøsang, Ricardo Guimarães, Ana Ozaki
On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach. CoRR (2022)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. CoRR (2022)
Cosimo Persia, Ana Ozaki
Extracting Rules from Neural Networks with Partial Interpretations. CoRR (2022)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Reasoning in Non-normal Modal Description Logics. CoRR (2022)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. CoRR (2021)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI (2021)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. KR (2021)
Camille Bourgaux, Ana Ozaki, Jeff Z. Pan
Geometric Models for (Temporally) Attributed Description Logics. CoRR (2021)
Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
Revising Ontologies via Models: The ALC-formula Case. CoRR (2021)
Camille Bourgaux, Ana Ozaki, Jeff Z. Pan
Geometric Models for (Temporally) Attributed Description Logics. Description Logics (2021)
Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
Mining EL Bases with Adaptable Role Depth. AAAI (2021)
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki
Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract). Description Logics (2021)
Ana Ozaki
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand? CoRR (2021)
Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
Mining EL Bases with Adaptable Role Depth. CoRR (2021)
Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract). Description Logics (2021)
Ana Ozaki
On the Complexity of Learning Description Logic Ontologies. CoRR (2021)
Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
Revising Ontologies via Models: The ALC-formula Case. Description Logics (2021)
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
Provenance for the Description Logic ELHr. CoRR (2020)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. 21 (4) (2020)
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
Provenance for the Description Logic ELHr (Extended Abstract). Description Logics (2020)
Montserrat Hermo, Ana Ozaki
Exact Learning: On the Boundary between Horn and CNF. ACM Trans. Comput. Theory 12 (1) (2020)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics (2020)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. Description Logics (2020)
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
Automated Reasoning in Temporal DL-Lite (Extended Abstract). Description Logics (2020)
Cosimo Persia, Ana Ozaki
On the Learnability of Possibilistic Theories. CoRR (2020)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR (2020)
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
Learning Query Inseparable ELH Ontologies (Extended Abstract). Description Logics (2020)
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
Provenance for the Description Logic ELHr. IJCAI (2020)
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
Automated Reasoning in Temporal DL-Lite. CoRR (2020)
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
Learning Query Inseparable εℒℋ Ontologies. AAAI (2020)
Ana Ozaki
On the Complexity of Learning Description Logic Ontologies. Reasoning Web (2020)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Finite vs. Infinite Traces in Temporal Logics. OVERLAY (2020)
Ana Ozaki
Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? Künstliche Intell. 34 (3) (2020)
Ullrich Hustadt, Ana Ozaki, Clare Dixon
Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. J. Autom. Reason. 64 (8) (2020)
Cosimo Persia, Ana Ozaki
On the Learnability of Possibilistic Theories. IJCAI (2020)
Camille Bourgaux, Ana Ozaki
Querying Attributed DL-Lite Ontologies Using Provenance Semirings. AAAI (2019)
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
Learning Query Inseparable ELH Ontologies. CoRR (2019)
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That (2019)
Camille Bourgaux, Ana Ozaki
Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract). Description Logics (2019)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
On Non-normal Modal Description Logics. Description Logics (2019)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Temporal DL-Lite over Finite Traces (Preliminary Results). Description Logics (2019)
Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
Enriching Ontology-based Data Access with Provenance (Extended Version). CoRR (2019)
Ana Ozaki, Nicolas Troquard
Case. JELIA (2019)
Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
Enriching Ontology-based Data Access with Provenance. IJCAI (2019)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Do You Need Infinite Time?. IJCAI (2019)
Ana Ozaki, Nicolas Troquard
Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). Description Logics (2019)
Ana Ozaki, Nicolas Troquard
Learning Ontologies with Epistemic Reasoning: The EL Case. CoRR (2019)
Ana Ozaki, Rafael Peñaloza
Consequence-Based Axiom Pinpointing. SUM (2018)
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics. Description Logics (2018)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Temporal Description Logics over Finite Traces. Description Logics (2018)
Montserrat Hermo, Ana Ozaki
Exact learning of multivalued dependency formulas. Theor. Comput. Sci. 716 (2018)
Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki
Exact Learning of EL Ontologies. Description Logics (2018)
Ana Ozaki, Rafael Peñaloza
Consequence-Based Axiom Pinpointing. CoRR (2018)
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase. ICDT (2018)
Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki
ExactLearner: A Tool for Exact Learning of EL Ontologies. KR (2018)
Ana Ozaki, Rafael Peñaloza
Provenance in Ontology-based Data Access. Description Logics (2018)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI (2018)
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. 18 (2017)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC (1) (2017)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics. Description Logics (2017)
Ullrich Hustadt, Ana Ozaki, Clare Dixon
Theorem Proving for Metric Temporal Logic over the Naturals. CADE (2017)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS (2017)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics (2017)
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies. CoRR (2017)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki
On Metric Temporal Description Logics. ECAI (2016)
Boris Konev, Ana Ozaki, Frank Wolter
A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI (2016)
Montserrat Hermo, Ana Ozaki
New Steps on the Exact Learning of CNF. CoRR (2016)
Montserrat Hermo, Ana Ozaki
Exact Learning of Multivalued Dependencies. ALT (2015)
André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
Schema.org as a Description Logic. Description Logics (2015)
Boris Konev, Ana Ozaki, Frank Wolter
Exact Learning Description Logic Ontologies from Data Retrieval Examples. Description Logics (2015)
André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
Schema.org as a Description Logic. IJCAI (2015)
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies. KR (2014)