Ana Ozaki - RankMe

121 papers A* 20A 5B 6C 1Misc 1Journal 46Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Model Change for Description Logic Concepts. AAAI Ana Ozaki, Jandson S. Ribeiro
2026	J	`jnl`	Model Change for Description Logic Concepts. CoRR Ana Ozaki, Jandson S. Ribeiro
2025	A	`conf`	Actively Learning EL Terminologies from Large Language Models. ECAI Matteo Magnini, Riccardo Squarcialupi, Martin T. Sterri, Ana Ozaki
2025	—	`conf`	Benchmarking Knowledge Graph Question Answering via Complexity-Aware Queries. CAiSE Workshops Balázs Mosolygó, Andreas L. Opdahl, Guohui Xiao, Jiaoyan Chen, Ana Ozaki
2025	A*	`conf`	Extracting PAC Decision Trees from Black Box Binary Classifiers: The Gender Bias Study Case on BERT-based Language Models. AAAI Ana Ozaki, Roberto Confalonieri, Ricardo Guimarães, Anders Imenes
2025	—	`conf`	On Knowledge Base Embeddings. DL Ana Ozaki
2025	A*	`conf`	On Middle Grounds for Preference Statements. IJCAI Anne-Marie George, Ana Ozaki
2025	J	`jnl`	On Middle Grounds for Preference Statements. CoRR Anne-Marie George, Ana Ozaki
2024	—	`conf`	Actively Learning Ontologies from LLMs: First Results (Extended Abstract). Description Logics Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi
2024	A	`conf`	Actively Learning from Machine Learning Models with Queries and Counterexamples (Extended Abstract). ECAI Ana Ozaki
2024	—	`conf`	Eviction and Reception for Description Logic Concepts (Extended Abstract). Description Logics Ana Ozaki, Jandson S. Ribeiro
2024	J	`jnl`	Extracting PAC Decision Trees from Black Box Binary Classifiers: The Gender Bias Study Case on BERT-based Language Models. CoRR Ana Ozaki, Roberto Confalonieri, Ricardo Guimarães, Anders Imenes
2024	B	`conf`	FaithEL: Strongly TBox Faithful Knowledge Base Embeddings for RuleML+RR Victor Lacerda, Ana Ozaki, Ricardo Guimarães
2024	J	`jnl`	Finding middle grounds for incoherent horn expressions: the moral machine case. Auton. Agents Multi Agent Syst. Ana Ozaki, Anum Rehman, Marija Slavkovik
2024	J	`jnl`	First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. ACM Trans. Comput. Log. Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2024	A*	`conf`	Knowledge Base Embeddings: Semantics and Theoretical Properties. KR Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki
2024	J	`jnl`	Knowledge Base Embeddings: Semantics and Theoretical Properties. CoRR Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki
2024	J	`jnl`	Learning Horn envelopes via queries from language models. Int. J. Approx. Reason. Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb
2024	—	`conf`	On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). Description Logics Balder ten Cate, Raoul Koudijs, Ana Ozaki
2024	A*	`conf`	On the Power and Limitations of Examples for Description Logic Concepts. IJCAI Balder ten Cate, Raoul Koudijs, Ana Ozaki
2024	J	`jnl`	On the Power and Limitations of Examples for Description Logic Concepts. CoRR Balder ten Cate, Raoul Koudijs, Ana Ozaki
2024	—	`ed.`	Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Description Logics Laura Giordano, Jean Christoph Jung, Ana Ozaki
2024	—	`conf`	Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract). Description Logics Victor Lacerda, Ana Ozaki, Ricardo Guimarães
2024	J	`jnl`	Strong Faithfulness for ELH Ontology Embeddings. TGDK Victor Lacerda, Ana Ozaki, Ricardo Guimarães
2024	J	`jnl`	TØIRoads: A Road Data Model Generation Tool. TGDK Grunde Haraldsson Wesenberg, Ana Ozaki
2023	—	`conf`	Actively Learning from Machine Learning Models with Queries and Counterexamples. RW Ana Ozaki
2023	—	`conf`	Eviction and Reception for Description Logic Ontologies (Extended Abstract). Description Logics Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
2023	—	`conf`	Eviction and Reception for Description Logic Ontologies (Preliminary Results). NMR Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
2023	A*	`conf`	Finite Based Contraction and Expansion via Models. AAAI Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
2023	J	`jnl`	Finite Based Contraction and Expansion via Models. CoRR Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
2023	J	`jnl`	Learning Horn Envelopes via Queries from Large Language Models. CoRR Sophie Blum, Raoul Koudijs, Ana Ozaki, Samia Touileb
2023	J	`jnl`	Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2023	B	`conf`	Marrying Query Rewriting and Knowledge Graph Embeddings. RuleML+RR Anders Imenes, Ricardo Guimarães, Ana Ozaki
2023	J	`jnl`	Mining ℰℒ⊥ Bases with Adaptable Role Depth. J. Artif. Intell. Res. Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
2023	J	`jnl`	Non-Normal Modal Description Logics (Extended Version). CoRR Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
2023	B	`conf`	Non-Normal Modal Description Logics. JELIA Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard
2023	—	`ed.`	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. Description Logics Oliver Kutz, Carsten Lutz, Ana Ozaki
2023	J	`jnl`	Rule Learning as Machine Translation using the Atomic Knowledge Bank. CoRR Kristoffer Æsøy, Ana Ozaki
2023	B	`ed.`	Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings RuleML+RR Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu
2023	J	`jnl`	Semiring Provenance for Lightweight Description Logics. CoRR Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
2023	J	`jnl`	Strong Faithfulness for ELH Ontology Embeddings. CoRR Victor Lacerda, Ana Ozaki, Ricardo Guimarães
2023	J	`jnl`	Verifying Properties of Tsetlin Machines. CoRR Emilia Przybysz, Bimal Bhattarai, Cosimo Persia, Ana Ozaki, Ole-Christoffer Granmo, Jivitesh Sharma
2022	—	`conf`	Extracting Rules from Neural Networks with Partial Interpretations. NLDL Cosimo Persia, Ana Ozaki
2022	J	`jnl`	Extracting Rules from Neural Networks with Partial Interpretations. CoRR Cosimo Persia, Ana Ozaki
2022	J	`jnl`	Finding Common Ground for Incoherent Horn Expressions. CoRR Ana Ozaki, Anum Rehman, Philip Turk, Marija Slavkovik
2022	J	`jnl`	First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. CoRR Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2022	—	`ed.`	International Research School in Artificial Intelligence in Bergen, AIB 2022, University of Bergen, Norway, June 7-11, 2022 AIB Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
2022	Misc	`conf`	Learning Zero Noise Extrapolation for Deterministic Quantum Circuits. QCE Philip Turk, Ana Ozaki
2022	J	`jnl`	On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach. CoRR Johanna Jøsang, Ricardo Guimarães, Ana Ozaki
2022	—	`conf`	Reasoning in Knowledge Graphs (Invited Paper). AIB Ricardo Guimarães, Ana Ozaki
2022	—	`conf`	Reasoning in Non-normal Modal Description Logics. ARQNL@IJCAR Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
2022	J	`jnl`	Reasoning in Non-normal Modal Description Logics. CoRR Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
2021	—	`conf`	Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract). Description Logics Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki
2021	—	`conf`	Geometric Models for (Temporally) Attributed Description Logics. Description Logics Camille Bourgaux, Ana Ozaki, Jeff Z. Pan
2021	J	`jnl`	Geometric Models for (Temporally) Attributed Description Logics. CoRR Camille Bourgaux, Ana Ozaki, Jeff Z. Pan
2021	J	`jnl`	Learning Description Logic Ontologies. Five Approaches. Where Do They Stand? CoRR Ana Ozaki
2021	A*	`conf`	Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2021	A*	`conf`	Mining EL Bases with Adaptable Role Depth. AAAI Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
2021	J	`jnl`	Mining EL Bases with Adaptable Role Depth. CoRR Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
2021	—	`conf`	Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract). Description Logics Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
2021	A*	`conf`	On Free Description Logics with Definite Descriptions. KR Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2021	J	`jnl`	On Free Description Logics with Definite Descriptions. CoRR Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2021	J	`jnl`	On the Complexity of Learning Description Logic Ontologies. CoRR Ana Ozaki
2021	—	`conf`	Revising Ontologies via Models: The ALC-formula Case. Description Logics Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
2021	J	`jnl`	Revising Ontologies via Models: The ALC-formula Case. CoRR Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
2020	C	`ed.`	27th International Symposium on Temporal Representation and Reasoning, TIME 2020, Bozen-Bolzano, Italy, September 23-25, 2020 TIME Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald
2020	—	`conf`	Automated Reasoning in Temporal DL-Lite (Extended Abstract). Description Logics Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
2020	J	`jnl`	Automated Reasoning in Temporal DL-Lite. CoRR Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
2020	J	`jnl`	Exact Learning: On the Boundary between Horn and CNF. ACM Trans. Comput. Theory Montserrat Hermo, Ana Ozaki
2020	—	`conf`	Finite vs. Infinite Traces in Temporal Logics. OVERLAY Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2020	J	`jnl`	Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? Künstliche Intell. Ana Ozaki
2020	—	`conf`	Learning Query Inseparable ELH Ontologies (Extended Abstract). Description Logics Ana Ozaki, Cosimo Persia, Andrea Mazzullo
2020	A*	`conf`	Learning Query Inseparable εℒℋ Ontologies. AAAI Ana Ozaki, Cosimo Persia, Andrea Mazzullo
2020	—	`conf`	Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020	J	`jnl`	Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020	J	`jnl`	Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2020	—	`conf`	On Free Description Logics with Definite Descriptions. Description Logics Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020	—	`conf`	On the Complexity of Learning Description Logic Ontologies. RW Ana Ozaki
2020	A*	`conf`	On the Learnability of Possibilistic Theories. IJCAI Cosimo Persia, Ana Ozaki
2020	J	`jnl`	On the Learnability of Possibilistic Theories. CoRR Cosimo Persia, Ana Ozaki
2020	—	`conf`	Provenance for the Description Logic ELHr (Extended Abstract). Description Logics Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020	A*	`conf`	Provenance for the Description Logic ELHr. IJCAI Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020	J	`jnl`	Provenance for the Description Logic ELHr. CoRR Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020	J	`jnl`	Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. J. Autom. Reason. Ullrich Hustadt, Ana Ozaki, Clare Dixon
2019	A*	`conf`	Do You Need Infinite Time?. IJCAI Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2019	J	`jnl`	Enriching Ontology-based Data Access with Provenance (Extended Version). CoRR Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
2019	A*	`conf`	Enriching Ontology-based Data Access with Provenance. IJCAI Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
2019	B	`conf`	Learning Ontologies with Epistemic Reasoning: The JELIA Ana Ozaki, Nicolas Troquard
2019	—	`conf`	Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). Description Logics Ana Ozaki, Nicolas Troquard
2019	J	`jnl`	Learning Ontologies with Epistemic Reasoning: The EL Case. CoRR Ana Ozaki, Nicolas Troquard
2019	J	`jnl`	Learning Query Inseparable ELH Ontologies. CoRR Ana Ozaki, Cosimo Persia, Andrea Mazzullo
2019	—	`conf`	On Non-normal Modal Description Logics. Description Logics Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
2019	—	`conf`	Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract). Description Logics Camille Bourgaux, Ana Ozaki
2019	A*	`conf`	Querying Attributed DL-Lite Ontologies Using Provenance Semirings. AAAI Camille Bourgaux, Ana Ozaki
2019	—	`conf`	Temporal DL-Lite over Finite Traces (Preliminary Results). Description Logics Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2019	—	`conf`	Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
2018	A*	`conf`	Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2018	—	`conf`	Consequence-Based Axiom Pinpointing. SUM Ana Ozaki, Rafael Peñaloza
2018	J	`jnl`	Consequence-Based Axiom Pinpointing. CoRR Ana Ozaki, Rafael Peñaloza
2018	—	`conf`	Exact Learning of EL Ontologies. Description Logics Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki
2018	J	`jnl`	Exact learning of multivalued dependency formulas. Theor. Comput. Sci. Montserrat Hermo, Ana Ozaki
2018	A*	`conf`	ExactLearner: A Tool for Exact Learning of EL Ontologies. KR Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki
2018	—	`conf`	Happy Ever After: Temporally Attributed Description Logics. Description Logics Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
2018	A	`conf`	Preserving Constraints with the Stable Chase. ICDT David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
2018	—	`conf`	Provenance in Ontology-based Data Access. Description Logics Ana Ozaki, Rafael Peñaloza
2018	—	`conf`	Temporal Description Logics over Finite Traces. Description Logics Alessandro Artale, Andrea Mazzullo, Ana Ozaki
2017	—	`conf`	Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC (1) Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2017	J	`jnl`	Exact Learning of Lightweight Description Logic Ontologies. CoRR Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2017	J	`jnl`	Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names. FroCoS Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	—	`conf`	Reasoning with Attributed Description Logics. Description Logics Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2017	A	`conf`	Theorem Proving for Metric Temporal Logic over the Naturals. CADE Ullrich Hustadt, Ana Ozaki, Clare Dixon
2016	A*	`conf`	A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI Boris Konev, Ana Ozaki, Frank Wolter
2016	J	`jnl`	New Steps on the Exact Learning of CNF. CoRR Montserrat Hermo, Ana Ozaki
2016	A	`conf`	On Metric Temporal Description Logics. ECAI Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki
2015	—	`conf`	Exact Learning Description Logic Ontologies from Data Retrieval Examples. Description Logics Boris Konev, Ana Ozaki, Frank Wolter
2015	B	`conf`	Exact Learning of Multivalued Dependencies. ALT Montserrat Hermo, Ana Ozaki
2015	—	`conf`	Schema.org as a Description Logic. Description Logics André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
2015	A*	`conf`	Schema.org as a Description Logic. IJCAI André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
2014	A*	`conf`	Exact Learning of Lightweight Description Logic Ontologies. KR Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter