default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAna Ozaki
Person information
- affiliation: University of Oslo, Norway
- affiliation (former): University of Bergen, Norway
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j10]Sophie Blum, Raoul Koudijs, Ana Ozaki
, Samia Touileb:
Learning Horn envelopes via queries from language models. Int. J. Approx. Reason. 171: 109026 (2024)- [j9]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): 13:1-13:43 (2024) - 2023
- [j8]Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya:
Mining ℰℒ⊥ Bases with Adaptable Role Depth. J. Artif. Intell. Res. 76: 883-924 (2023) - [j7]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): 34:1-34:51 (2023) - 2020
- [j6]Ullrich Hustadt, Ana Ozaki, Clare Dixon:
Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. J. Autom. Reason. 64(8): 1553-1610 (2020) - [j5]Ana Ozaki:
Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? Künstliche Intell. 34(3): 317-327 (2020) - [j4]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. 21(4): 30:1-30:46 (2020) - [j3]Montserrat Hermo, Ana Ozaki:
Exact Learning: On the Boundary between Horn and CNF. ACM Trans. Comput. Theory 12(1): 4:1-4:25 (2020) - 2018
- [j2]Montserrat Hermo, Ana Ozaki:
Exact learning of multivalued dependency formulas. Theor. Comput. Sci. 716: 4-14 (2018) - 2017
- [j1]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. 18: 201:1-201:63 (2017)
Conference and Workshop Papers
- 2024
- [c62]Balder ten Cate, Raoul Koudijs, Ana Ozaki:
On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). Description Logics 2024 - [c61]Victor Lacerda, Ana Ozaki, Ricardo Guimarães:
Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract). Description Logics 2024 - [c60]Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi:
Actively Learning Ontologies from LLMs: First Results (Extended Abstract). Description Logics 2024 - [c59]Ana Ozaki, Jandson S. Ribeiro:
Eviction and Reception for Description Logic Concepts (Extended Abstract). Description Logics 2024 - [c58]Ana Ozaki:
Actively Learning from Machine Learning Models with Queries and Counterexamples (Extended Abstract). ECAI 2024: 25-26 - [c57]Balder ten Cate, Raoul Koudijs, Ana Ozaki:
On the Power and Limitations of Examples for Description Logic Concepts. IJCAI 2024: 3567-3575 - [c56]Victor Lacerda, Ana Ozaki, Ricardo Guimarães:
FaithEL: Strongly TBox Faithful Knowledge Base Embeddings for Eℒ. RuleML+RR 2024: 191-199 - 2023
- [c55]Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro:
Finite Based Contraction and Expansion via Models. AAAI 2023: 6389-6397 - [c54]Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro:
Eviction and Reception for Description Logic Ontologies (Extended Abstract). Description Logics 2023 - [c53]Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard:
Non-Normal Modal Description Logics. JELIA 2023: 306-321 - [c52]Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro:
Eviction and Reception for Description Logic Ontologies (Preliminary Results). NMR 2023: 43-51 - [c51]Anders Imenes, Ricardo Guimarães, Ana Ozaki:
Marrying Query Rewriting and Knowledge Graph Embeddings. RuleML+RR 2023: 126-140 - 2022
- [c50]Ricardo Guimarães, Ana Ozaki:
Reasoning in Knowledge Graphs (Invited Paper). AIB 2022: 2:1-2:31 - [c49]Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki:
Reasoning in Non-normal Modal Description Logics. ARQNL@IJCAR 2022: 28-45 - [c48]Cosimo Persia, Ana Ozaki:
Extracting Rules from Neural Networks with Partial Interpretations. NLDL 2022 - [c47]Philip Turk, Ana Ozaki:
Learning Zero Noise Extrapolation for Deterministic Quantum Circuits. QCE 2022: 265-274 - 2021
- [c46]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: 6193-6201 - [c45]Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya:
Mining EL Bases with Adaptable Role Depth. AAAI 2021: 6367-6374 - [c44]Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya:
Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract). Description Logics 2021 - [c43]Camille Bourgaux, Ana Ozaki, Jeff Z. Pan:
Geometric Models for (Temporally) Attributed Description Logics. Description Logics 2021 - [c42]Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki:
Revising Ontologies via Models: The ALC-formula Case. Description Logics 2021 - [c41]Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki:
Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract). Description Logics 2021 - [c40]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. KR 2021: 63-73 - 2020
- [c39]Ana Ozaki, Cosimo Persia, Andrea Mazzullo:
Learning Query Inseparable εℒℋ Ontologies. AAAI 2020: 2959-2966 - [c38]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 - [c37]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. Description Logics 2020 - [c36]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu:
Provenance for the Description Logic ELHr (Extended Abstract). Description Logics 2020 - [c35]Ana Ozaki, Cosimo Persia, Andrea Mazzullo:
Learning Query Inseparable ELH Ontologies (Extended Abstract). Description Logics 2020 - [c34]Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki:
Automated Reasoning in Temporal DL-Lite (Extended Abstract). Description Logics 2020 - [c33]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu:
Provenance for the Description Logic ELHr. IJCAI 2020: 1862-1869 - [c32]Cosimo Persia, Ana Ozaki:
On the Learnability of Possibilistic Theories. IJCAI 2020: 1870-1876 - [c31]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Finite vs. Infinite Traces in Temporal Logics. OVERLAY 2020: 23-27 - [c30]Ana Ozaki:
On the Complexity of Learning Description Logic Ontologies. RW 2020: 36-52 - 2019
- [c29]Camille Bourgaux, Ana Ozaki:
Querying Attributed DL-Lite Ontologies Using Provenance Semirings. AAAI 2019: 2719-2726 - [c28]Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That 2019: 441-474 - [c27]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Temporal DL-Lite over Finite Traces (Preliminary Results). Description Logics 2019 - [c26]Camille Bourgaux, Ana Ozaki:
Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract). Description Logics 2019 - [c25]Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki:
On Non-normal Modal Description Logics. Description Logics 2019 - [c24]Ana Ozaki, Nicolas Troquard:
Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). Description Logics 2019 - [c23]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Do You Need Infinite Time?. IJCAI 2019: 1516-1522 - [c22]Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao:
Enriching Ontology-based Data Access with Provenance. IJCAI 2019: 1616-1623 - [c21]Ana Ozaki, Nicolas Troquard:
Learning Ontologies with Epistemic Reasoning: The E\!L Case. JELIA 2019: 418-433 - 2018
- [c20]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Temporal Description Logics over Finite Traces. Description Logics 2018 - [c19]Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki:
Exact Learning of EL Ontologies. Description Logics 2018 - [c18]Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Happy Ever After: Temporally Attributed Description Logics. Description Logics 2018 - [c17]Ana Ozaki, Rafael Peñaloza:
Provenance in Ontology-based Data Access. Description Logics 2018 - [c16]David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph:
Preserving Constraints with the Stable Chase. ICDT 2018: 12:1-12:19 - [c15]Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost:
Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI 2018: 5309-5313 - [c14]Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki:
ExactLearner: A Tool for Exact Learning of EL Ontologies. KR 2018: 409-414 - [c13]Ana Ozaki, Rafael Peñaloza:
Consequence-Based Axiom Pinpointing. SUM 2018: 181-195 - 2017
- [c12]Ullrich Hustadt, Ana Ozaki, Clare Dixon:
Theorem Proving for Metric Temporal Logic over the Naturals. CADE 2017: 326-343 - [c11]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics 2017 - [c10]Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost:
Reasoning with Attributed Description Logics. Description Logics 2017 - [c9]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS 2017: 60-76 - [c8]Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost:
Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC (1) 2017: 418-435 - 2016
- [c7]Boris Konev, Ana Ozaki, Frank Wolter:
A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI 2016: 1008-1015 - [c6]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki:
On Metric Temporal Description Logics. ECAI 2016: 837-845 - 2015
- [c5]Montserrat Hermo, Ana Ozaki:
Exact Learning of Multivalued Dependencies. ALT 2015: 73-88 - [c4]André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
Schema.org as a Description Logic. Description Logics 2015 - [c3]Boris Konev, Ana Ozaki, Frank Wolter:
Exact Learning Description Logic Ontologies from Data Retrieval Examples. Description Logics 2015 - [c2]André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
Schema.org as a Description Logic. IJCAI 2015: 3048-3054 - 2014
- [c1]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. KR 2014
Editorship
- 2024
- [e5]Laura Giordano, Jean Christoph Jung, Ana Ozaki:
Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. CEUR Workshop Proceedings 3739, CEUR-WS.org 2024 [contents] - 2023
- [e4]Oliver Kutz, Carsten Lutz, Ana Ozaki:
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. CEUR Workshop Proceedings 3515, CEUR-WS.org 2023 [contents] - [e3]Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu:
Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings. Lecture Notes in Computer Science 14244, Springer 2023, ISBN 978-3-031-45071-6 [contents] - 2022
- [e2]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza:
International Research School in Artificial Intelligence in Bergen, AIB 2022, June 7-11, 2022, University of Bergen, Norway. OASIcs 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-228-0 [contents] - 2020
- [e1]Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald:
27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. LIPIcs 178, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-167-2 [contents]
Informal and Other Publications
- 2024
- [i29]Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki:
Knowledge Base Embeddings: Semantics and Theoretical Properties. CoRR abs/2408.04913 (2024) - 2023
- [i28]Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro:
Finite Based Contraction and Expansion via Models. CoRR abs/2303.03034 (2023) - [i27]Emilia Przybysz, Bimal Bhattarai, Cosimo Persia, Ana Ozaki, Ole-Christoffer Granmo, Jivitesh Sharma:
Verifying Properties of Tsetlin Machines. CoRR abs/2303.14464 (2023) - [i26]Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb:
Learning Horn Envelopes via Queries from Large Language Models. CoRR abs/2305.12143 (2023) - [i25]Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard:
Non-Normal Modal Description Logics (Extended Version). CoRR abs/2307.12265 (2023) - [i24]Victor Lacerda, Ana Ozaki, Ricardo Guimarães:
Strong Faithfulness for ELH Ontology Embeddings. CoRR abs/2310.02198 (2023) - [i23]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza:
Semiring Provenance for Lightweight Description Logics. CoRR abs/2310.16472 (2023) - [i22]Kristoffer Æsøy, Ana Ozaki:
Rule Learning as Machine Translation using the Atomic Knowledge Bank. CoRR abs/2311.02765 (2023) - 2022
- [i21]Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. CoRR abs/2202.00610 (2022) - [i20]Cosimo Persia, Ana Ozaki:
Extracting Rules from Neural Networks with Partial Interpretations. CoRR abs/2204.00360 (2022) - [i19]Johanna Jøsang, Ricardo Guimarães, Ana Ozaki:
On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach. CoRR abs/2206.00983 (2022) - [i18]Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki:
Reasoning in Non-normal Modal Description Logics. CoRR abs/2207.00119 (2022) - [i17]Ana Ozaki, Anum Rehman, Philip Turk, Marija Slavkovik:
Finding Common Ground for Incoherent Horn Expressions. CoRR abs/2209.06455 (2022) - 2021
- [i16]Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya:
Mining EL Bases with Adaptable Role Depth. CoRR abs/2102.10689 (2021) - [i15]Ana Ozaki:
On the Complexity of Learning Description Logic Ontologies. CoRR abs/2103.13694 (2021) - [i14]Ana Ozaki:
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand? CoRR abs/2104.01193 (2021) - [i13]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. CoRR abs/2106.15513 (2021) - [i12]Camille Bourgaux, Ana Ozaki, Jeff Z. Pan:
Geometric Models for (Temporally) Attributed Description Logics. CoRR abs/2108.12239 (2021) - [i11]Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki:
Revising Ontologies via Models: The ALC-formula Case. CoRR abs/2108.12331 (2021) - 2020
- [i10]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu:
Provenance for the Description Logic ELHr. CoRR abs/2001.07541 (2020) - [i9]Cosimo Persia, Ana Ozaki:
On the Learnability of Possibilistic Theories. CoRR abs/2005.03157 (2020) - [i8]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 abs/2007.02736 (2020) - [i7]Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki:
Automated Reasoning in Temporal DL-Lite. CoRR abs/2008.07463 (2020) - 2019
- [i6]Ana Ozaki, Nicolas Troquard:
Learning Ontologies with Epistemic Reasoning: The EL Case. CoRR abs/1902.03273 (2019) - [i5]Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao:
Enriching Ontology-based Data Access with Provenance (Extended Version). CoRR abs/1906.00179 (2019) - [i4]Ana Ozaki, Cosimo Persia, Andrea Mazzullo:
Learning Query Inseparable ELH Ontologies. CoRR abs/1911.07229 (2019) - 2018
- [i3]Ana Ozaki, Rafael Peñaloza:
Consequence-Based Axiom Pinpointing. CoRR abs/1805.10250 (2018) - 2017
- [i2]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. CoRR abs/1709.07314 (2017) - 2016
- [i1]Montserrat Hermo, Ana Ozaki:
New Steps on the Exact Learning of CNF. CoRR abs/1609.03054 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-25 20:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
