| On metric temporal description logics V Gutierrez Basulto, JC Jung, A Ozaki IOS Press 285, 837-845, 2016 | 36 | 2016 |
| 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 | 34 | 2020 |
| 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 | 32 | 2018 |
| Attributed Description Logics: Reasoning on Knowledge Graphs. M Krötzsch, M Marx, A Ozaki, V Thost IJCAI, 5309-5313, 2018 | 21 | 2018 |
| Attributed description logics: Ontologies for knowledge graphs M Krötzsch, M Marx, A Ozaki, V Thost International Semantic Web Conference, 418-435, 2017 | 16 | 2017 |
| A model for learning description logic ontologies based on exact learning B Konev, A Ozaki, F Wolter Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 14 | 2016 |
| Schema. org as a description logic A Hernich, C Lutz, A Ozaki, F Wolter PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON …, 2015 | 13 | 2015 |
| What is going on with ubicomp games FN Buzeto, A Castillo, CD Castanho, RP Jacobi XI Brazilian Symposium on Computer Games and Digital Entertainment-SBGAMES, 1-7, 2012 | 12 | 2012 |
| Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? A Ozaki KI-Künstliche Intelligenz 34 (3), 317-327, 2020 | 8 | 2020 |
| 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 | 8 | 2018 |
| Theorem proving for metric temporal logic over the naturals U Hustadt, A Ozaki, C Dixon International Conference on Automated Deduction, 326-343, 2017 | 8 | 2017 |
| 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 | 7 | 2019 |
| Do You Need Infinite Time?. A Artale, A Mazzullo, A Ozaki IJCAI, 1516-1522, 2019 | 6 | 2019 |
| Temporally attributed description logics A Ozaki, M Krötzsch, S Rudolph Description logic, theory combination, and all that, 441-474, 2019 | 6 | 2019 |
| Enriching ontology-based data access with provenance D Calvanese, D Lanti, AHOR Castillo, G Xiao Proceedings of the 28th International Joint Conference on Artificial …, 2019 | 5 | 2019 |
| ExactLearner: A Tool for Exact Learning of epsilon L Ontologies R Duarte, B Konev, A Ozaki Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 5 | 2018 |
| Happy Ever After: Temporally Attributed Description Logics. A Ozaki, M Krötzsch, S Rudolph Description Logics, 2018 | 5 | 2018 |
| Temporal Description Logics over Finite Traces. A Artale, A Mazzullo, A Ozaki Description Logics, 2018 | 4 | 2018 |
| Provenance in Ontology-based Data Access. A Ozaki, R Peñaloza Description Logics, 2018 | 4 | 2018 |
| Exact learning: On the boundary between Horn and CNF M Hermo, A Ozaki ACM Transactions on Computation Theory (TOCT) 12 (1), 1-25, 2020 | 3 | 2020 |
Veronika ThostMIT-IBM Watson AI Lab, IBM ResearchBestätigte E-Mail-Adresse bei ibm.com
