Stebėti
Ana Ozaki
Ana Ozaki
University of Oslo & University of Bergen
Patvirtintas el. paštas uib.no - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
672017
On metric temporal description logics
V Gutiérrez-Basulto, JC Jung, A Ozaki
ECAI 2016, 837-845, 2016
612016
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
582020
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
552018
Learning description logic ontologies: Five approaches. Where do they stand?
A Ozaki
KI-Künstliche Intelligenz 34 (3), 317-327, 2020
512020
Attributed description logics: Reasoning on knowledge graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
IJCAI, 5309-5313, 2018
462018
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
292016
On free description logics with definite descriptions
A Artale, A Mazzullo, A Ozaki, F Wolter
arXiv preprint arXiv:2106.15513, 2021
252021
Provenance for the description logic ELHr
C Bourgaux, A Ozaki, R Penaloza, L Predoiu
arXiv preprint arXiv:2001.07541, 2020
232020
Enriching ontology-based data access with provenance
D Calvanese, D Lanti, AHOR Castillo, R Penaloza, G Xiao
Proceedings of the 28th International Joint Conference on Artificial …, 2019
232019
Schema. org as a description logic
A Hernich, C Lutz, A Ozaki, F Wolter
IJCAI'15 Proceedings of the 24th International Conference on Artificial …, 2015
182015
Do You Need Infinite Time?.
A Artale, A Mazzullo, A Ozaki
IJCAI, 1516-1522, 2019
172019
Learning Query Inseparable εℒℋ Ontologies
A Ozaki, C Persia, A Mazzullo
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2959-2966, 2020
162020
Living without beth and craig: Explicit definitions and interpolants in description logics with nominals
A Artale, JC Jung, A Mazzullo, A Ozaki, F Wolter
Description Logics, 2020
152020
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), 12: 1-12: 19, 2018
152018
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
142023
Non-normal modal description logics
T Dalmonte, A Mazzullo, A Ozaki, N Troquard
European Conference on Logics in Artificial Intelligence, 306-321, 2023
132023
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
122019
What is going on with ubicomp games
F Buzeto, A Castillo, CD Castanho, RP Jacobi
XI Brazilian Symposium on Computer Games and Digital Entertainment-SBGAMES, 1-7, 2012
122012
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
112021
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20