Articles with public access mandates - Ana OzakiLearn more
Not available anywhere: 2
Temporally attributed description logics
A Ozaki, M Krötzsch, S Rudolph
Description Logic, Theory Combination, and All That: Essays Dedicated to …, 2019
Mandates: German Research Foundation, European Commission
Marrying Query Rewriting and Knowledge Graph Embeddings
A Imenes, R Guimarães, A Ozaki
International Joint Conference on Rules and Reasoning, 126-140, 2023
Mandates: Research Council of Norway
Available somewhere: 27
Metric temporal description logics with interval-rigid names
F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-46, 2020
Mandates: German Research Foundation
Exact learning of lightweight description logic ontologies
B Konev, C Lutz, A Ozaki, F Wolter
Journal of Machine Learning Research 18 (201), 1-63, 2018
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Attributed description logics: Reasoning on knowledge graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
IJCAI, 5309-5313, 2018
Mandates: German Research Foundation
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
Mandates: German Research Foundation
Preserving constraints with the stable chase
D Carral, M Krötzsch, M Marx, A Ozaki, S Rudolph
21st International Conference on Database Theory (ICDT 2018), 2018
Mandates: German Research Foundation
Querying attributed DL-Lite ontologies using provenance semirings
C Bourgaux, A Ozaki
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2719-2726, 2019
Mandates: Agence Nationale de la Recherche
Non-normal modal description logics
T Dalmonte, A Mazzullo, A Ozaki, N Troquard
European Conference on Logics in Artificial Intelligence, 306-321, 2023
Mandates: German Research Foundation, Research Council of Norway
Living without Beth and Craig: Definitions and interpolants in description logics with nominals and role inclusions
A Artale, JC Jung, A Mazzullo, A Ozaki, F Wolter
Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6193-6201, 2021
Mandates: UK Engineering and Physical Sciences Research Council
Happy Ever After: Temporally Attributed Description Logics.
A Ozaki, M Krötzsch, S Rudolph
Description Logics, 2018
Mandates: German Research Foundation
Living without Beth and Craig: Definitions and interpolants in description and modal logics with nominals and role inclusions
A Artale, JC Jung, A Mazzullo, A Ozaki, F Wolter
ACM Transactions on Computational Logic 24 (4), 1-51, 2023
Mandates: UK Engineering and Physical Sciences Research Council
Exact learning: On the boundary between horn and CNF
M Hermo, A Ozaki
ACM Transactions on Computation Theory (TOCT) 12 (1), 1-25, 2020
Mandates: Government of Spain
Exactlearner: a tool for exact learning of EL ontologies
R Duarte, B Konev, A Ozaki
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
Mandates: UK Engineering and Physical Sciences Research Council
Mining ℰℒ⊥ Bases with Adaptable Role Depth
R Guimarães, A Ozaki, C Persia, B Sertkaya
Journal of Artificial Intelligence Research 76, 883-924, 2023
Mandates: Research Council of Norway
Theorem proving for pointwise metric temporal logic over the naturals via translations
U Hustadt, A Ozaki, C Dixon
Journal of Automated Reasoning 64 (8), 1553-1610, 2020
Mandates: UK Engineering and Physical Sciences Research Council
First-order temporal logic on finite traces: Semantic properties, decidable fragments, and applications
A Artale, A Mazzullo, A Ozaki
ACM Transactions on Computational Logic 25 (2), 1-43, 2024
Mandates: Research Council of Norway
Finite based contraction and expansion via models
R Guimarães, A Ozaki, JS Ribeiro
Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6389-6397, 2023
Mandates: German Research Foundation
Reasoning with Attributed Description Logics.
M Krötzsch, M Marx, A Ozaki, V Thost
Description Logics, 2017
Mandates: German Research Foundation
Learning Horn envelopes via queries from language models
S Blum, R Koudijs, A Ozaki, S Touileb
International Journal of Approximate Reasoning 171, 109026, 2024
Mandates: Research Council of Norway
Publication and funding information is determined automatically by a computer program