Ozaki, Ana

1. On Free Description Logics with Definite Descriptions
   2021/06/29 by Artale, Alessandro, Mazzullo, Andrea, Ozaki, Ana +1 · 4 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
   2020/07/06 by Alessandro Artale, Artale, Alessandro, Jean Christoph Jung +7 · 5 citations
   Computer Science · #03B70 #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
3. Exact Learning of Lightweight Description Logic Ontologies
   2017/09/20 by Konev, Boris, Lutz, Carsten, Ozaki, Ana +1 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
4. Rule Learning as Machine Translation using the Atomic Knowledge Bank
   2023/11/05 by Kristoffer Æsøy, Ana Ozaki, Æsøy, Kristoffer +1 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning and Algorithms #Machine Learning and Data Classification #Topic Modeling
5. Mining EL Bases with Adaptable Role Depth
   2021/02/21 by Guimarães, Ricardo, Ozaki, Ana, Persia, Cosimo +1 · 1 citation
   #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
6. Description Logic EL++ Embeddings with Intersectional Closure
   2022/02/28 by Peng, Xi, Lacerda, Victor, Ozaki, Ana +7 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences